Projects in Awesome Lists tagged with the-reasoned-schemer
A curated list of projects in awesome lists tagged with the-reasoned-schemer .
https://github.com/xieyuheng/exo
logic programming in elixir
elixir logic-programming microkanren minikanren the-reasoned-schemer
Last synced: 20 Nov 2024
https://github.com/dwayne/elm-trs2
The Reasoned Schemer (2nd Edition) in Elm.
elm logic-programming minikanren relational-programming the-reasoned-schemer
Last synced: 02 Mar 2025
