Pinned Loading

1. coreos/openssh-keys coreos/openssh-keys Public

   A pure-Rust library to read and write OpenSSH public keys

   Rust 36 19

2. lsystems lsystems Public

   A foray into Lindenmayer Systems programming

   Python 5 1

3. demos demos Public

   DemOS, Demos's OS

   Rust 4

4. cellular-automata cellular-automata Public

   experimenting with cellular automata representations in haskell

   Haskell

5. coreos/afterburn coreos/afterburn Public

   A one-shot cloud provider agent

   Rust 208 106

6. type-inference type-inference Public

   formalization of type inference using rewriting

   Coq 1