`refined_type` is a library that facilitates type composition, enabling the simple description of efficient validation processes and high runtime safety.

Derive macro for Rust that turns traits into enums, providing tools for calling funtions over channels

A geometric algebra library written in Rust.

Create extensions for types you don't own with extension traits but without the boilerplate

Fancy extension for std::error::Error with pretty, detailed diagnostic printing.

Parsing Expression Grammar (PEG) parser generator for Rust

Higher-kinded programming in OCaml

Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"

New papers about the rho-calculus

RISC-V Assembly Language Programming

Deluge, not a stream

The compiler for N⋆, a statically typed assembly language used as a compiler backend for Zilch

A complete specification on Zilch and N⋆

Todo list application built to explore different features of the OCaml language

Model-based trace-checking ✅ check the conformance of your implementation to your specification

TLA+ questions, answers, and experiments

An implementation of dependently typed lambda calculus

Endo is a distributed secure JavaScript sandbox, based on SES

Object algebras vs. free monads, or type classes vs. ADTs

📐 Javascript Geometric Algebra Generator for Javascript, c++, c#, rust, python. (with operator overloading and algebraic literals) -

A dockerized RChain development environment

The Observable standard library.

Source code for rholang documentation website.

Rholang runtime in rust