Pinned Loading

1. aether aether Public

   Simple chat protocol reference implementation

   C

2. sceptre sceptre Public

   an automated theorem prover for minimal propositional logic

   Racket

3. vine vine Public

   VINE: VIVE Is Not Emacs / VIVE: VINE Isn't Vim Either

   C 3

4. visp visp Public

   a lisp interpreter

   Python 2

5. dcpu dcpu Public

   DCPU-16 emulator

   C 2

6. beatle beatle Public

   a parser for beatle, a statically-typed programming language with pythonic syntax

   Python 3 1