Install `Trunk` by downloading the executable

A collection of TLA⁺ specifications of varying complexities.

A list of tech coops and resources concerning tech coops and worker owned cooperatives in general.

Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.

a super simple, no-nonsense diagramming library written in react that just works

Generate and validate IPLD Schemas and the data they describe

The collected works of F. W. Lawvere

container-based networking labs

Peer-to-Peer Databases for the Decentralized Web

Server-less p2p database built on libp2p

A p2p, secure file storage, social network and application protocol

A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

A lightweight WebAssembly runtime that is fast, secure, and standards-compliant

Append-only log CRDT on IPFS

Server-less p2p database built on libp2p

A Proof-oriented Programming Language

Create ridiculously fast Lexers

Fast PlayStation 1 emulator for x86-64/AArch32/AArch64/RV64

Julia interface to Z3

Rust bindings for the Z3 solver.

A docker container and scripts for running the z3 theorem prover.

Components to simplify handling forms with Yew

Install Alpine Linux in chroot with a breeze. Build ARM on Travis CI or any other x86_64 CI.

Tiny cross-platform webview library for C/C++. Uses WebKit (GTK/Cocoa) and Edge WebView2 (Windows).

The symbolic execution engine powering the K Framework

Simple makefile-based build for musl cross compiler

A curated list of things related to the Matrix ecosystem, including software, research, etc.

⟨Grassmann-Clifford-Hodge⟩ multilinear differential geometric algebra

Toolkit for building governance in your online community