Stars
ZKPassport circuits for generating passport and national ID zero-knowledge identity proofs
Plonky3 native support for p3-uni-stark and p3-batch-stark recursion... and more
This is the fully-functional GNU Radio software-defined radio (SDR) implementation of a LoRa transceiver with all the necessary receiver components to operate correctly even at very low SNRs. This …
Differentiable, Hardware Accelerated, Molecular Dynamics
Cross platform GUI framework for desktop and mobile applications in .NET
Implementation of the Google Zero-Knowledge library for Identity Protocols.
A not-very Rusty port of the C impl of ITU-R P533 & P372
Z80-μLM is a 2-bit quantized language model small enough to run on an 8-bit Z80 processor. Train conversational models in Python, export them as CP/M .COM binaries, and chat with your vintage compu…
ASIC implementation flow infrastructure, successor to OpenLane
Protein and molecule viewer, editor, simulator
A python parametric CAD scripting framework based on OCCT
Prototype implementations for a more compile-time efficient flowgraph API
OBS Studio - Free and open source software for live streaming and screen recording
ITS Irregular Terrain Model (ITM), which predicts terrestrial radiowave propagation for frequencies between 20 MHz and 20 GHz based on electromagnetic theory and empirical models developed by Anita…
A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.
Tooling for creating collaborative SNARKs for Circom and Noir circuits.
Real-Time Interrupt-driven Concurrency (RTIC) framework for ARM Cortex-M microcontrollers
IRI2020 ionosphere climate model from Python
💻 C++ Functional Terminal User Interface. ❤️
ESPHome is a system to control your ESP32, ESP8266, BK72xx, RP2040 by simple yet powerful configuration files and control them remotely through Home Automation systems.
A fast, cross-platform backwards compatible CMake build tool for C and C++
C++ Memory safety (memsafe) single-header libraries and Clang compiler plugin for safe C++, which reduces errors for reference data types and safe memory management without breaking backward compat…