Popular repositories

1. prueba prueba Public

   prueba

2. CLOS-MOP-HTML CLOS-MOP-HTML Public

   Forked from robert-strandh/CLOS-MOP-HTML

   HTML rendering of chapters 5 and 6 of "The Art of the Metaobject Protocol".

   HTML

3. j-bob j-bob Public

   Forked from the-little-prover/j-bob

   Scheme

4. CodeFromTheReasonedSchemer2ndEd CodeFromTheReasonedSchemer2ndEd Public

   Forked from TheReasonedSchemer2ndEd/CodeFromTheReasonedSchemer2ndEd

   Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic

   Scheme

5. the-power-of-prolog the-power-of-prolog Public

   Forked from triska/the-power-of-prolog

   Introduction to modern Prolog

   HTML

6. miniKanren-with-symbolic-constraints miniKanren-with-symbolic-constraints Public

   Forked from webyrd/miniKanren-with-symbolic-constraints

   Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.

   Scheme