Lucius Meredith

icon indicating a website link f1r3fly.io icon indicating an email [email protected]

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

Results 4 repositories owned by Lucius Meredith

casper

16
Stars
1
Forks
Watchers

Formal specification and reference implementation of Casper

verified publisher icon leithaus

Rosette

27
Stars
6
Forks
Watchers

Reflective actor-based language

verified publisher icon leithaus

SpecialK

63
Stars
8
Forks
Watchers

DataLog meets NoSql

verified publisher icon leithaus

XTrace

90
Stars
18
Forks
Watchers

An XML-validation-based trace validator

verified publisher icon leithaus