Similar repositories to epilys/ocaml-prolog:

• epilys/ocaml-prolog github similar
• danistefanovic/build-your-own-x github similar
• Eloston/ungoogled-chromium github similar
• brezal/the-power-of-pi github similar
• scott-fleischman/docker-agda github similar
• wspk/SimpleTypes github similar
• ezrosent/TAPL-idris github similar
• ezrosent/FLK-Semantics github similar
• clarus/coq-atm github similar
• clayrat/idris-semidirect github similar
• lambdaxymox/idris-nanoparsec github similar
• jaredly/coqdocs github similar
• lives-group/time-complexity-verification github similar
• jonsterling/agda-zipper-machine github similar
• pigworker/BiF github similar
• RyanGlScott/levitation github similar
• matterhorn-chat/aspell-pipe github similar
• scott-fleischman/agda-travis github similar
• grebenyukaa/cmm-compiler-backend github similar
• howistart/howistart-hakyll github similar
• mpickering/impure-hygienic-combinators github similar
• SimonJF/IdrisNet github similar
• LenguajeJulia/Taller-Julia github similar
• pigworker/Ohrid-Agda github similar
• kimwnasptd/YAAC-Yet-Another-Alan-Compiler github similar
• lepoetemaudit/alpaca-repl github similar
• ct-gradual-typing/Papers github similar
• EarthCitizen/escape-artist github similar
• shlevy/cat-fiat github similar
• GaloisInc/LIMA github similar
• sto0pkid/CategoryTheory github similar
• gallais/idris-tmustache github similar
• langston-barrett/reed-thesis github similar
• ziman/text github similar
• edwinb/Vars github similar
• derekelkins/ads github similar
• freckle/closed github similar
• esengie/fpl-exploration-tool github similar
• msprotz/proof-search-monad github similar
• osa1/Shen.hs github similar