leithaus/SLMC-Scala-Port
Scala port of the SLMC
Developer Profile
leithaus
Discovered public repositories for leithaus in the GitHub catalog.
leithaus/haxe
Public repository.
leithaus/agentui
UI for agent technologies
leithaus/GLoSEval
Network evaluator for Generalized Language of Streams
leithaus/java-scala
to repro java-scala inner classes issue
leithaus/rlingo
training
leithaus/biosim-emeris
Public repository.
leithaus/ocamljs
Javascript back-end for OCamlc
leithaus/platform-agent
platform agent life cycle test
leithaus/seleKt
semantic search for the lambda calculus
leithaus/SpecialK
DataLog meets NoSql
leithaus/vorpal
experimental dsl definition tool
leithaus/Disciples-of-Pop
Disciples of Pop
leithaus/XTrace
An XML-validation-based trace validator
leithaus/differential
kitchen sink container for data type differential
leithaus/talks
public talks
leithaus/coffin
initial coffin project container
leithaus/Magritte
An experimental analytics-in-the-cloud framework
leithaus/Rosette
Reflective actor-based language
leithaus/pixillion
A group mood ring
leithaus/stockholm
Stockholm is a maven archetype for creating DSLs
leithaus/agency
Experimental implementation of Luis Caires spatial-behavioral types