Hacker News
- Minikanren – An embedded DSL for logic programming http://minikanren.org 44 comments
- MiniKanren – An embedded DSL for logic programming http://minikanren.org/ 22 comments
- Minikanren in J (work in progress) http://minikanren.org/ 12 comments apljk
- Best miniKanren implementation http://minikanren.org 3 comments haskell
Linking pages
- 3 new programming languages: What their creators say | InfoWorld http://www.infoworld.com/article/3112012/application-development/3-new-programming-languages-what-their-creators-say.html 110 comments
- GitHub - webyrd/Barliman: Prototype smart text editor https://github.com/webyrd/Barliman 104 comments
- Hello, declarative world http://codon.com/hello-declarative-world 72 comments
- GitHub - aalhour/awesome-compilers: Curated list of awesome resources on Compilers, Interpreters and Runtimes https://github.com/aalhour/awesome-compilers 62 comments
- Parsing list comprehensions is hard http://www.rntz.net/post/2018-07-10-parsing-list-comprehensions.html 48 comments
- GitHub - steshaw/plt: Programming Language Theory λΠ https://github.com/steshaw/plt 35 comments
- GitHub - breandan/kotlingrad: 🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types https://github.com/breandan/kotlingrad 27 comments
- GitHub - logpy/logpy: Logic Programming in Python https://github.com/logpy/logpy 24 comments
- Hello, declarative world https://tomstu.art/hello-declarative-world 23 comments
- GitHub - dbohdan/embedded-scripting-languages: A list of embedded scripting languages https://github.com/dbohdan/embedded-scripting-languages 11 comments
- Making a “MiniKanren” using Z3Py | Hey There Buddo! https://www.philipzucker.com/minikanren-z3py/ 5 comments
- Baby Steps http://smallcultfollowing.com/babysteps/blog/2018/01/31/an-on-demand-slg-solver-for-chalk/ 5 comments
- Erik Derohanian - A Gentle Introduction to MicroKanren https://erik-j.de/microkanren/ 5 comments
- clojure2minizinc/README.org at master · tanders/clojure2minizinc · GitHub https://github.com/tanders/clojure2minizinc/blob/master/README.org 4 comments
- Automated Propositional Sequent Proofs in Your Browser with Tau Prolog | Hey There Buddo! https://www.philipzucker.com/javascript-automated-proving/ 3 comments
- Reasoned PHP https://igor.io/2014/08/06/reasoned-php.html 0 comments
- GitHub - jeanqasaur/pltalk: Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur https://github.com/jeanqasaur/pltalk 0 comments
- Let's Play Checkers with AI and Clojure - DEV Community https://dev.to/turbopape/let-s-play-checkers-with-ai-and-clojure-3jco 0 comments
- tool_lists/verification_synthesis.md at main · johnyf/tool_lists · GitHub https://github.com/johnyf/tool_lists/blob/master/verification_synthesis.md 0 comments
- Why Are Computers 4: Seemingly Disconnected Things https://whyarecomputers.com/4 0 comments
Related searches:
Search whole site: site:minikanren.org
Search title: miniKanren.org
See how to search.