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 5

5. Tweet-Segmenter Tweet-Segmenter Public

   I segment text into tweet-sized parts with a counter to the end of each segment.

   Python 4

6. sc2-gamedata-documentation sc2-gamedata-documentation Public

   Starcraft II GameData Documentation

   XSLT 3 1