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