Popular repositories Loading

1. hasktorch-naperian hasktorch-naperian Public

   integrating Naperian functors with Hasktorch

   Haskell 9 1

2. handlers-in-action handlers-in-action Public

   An implementation of the "Handlers in action" calculus in the K Framework

   4

3. cbmc cbmc Public

   Forked from diffblue/cbmc

   C Bounded Model Checker

   C++

4. monad-bayes monad-bayes Public

   Forked from tweag/monad-bayes

   A library for probabilistic programming in Haskell.

   Haskell

5. accelerate-llvm accelerate-llvm Public

   Forked from AccelerateHS/accelerate-llvm

   LLVM backend for Accelerate

   Haskell

6. xdot xdot Public

   Forked from def-/xdot

   xdot library for Haskell

   Haskell