Seattle

Lucius Meredith

Elite
@leithaus

Inventor of the rho-calculus, namespace logic, founder of RChain Cooperative, CEO of F1R3FLY.io

XTrace. An XML-validation-based trace validator

93

SpecialK. DataLog meets NoSql

62

Rosette. Reflective actor-based language

28

casper. Formal specification and reference implementation of Casper

15

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

12

rho4u. New papers about the rho-calculus

10

rhocaml. OCaml implementation of rho calculus

8

talks. public talks

6

stockholm. Stockholm is a maven archetype for creating DSLs

6

vorpal. experimental dsl definition tool

5

agency. Experimental implementation of Luis Caires spatial-behavioral types

2

davinci. Language and runtime cacaoweb

2

ocamljs. Javascript back-end for OCamlc

1

SLMC-Scala-Port. Scala port of the SLMC

1

strategies. A simple implementation of session-based streams

1

GLoSEval. Network evaluator for Generalized Language of Streams

1

pixillion. A group mood ring

1

differential. kitchen sink container for data type differential

1

seleKt. semantic search for the lambda calculus

1

Magritte. An experimental analytics-in-the-cloud framework

1

platform-agent. platform agent life cycle test

1

coffin. initial coffin project container

1

Disciples-of-Pop. Disciples of Pop

1
23
Apply