Pinned Loading

1. dotfiles dotfiles Public

   Personal system configuration files

   Shell

2. py-template py-template Public template

   Opinionated template for Python projects based on Astral tools

   Python 1

3. prover-rs prover-rs Public

   SAT-based automated theorem proving in Rust

   Rust

4. superj superj Public

   Automated theorem prover for superintuitionistic propositional logics

   Haskell

5. g4ip-prolog g4ip-prolog Public

   Automated theorem prover for intuitionistic propositional logic

   Prolog

6. pi-maude pi-maude Public

   Executable specification of π-calculus in Maude

   5 1