Similar repositories to akeep/minikanren-scala:

• akeep/minikanren-scala github similar
• michel-slm/minikanren-scala github similar
• DanBurton/system-f github similar
• akeep/abstract-racket github similar
• RobertHarper/TILT-Compiler github similar
• kaeawc/play-cake-pattern github similar
• hunt-framework/hunt github similar
• binghe/PCL github similar
• keyz/p423-compiler github similar
• shapesecurity/shift-java github similar
• mflatt/gc-demo github similar
• miniKanren/Racket-miniKanren github similar
• purcell/darcs-to-git github similar
• agda/agda-frp-js github similar
• leepike/SmartCheck github similar
• SMLFamily/The-Definition-of-Standard-ML github similar
• miniKanren/TheReasonedSchemer github similar
• sweirich/tal github similar
• yawaramin/scala-modules github similar
• mmirman/caledon github similar
• type-theory/type-theory-study-group github similar
• ocamllabs/higher github similar
• nanopass/nanopass-framework-racket github similar
• aztek/scala-workflow github similar
• marcomaggi/vicare github similar
• aliceml/aliceml github similar
• akeep/nanopass-framework github similar
• runarorama/scala-machines github similar
• patriknw/akka-data-replication github similar
• melsman/mlkit github similar
• krestenkrab/triq github similar
• intel/idlf github similar
• akeep/scheme-to-c github similar
• ekmett/machines github similar
• getify/h5ive-DEPRECATED github similar
• adrahon/vagrant-kvm github similar
• HoTT/HoTT-Agda github similar
• vincenthz/hs-tls github similar
• pikatchu/LinearML github similar
• dispatch/reboot github similar