forestbelton

Pinned Repositories

• anima

  A simple dependently-typed programming language

  Language:Haskell5502

• azure

  WIP decompilation of Azure Dreams

  Language:Python2100

• b

  A compiler for the B programming language

  Language:Haskell1200

• cooper

  Presburger arithmetic solver in Idris

  Language:Idris5402

• cotitan

  A cooperative game based around fighting large monsters

  Language:C9502

• egg

  toy language for code golf

  Language:PureScript6361

• naomi

  just another friendly chat bot

  Language:JavaScript34281

• orchard

  gameboy emulator for the nintendo ds

  Language:C0200

• react-domain-coloring

  React component for domain coloring of complex-valued functions

  Language:JavaScript51

• sheaf

  scheme os

  Language:C3200

forestbelton's Repositories