Similar repositories to jackfirth/predicates:
jackfirth/predicates
github
similar
xiw/arithcc
github
similar
eu90h/racket-github-api
github
similar
wallyqs/ob-racket
github
similar
jackfirth/point-free
github
similar
mbutterick/aoc-racket
github
similar
samth/fancy-app
github
similar
greghendershott/travis-racket
github
similar
jackfirth/rebellion
github
similar
TwoFX/sudoku
github
similar
videolang/video
github
similar
greghendershott/rackjure
github
similar
system-f/lets-lens
github
similar
willtim/Expresso
github
similar
EgbertRijke/HoTT-Intro
github
similar
racket/typed-racket
github
similar
jscoq/jscoq
github
similar
i-am-tom/haskell-exercises
github
similar
greghendershott/racket-mode
github
similar
nuprl/10PL
github
similar
greghendershott/frog
github
similar
edwinb/Idris2-boot
github
similar
brownplt/pyret-lang
github
similar
josephwright/beamer
github
similar
passy/awesome-recursion-schemes
github
similar
hzlmn/haskell-must-watch
github
similar
lexi-lambda/hackett
github
similar
mbutterick/pollen
github
similar
AbsInt/CompCert
github
similar
jozefg/learn-tt
github
similar
leanprover/lean4
github
similar
dafny-lang/dafny
github
similar
tlaplus/tlaplus
github
similar
idris-lang/Idris2
github
similar
leanprover/lean
github
similar
raxod502/straight.el
github
similar
koka-lang/koka
github
similar
televator-apps/vimari
github
similar
gluon-lang/gluon
github
similar
tectonic-typesetting/tectonic
github
similar