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

Reviews

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

Repository Details

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

More Repositories

1

shape-lang-purs

A well-typed structural editor.
PureScript
5
star
2

zypr

A zippy structural editor, created by Henry Blanchette and Jacob Prinz as UMD.
PureScript
4
star
3

SuperSoccer

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

eval-via-norm

Evaluation by normalization
Agda
2
star
5

philosophical-consistency-test

JavaScript
1
star
6

crystal_genealogy

A simple genealogy model written in crystal.
Crystal
1
star
7

shape-lang

TypeScript
1
star
8

monadic-quicksort-verification

A Liquid Haskell verification of Mu and Chiang's "Deriving Monadic Quicksort."
SMT
1
star
9

itse

A simple self-typed language (system S) for lambda-encoded data-types.
Haskell
1
star
10

IMP-Interpreter

This is a small Haskell implementation of the IMP language, as specified in the K Framework tutorial here.
Haskell
1
star
11

musicgenerator

This is a program that generates tones according to algorithms that may end up sounding like music
JavaScript
1
star
12

Lingua

Implementations of and reasonings about a variety of simple functional languages, in Agda.
Agda
1
star
13

QR-Code-Scanner

This is a simple html/js structure for implementing the use of http://goqr.me to generate QR codes
JavaScript
1
star
14

Functive

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

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.
Python
1
star
16

Textual

A simple text editor for iOS that integrates directly with iOS Files.
Swift
1
star
17

GenealogyModel3

A reimplementation of GenealogyModel. Meant to be faster and more modular, with API for external experiments, importing, and exporting.
Python
1
star