Validation code for the EOF specification

A port of Sebastian Aaltonen's `OffsetAllocator` to Rust

Fast O(1) offset allocator with minimal fragmentation

A playground for thinking about what Rust could be like

A Proof-oriented Programming Language

A framework to build smart contracts on the Fluent L2 as well as blockchains and verifiable compute environments that compile to rWasm

Lurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.

LSP-AI is an open-source language server that serves as a backend for AI-powered functionality, designed to assist and empower software engineers, not replace them.

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

34mm trackball module with ADNS-5050 sensor. This module can be implemented with existing DIY keyboards via wiring.

A very small trackball-only mouse. Mechanical files, PCBs, and firmware all included.

A Ball - Buttonless trackball for all

A toolkit for building distributed applications

Reimagine state management with CRDTs. Make your app collaborative effortlessly.

Pure Rust implementation of the PLONK ZKProof System done by the Dusk-Network team.

A tidy and feature-packed LORA QWERTY communication device based on a Blackberry Q10 keyboard, a nRF52840 and a 2.7'' Sharp Memory LCD

Spartan: High-speed zkSNARKs without trusted setup

A minimal Secure Scuttlebutt replication node.

DNS-SD (aka Zeroconf, Bonjour, Avahi) in TypeScript for Deno and Node.

A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!

Solidity, the Smart Contract Programming Language

Lightning-fast and Powerful Code Editor written in Rust

A private, p2p alternative to Slack and Discord built on Tor & IPFS

Declare your digital independence

Emerging smart contract language for the Ethereum blockchain.

The MLton repository

evm toolkit