Similar repositories to SciHS/scihs-docs:
ezyang/backpack-examples
github
similar
SciHS/scihs-docs
github
similar
llvmpy/llcc
github
similar
haskoin/murmur3
github
similar
teh/gluon
github
similar
ivan-m/transmogrify
github
similar
clintonmead/indextype
github
similar
MichaelXavier/tasty-fail-fast
github
similar
ttuegel/refined-linear
github
similar
robinvd/rlang
github
similar
shaunlebron/parinfer
github
similar
MaximilianAlgehed/DCC
github
similar
eborden/filepattern
github
similar
gergoerdi/system-f-agda
github
similar
ssomayyajula/stlc
github
similar
bollu/polyir
github
similar
nomeata/ghc-core-smallstep
github
similar
NoxHarmonium/lithium-lang
github
similar
joe9/GenericPretty
github
similar
ezyang/deepseq-magic
github
similar
TerrorJack/ghc-bones
github
similar
gergoerdi/hm-compo
github
similar
iu-parfunc/popl18-lh-prover-artifact
github
similar
snowleopard/graph-algebra
github
similar
hjwylde/language-qux
github
similar
drdo/logic-translation
github
similar
cocreature/smt-pretty
github
similar
michaelpj/abstract-machine-debuggers
github
similar
haskell-mafia/tinfoil
github
similar
Blaisorblade/evalFromToAbsMachines
github
similar
vincenthz/hsco
github
similar
andrewthad/managed-malloc
github
similar
LightAndLight/stg-llvm
github
similar
evincarofautumn/virtual-machine
github
similar
mpickering/elaborator-reflection-haskell
github
similar
grebenyukaa/cmm-compiler-backend
github
similar
UCSD-PL/nano-smt
github
similar
jankner/meta-repa
github
similar
elliottt/located
github
similar
vincenthz/hs-siphash
github
similar