rybla/eval-via-norm

Stars
2
Language Agda
Created over 3 years ago
Updated over 3 years ago

rybla/eval-via-norm

rybla

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

Evaluation by normalization

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

Graphics-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 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.