Riib11

Pinned Repositories

• crystal_genealogy

  A simple genealogy model written in crystal.

  Language:Crystal1100

• eval-via-norm

  Evaluation by normalization

  Language:Agda20

• Functive

  A simple modular extendible statically-typed symbolic programming language with dependent types. Implemented in Haskell.

  Language:Haskell10

• impe

  Language:Haskell0100

• lh-tactics-test

  Language:TeX02

• polylogue

  Language:PureScript00

• shape-lang-purs

  A well-typed structural editor.

  Language:PureScript5200

• SuperSoccer

  A JS game using phaser.io that requires PS3 controllers to play. 2-Player

  Language:JavaScript2111

• Thesis-Purity-and-Effect

  My Reed Undergraduate Thesis.

  Language:TeX00

• zypr

  A zippy structural editor, created by Henry Blanchette and Jacob Prinz as UMD.

  Language:PureScript4200

Riib11's Repositories