Starred repositories
Programming language for literate programming law specification
A new blockchain architecture under active development, with a strong focus on scalability, privacy and safety
[WIP] Optics via the profunctor representation theorem
Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficient LLVM IR.
A bot to sync the morning paper to a remarkable tablet.
The only public framework for developing applications with native refresh support for Remarkable Tablet
Custom unofficial osu! practice client with Virtual Reality support
Generate Nix expressions to build NPM packages
Rust implementation of {t,n}-threshold ECDSA (elliptic curve digital signature algorithm).
A pure-Rust implementation of Bulletproofs using Ristretto.
OCaml 4.02 cross compiler for the rumprun unikernel stack
Specification for interoperability of common algebraic structures in JavaScript
The next web scraper. See through the <html> noise.
inspired by Merit Money | Management 3.0 (by Jurgen Apello) supporting platform for measurement of real merits based on, how your team mates perceives your contribution for the team
DOM ViewModel - A thin, fast, dependency-free vdom view layer
High performance command line tool for stream encryption
Apply PureScript compiler suggestions to fix warnings