Pinned Loading

1. terminal-discord terminal-discord Public archive

   NOT MAINTAINED Simple terminal client for discord with a minimal look and UI

   JavaScript 169 16

2. automorph-and-isomorph-py automorph-and-isomorph-py Public

   Program that determines isomorphic equivalence classes and automorphism counts

   Python 1 2

3. lmc lmc Public

   Linear model checker utility application focused on Petri Nets

   Rust

4. ratify ratify Public

   A high performance DRAT proof checker in Rust

   Rust