Gidon Ernst's repositories
connections
Material and code for CONNECTIONS by http://fuzzybinaires.org
ulang-proto
Minimal untyped functional programming language based on tagged values and pattern matching
Language:Scala000
scala-cparser
A clean and simple parser for the C language for Scala
Language:JavaMIT000
bvsampler
Efficient Sampling of Bitvector Solutions for Testing (credit to Quicksampler)
Language:PythonBSD-3-Clause000
tracejump
Instrument assembly code with tracing of jump targets
Language:Python000
bk
Non-local goto and backtracking in Scala
Language:ScalaMIT000
tst
Minimal Unit Testing Library
Language:ScalaMIT000
ugzip
Small gzip implementation
Language:CMIT000
ulang
A small but not minimal functional language and theorem prover.
Language:ScalaMIT000
imp3
IMP3 - Translating imperative programs to TVLA3
Language:PythonMIT000
jarversion
Get min/max version numbers from compiled class files in a jar
Language:Scala000