A CalDAV/CardDAV server backed by Git

Guide to run Virtual Machines with KVM and QEMU

gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license

Examples of covenants in Bitcoin script

An simple actor model in rust, like actix

A netstack based on smoltcp-rs.

Citrea's BitVM Based Trust-Minimized Two-Way Peg Program

🍣 A delicious docker box for special Bitcoin cookings

Filesystem in Userspace (FUSE) for Rust

A Trust-minimized Bitcoin Bridge

The rDNA 2 dGPU support patch kext. No commercial use.

A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM

STARK-based virtual machine

Rust implementation of FROST (Flexible Round-Optimised Schnorr Threshold signatures) by the Zcash Foundation

LLM inference in C/C++

LLaMA: Open and Efficient Foundation Language Models

Chromium running inside your terminal

A Kernel based root solution for Android

Wayland compositor

A dynasm-like tool for rust.

A rust implementation of Verifiable Secret Sharing over Finite Field.

Docker network driver for networking on a host bridge with DHCP-allocated IP addresses

Docker Engine managed plugin to manage RBD volumes.

Findora Improvement Proposals

A 'Sparse Merkle Tree' with versioned features, based on vsdb.

Minimal asynchronous runtime for Rust

Rust implementation of the Modified Patricia Tree (aka Trie).

Wi-Fi and BT drivers packaged for integration into bare-metal esp-wifi.

An ultra-lightweight database that supports key-value and time series data | 一款支持 KV 数据和时序数据的超轻量级数据库