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. visp visp Public

   a lisp interpreter

   Python 2

4. dcpu dcpu Public

   DCPU-16 emulator

   C 2

5. beatle beatle Public

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

   Python 3 1

6. garnet garnet Public

   Experimentation with static single assignment form

   Python