Substrate: The platform for blockchain innovators

A command-line DNS client.

Light LDAP implementation

🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C

A highly experimental vi-inspired editor where you edit code, not text.

Data interchange with algebraic data types.

An efficient, secure cryptocomputer

Yet another diff highlighting tool

Virtual KVM switch for Linux machines

generate Wireguard keypairs with a given prefix string

Anonymous peer-to-peer instant messaging

New commands for Dockerfile

2D graphics in any programming language with just print statements

RRust, a reversible Rust DSL

A calendar aggregator and generator to make maintaining calendars on static websites easier.

Consensus mechanism enabling a decentralized network to agree on the world around it

The general purpose supernet