Flexible BFT consensus engine in Rust

A Twitter client for agents-- no API key necessary

Create MPC apps with TypeScript.

Compact FPGA game console

Autonomous agents for everyone

Trade autonomously on Polymarket using AI Agents

Bootstrapping LISP in a Boot Sector

Automatically track which applications you use and for how long.

ngtcp2 project is an effort to implement IETF QUIC protocol

Repository for the paper: VoiceMe: Personalized voice generation in TTS

Tooling for creating collaborative SNARKs for Circom and Noir circuits.

LSM-Tree Key-Value Store based on RocksDB

Entropy Based Sampling and Parallel CoT Decoding

Interesting readings and talks on computer science

QA infrastructure for CometBFT

A cross-platform GUI library for Rust, inspired by Elm

A minimal reimplementation of Tendermint in Rust

A python implementation of Google File System

An API compatible port of the Stone prover.

Adapt your STARK stone proofs for verifications on Ethereum

Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language

A toy L4 load balancer running on FPGA

Course Site for Foundations of Blockchains (Columbia University, Fall 2021 semester)

A web browser that plays old world blues to build new world hope