There are no reviews yet. Be the first to send feedback to the community and the maintainers!
zypr
A zippy structural editor, created by Henry Blanchette and Jacob Prinz as UMD.SuperSoccer
A JS game using phaser.io that requires PS3 controllers to play. 2-Playereval-via-norm
Evaluation by normalizationGraphics-389---Notes
Notes for my graphics class at reed college. Projects are kept in a seperate repository.philosophical-consistency-test
crystal_genealogy
A simple genealogy model written in crystal.shape-lang
monadic-quicksort-verification
A Liquid Haskell verification of Mu and Chiang's "Deriving Monadic Quicksort."itse
A simple self-typed language (system S) for lambda-encoded data-types.IMP-Interpreter
This is a small Haskell implementation of the IMP language, as specified in the K Framework tutorial here.musicgenerator
This is a program that generates tones according to algorithms that may end up sounding like musicLingua
Implementations of and reasonings about a variety of simple functional languages, in Agda.QR-Code-Scanner
This is a simple html/js structure for implementing the use of http://goqr.me to generate QR codesFunctive
A simple modular extendible statically-typed symbolic programming language with dependent types. Implemented in Haskell.Python_Genealogy_2
Creates a genealogy similar to a biological system. Enacts selection using fitnesses based on age, amount of children, and a trait (color). Includes support for generating a Graphviz graph of the genealogy, where color represents trait.Textual
A simple text editor for iOS that integrates directly with iOS Files.GenealogyModel3
A reimplementation of GenealogyModel. Meant to be faster and more modular, with API for external experiments, importing, and exporting.Love Open Source and this site? Check out how you can help us