#
Lists (2)
Starred repositories
Solidity Package Manager written in rust and integrated into Foundry (forge soldeer ...)
Instant Github-flavored Markdown/Org preview using grip
verifiable contracts using temporal modal logic
Functional and flexible multimethods for Clojure. Nondestructive multimethod construction, CLOS-style aux methods and method combinations, partial-default dispatch, easy next-method invocation, hel…
A lightweight data processing framework built on DuckDB and 3FS.
ATmosphere Authentication, Identity, and Permission Proxy
Repository for the main Dockerfile with the OpenWorm software stack and project-wide issues
A massively parallel, high-level programming language
The MQTT client for Node.js and the browser
C++ based gRPC (C++, Python, Ruby, Objective-C, PHP, C#)
The main development version of the PRISM model checker.
Stuff from UIUC's CS421 - Programming Languages and Compilers. MPs written in the functional language OCaml.