Discover @leithaus Open Source projects

Lucius Meredith (@leithaus)

leithaus

Stars
259
Global Rank 100,320 (Top 4 %)
Followers 128
Following 3
Registered over 15 years ago
Most used languages

Java
30.0 %

TeX
25.0 %

OCaml
15.0 %

Scala
10.0 %

JavaScript
10.0 %

ActionScript 5.0 %

C++
5.0 %
Location 🇺🇸 United States
Country Total Rank 24,040
Country Ranking

Scala
218

OCaml
268

TeX
428

ActionScript 811

C++
5,825

Java
8,162

XTrace

An XML-validation-based trace validator

SpecialK

DataLog meets NoSql

Rosette

Reflective actor-based language

casper

Formal specification and reference implementation of Casper

pi4u

A collection of papers about new models and applications of mobile process calculi

rhocaml

OCaml implementation of rho calculus

rho4u

New papers about the rho-calculus

talks

stockholm

Stockholm is a maven archetype for creating DSLs

vorpal

experimental dsl definition tool

agency

Experimental implementation of Luis Caires spatial-behavioral types

davinci

Language and runtime cacaoweb

platform-agent

platform agent life cycle test

pixillion

A group mood ring

SLMC-Scala-Port

Scala port of the SLMC

strategies

A simple implementation of session-based streams

Disciples-of-Pop

Disciples of Pop

Magritte

An experimental analytics-in-the-cloud framework

coffin

initial coffin project container

differential

kitchen sink container for data type differential

seleKt

semantic search for the lambda calculus

GLoSEval

Network evaluator for Generalized Language of Streams