Jesse Sigal's repositories
hasktorch-naperian
integrating Naperian functors with Hasktorch
handlers-in-action
An implementation of the "Handlers in action" calculus in the K Framework
accelerate-llvm
LLVM backend for Accelerate
Language:HaskellNOASSERTION000
cbmc
C Bounded Model Checker
Language:C++NOASSERTION000
effects-bibliography
A collaborative bibliography of work related to the theory and practice of computational effects
000
monad-bayes
A library for probabilistic programming in Haskell.
Language:HaskellMIT000
qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
Language:CGPL-2.0000
xdot
xdot library for Haskell
Language:HaskellNOASSERTION000