Pinned Loading

1. jj-vcs/jj jj-vcs/jj Public

   A Git-compatible VCS that is both simple and powerful

   Rust 32.2k 1.3k

2. LeventErkok/sbv LeventErkok/sbv Public

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

   Haskell 268 51

3. deferred-substitution deferred-substitution Public

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

   Haskell 15 1

4. lower lower Public

   Lowering a surface syntax into different intermediate representations

   Haskell 1

5. columnate columnate Public

   Small unix utility to columnate data sets without stripping color codes

   Haskell 4 1

6. templates templates Public

   A collection of nix flake templates

   Nix 1