Popular repositories Loading

1. clprosette-miniKanren clprosette-miniKanren Public

   CLP(Rosette) on top of miniKanren

   Racket 9

2. company-yasnippet-autoparens company-yasnippet-autoparens Public

   A company-mode script for auto-parenthesis

   Emacs Lisp 5

3. faster-minikanren faster-minikanren Public

   Forked from michaelballantyne/faster-minikanren

   A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.

   Scheme 5

4. chr_book chr_book Public

   Valuable code and exercises about the book "Constraint Handling Rules (2009)" .

   Prolog 4

5. sicp sicp Public

   Valuable code and exercises about the book "Structure and Interpretation of Computer Programs"

   Racket 3

6. qi-circuit qi-circuit Public

   A domain specific language to allow convenient creating stream circuits or signal flow graphs.

   Racket 3