rybla/Graphics-389---Notes

Stars
1
Language
HTML
Created about 7 years ago
Updated over 6 years ago

rybla/Graphics-389---Notes

rybla

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Notes for my graphics class at reed college. Projects are kept in a seperate repository.

shape-lang-purs

A well-typed structural editor.

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-Player

eval-via-norm

Evaluation by normalization

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 music

Lingua

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 codes

Functive

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.