Similar repositories to jozefg/sml-kanren:

• jozefg/sml-kanren github similar
• danistefanovic/build-your-own-x github similar
• seanmcl/sml-ext github similar
• spechub/Hets github similar
• SMLFamily/SMLFamily.github.io github similar
• camllight/camllight github similar
• RobertHarper/TILT-Compiler github similar
• league/qcheck github similar
• jozefg/hm github similar
• mit-plv/timl github similar
• ProofSystem/Encyclopedia github similar
• diku-dk/smlpkg github similar
• dholm/tabbar github similar
• RedPRL/sml-redprl github similar
• miniKanren/miniKanren github similar
• eudoxia0/interim github similar
• HOL-Theorem-Prover/HOL github similar
• acl2/acl2 github similar
• jasonhemann/microKanren github similar
• Shen-Language/shen-sources github similar
• hakank/hakank github similar
• kfl/mosml github similar
• jrh13/hol-light github similar
• rvirding/erlog github similar
• githwxi/ATS-Postiats github similar
• owl-lisp/owl github similar
• the-little-prover/j-bob github similar
• polyml/polyml github similar
• idris-hackers/software-foundations github similar
• klaussinani/awesome-prolog github similar
• CakeML/cakeml github similar
• michaelforney/cproc github similar
• andyarvanitis/purescript-native github similar
• zv/SICP-guile github similar
• the-little-typer/pie github similar
• MLton/mlton github similar
• logpy/logpy github similar
• vrtbl/passerine github similar
• webyrd/Barliman github similar
• primaryobjects/AI-Programmer github similar