Popular repositories Loading

1. liquid-haskell liquid-haskell Public

   Forked from ucsd-progsys/liquidhaskell

   Liquid Types For Haskell

   Haskell

2. liquid-fixpoint liquid-fixpoint Public

   Forked from ucsd-progsys/liquid-fixpoint

   Horn Clause Constraint Solving for Liquid Types

   Haskell

3. memory-pool memory-pool Public

   A fixed size allocator for single typed, constant time (de)allocations.

   Rust

4. sbv sbv Public

   Forked from LeventErkok/sbv

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

   Haskell

5. grisette grisette Public

   Forked from lsrcz/grisette

   A monadic library for symbolic evaluation

   Haskell

6. plugin-profile-eventlog plugin-profile-eventlog Public