A Haskell to Coq compiler that represents effectful programs with the free monad
Contributions:42 reviews, 1629 commits, 56 PRs in 3 years
compilercoqfree-monadhaskell
TOML parser and encoder for Dart.
Contributions:499 commits, 49 PRs, 323 pushes in 8 years 1 month
dartencoderparsertoml