etosch/Sriracha
HoTT Coqs
Developer Profile
etosch
Discovered public repositories for etosch in the GitHub catalog.
etosch/pi-forall
A demo implementation of a simple dependently-typed language for OPLSS 2013
etosch/REU
stuff for REU
etosch/Clojush
The Push programming language and the PushGP genetic programming system implemented in Clojure.
etosch/memstashed
Public repository.
etosch/GPJS
Public repository.
etosch/remodel
691ST Project 2 - make->remodel
etosch/dalvik-js
Project for CS 691ST - Dalvik VM implementation in Javascript
etosch/tsm
Implementation of Lee Spector's tag space machine
etosch/COSMOS
Public repository.
etosch/core.match
Public repository.
etosch/taggp
Tree-based genetic programming with tagging.
etosch/DB_Loader
Utility for processing log files and loading them into a database
etosch/compilers
Public repository.
etosch/graph
Public repository.
etosch/HMM
Naive implementation of an arbitrary order ngram HMM