sdemos

Pinned Repositories

• afterburn

  A one-shot cloud provider agent

  Language:Rust2042983104

• openssh-keys

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

  Language:Rust3681819

• cellular-automata

  experimenting with cellular automata representations in haskell

  Language:Haskell0200

• demos

  DemOS, Demos's OS

  Language:Rust4100

• gameoflife

  implementation of conway's game of life in haskell using REPA

  Language:Haskell10

• lsystems

  A foray into Lindenmayer Systems programming

  Language:Python51

• prolog

  implementation of prolog in haskell

  Language:Haskell60

• rhcos

  Language:Groovy1100

• traveller

  I'm not a nerd. You're the nerd! - world generator for the traveller rpg

  Language:Rust1101

• type-inference

  formalization of type inference using rewriting

  Language:Coq10

sdemos's Repositories