Pinned Loading

1. reazon reazon Public

   miniKanren for Emacs

   Emacs Lisp 112 6

2. busy-beaver-stuff busy-beaver-stuff Public

   Tools for finding and analyzing Busy Beaver programs for Turing machines

   Python 10 2

3. lispinc lispinc Public

   An "explicit control" Lisp interpreter written in assembly-like C

   C 12 1

4. .emacs.d .emacs.d Public

   Emacs config

   Emacs Lisp 1

5. Lisp-C-Compyler Lisp-C-Compyler Public

   Lisp-to-C compiler written in Python. Based on the compiler presented in SICP chapter 5!

   Python 6 1

6. ecio-lisp ecio-lisp Public

   An "explicit-control" Lisp interpreter implemented with Python file I/O

   Python