#

the-reasoned-schemer

Here are 6 public repositories matching this topic...

dwayne / elm-trs2

The Reasoned Schemer (2nd Edition) in Elm.

elm minikanren logic-programming the-reasoned-schemer relational-programming

Updated Mar 1, 2025
Elm

xieyuheng / exo

logic programming in elixir

elixir minikanren logic-programming microkanren the-reasoned-schemer

Updated Nov 1, 2018
Elixir

rymaju / mykanren

Racket implementation of minikanren using The Reasoned Schemer Second Edition syntax.

racket minikanren the-reasoned-schemer

Updated Jun 29, 2020
Racket

frankitox / the-reasoned-schemer

The Reasoned Schemer code.

logic-programming the-reasoned-schemer

Updated Sep 18, 2017
Scheme

rbonvall / exercises

Examples and exercises from books I read.

tapl the-little-schemer the-reasoned-schemer functional-programming-in-scala advent-of-code-2017 advent-of-code-2018 the-little-typer advent-of-code-2019 advent-of-code-2021

Updated May 1, 2026
Scala

chansey97 / the-reasoned-schemer

Valuable code and experiments about the book "The Reasoned Schemer"

racket minikanren the-reasoned-schemer

Updated Jun 2, 2021
Racket

Add this topic to your repo

To associate your repository with the the-reasoned-schemer topic, visit your repo's landing page and select "manage topics."