etosch

Emma "Frank" Tosch's repositories

Language:Clojure2 20

Language:ClojureNOASSERTION1 20

Utility for processing log files and loading them into a database

Language:Clojure1 2 8

Language:Clojure1 20

Tree-based genetic programming with tagging.

Language:Clojure1 20

Implementation of Lee Spector's tag space machine

Language:Clojure1 40

The Push programming language and the PushGP genetic programming system implemented in Clojure.

Language:Clojure020

Language:Java010

Project for CS 691ST - Dalvik VM implementation in Javascript

Language:JavaScript020

Language:JavaScript020

Naive implementation of an arbitrary order ngram HMM

Language:Clojure020

Language:C++050

A demo implementation of a simple dependently-typed language for OPLSS 2013

Language:HaskellBSD-3-Clause020

stuff for REU

Language:Java030

HoTT Coqs

020