Hacker News
- Differences Between miniKanren and Prolog http://minikanren.org/minikanren-and-prolog.html 29 comments
- Minikanren – An embedded DSL for logic programming http://minikanren.org 44 comments
- MiniKanren – An embedded DSL for logic programming http://minikanren.org/ 22 comments
Lobsters
- MicroKanren in J: an Embedding of the Relational Paradigm in an Array Language with Rank-Polymorphic Unification http://minikanren.org/workshop/2020/minikanren-2020-paper2.pdf 6 comments apl , pdf , plt
- 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
- GitHub - Thanakrit-Anutrakulchai/TPatterns-lua: Pattern matching on tables like in functional programming, in Lua https://github.com/Thanakrit-Anutrakulchai/TPatterns-lua 2 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