Similar repositories to iamrecursion/absol:
iamrecursion/absol
github
similar
pixijs/pixi.js
github
similar
ReactTraining/react-router
github
similar
csabahruska/jhc-grin
github
similar
lavish-lang/lavish-compiler
github
similar
algebraic-graphs/scala
github
similar
adjoint-io/galois-field
github
similar
dhall-lang/dhall-json
github
similar
i-am-tom/purescript-panda
github
similar
luc-tielen/souffle-haskell
github
similar
jwiegley/control-theory
github
similar
gasche/popl2018-papers
github
similar
np/ling
github
similar
paulstansifer/unseemly
github
similar
unicorn-rs/unicorn-rs
github
similar
ndmitchell/bake
github
similar
8BitMate/reflect
github
similar
WebGHC/wasm-cross
github
similar
nomeata/ghc-proofs
github
similar
channable/dbcritic
github
similar
rsms/hue
github
similar
KeliLanguage/compiler
github
similar
ennocramer/floskell
github
similar
elba/elba
github
similar
chrisdone/dynamic
github
similar
pirapira/coq2rust
github
similar
Nike-Inc/hal
github
similar
k-bx/owlcloud
github
similar
statebox/idris-ct
github
similar
CategoricalData/CQL
github
similar
antalsz/hs-to-coq
github
similar
llvm-hs/llvm-hs
github
similar
faradayio/cage
github
similar
haskell/lsp
github
similar
servo/gaol
github
similar
edwinb/Blodwen
github
similar
GaloisInc/ivory
github
similar
astro/node-expat
github
similar
mmhelloworld/idris-jvm
github
similar
tchajed/coq-tricks
github
similar