PinnedLoading

1. jj-vcs/jjjj-vcs/jjPublic

   A Git-compatible VCS that is both simple and powerful

   Rust 21.9k 775

2. LeventErkok/sbvLeventErkok/sbvPublic

   SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

   Haskell 262 40

3. deferred-substitutiondeferred-substitutionPublic

   An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"

   Haskell 15 1

4. lowerlowerPublic

   Lowering a surface syntax into different intermediate representations

   Haskell 1

5. columnatecolumnatePublic

   Small unix utility to columnate data sets without stripping color codes

   Haskell 4 1

6. templatestemplatesPublic

   A collection of nix flake templates

   Nix 1