Pinned Loading

1. LeventErkok/sbv LeventErkok/sbv Public

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

   Haskell 253 36

2. deferred-substitution deferred-substitution Public

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

   Haskell 15 1

3. lower lower Public

   Lowering a surface syntax into different intermediate representations

   Haskell 1

4. columnate columnate Public

   Small unix utility to columnate data sets without stripping color codes

   Haskell 4 1

5. templates templates Public

   A collection of nix flake templates

   Nix 1