Similar repositories to noti0na1/Faux-Racket:
danistefanovic/build-your-own-x
github
similar
noti0na1/Faux-Racket
github
similar
noti0na1/CodeTranslator
github
similar
noti0na1/Kripke-Models
github
similar
puffnfresh/sonic2
github
similar
DeepSpec/dsss17
github
similar
ucsd-progsys/liquid-fixpoint
github
similar
lehins/hip
github
similar
stchang/macrotypes
github
similar
math-comp/mcb
github
similar
paperswithcode/torchbench
github
similar
AllureOfTheStars/Allure
github
similar
tweag/inline-java
github
similar
tchajed/coq-tricks
github
similar
lettier/movie-monad
github
similar
llvm-hs/llvm-hs
github
similar
sporto/elm-example-app
github
similar
jscoq/jscoq
github
similar
LambdaHack/LambdaHack
github
similar
achlipala/frap
github
similar
transient-haskell/transient
github
similar
csmith-project/csmith
github
similar
mrkkrp/megaparsec
github
similar
beehive-lab/TornadoVM
github
similar
IntelLabs/flrc
github
similar
thi-ng/geom
github
similar
hasktorch/hasktorch
github
similar
greghendershott/frog
github
similar
go-gl/gl
github
similar
fscheck/FsCheck
github
similar
owlbarn/owl
github
similar
lexi-lambda/hackett
github
similar
HoTT/HoTT
github
similar
google-research/dex-lang
github
similar
rikvdkleij/intellij-haskell
github
similar
JeffBezanson/femtolisp
github
similar
google/TensorNetwork
github
similar
nikolas/github-drama
github
similar
lamdu/lamdu
github
similar
ghc/ghc
github
similar