Stars
Input text from speech in any Linux window, the lean, fast and accurate way, using whisper.cpp OFFLINE. Speak with local LLMs via llama.cpp.
Lean 4 programming language and theorem prover
Proof-of-concept formal verification using Hoare logic
Mastermind zkApp Example Series: A Step-by-Step Guide to Building zkApps on Mina
Ethereum L1 Protocol Stack and EVM in TypeScript
WebGPU MSM Implementation (BLS12-377 Curve) for ZPrize 2023
Constantine: modular, high-performance, zero-dependency cryptography stack for verifiable computation, proof systems and blockchain protocols.
A JavaScript library like PyTorch, with GPU acceleration.
A natural language interface for computers
Modular ZK(Zero Knowledge) backend accelerated by GPU
Collection of security reviews of ZK Protocols
ProtoGalaxy folding scheme PoC implementation https://eprint.iacr.org/2023/1106.pdf
⚓ A collection of JavaScript tools written in Rust.
A fast and correct TypeScript type checker and compiler with additional experiments
🐬 A simplified implementation of TypeScript's type system written in TypeScript's type system
A library of composable functions for the type-level! Transform your TypeScript types in any way you want using functions you already know.
Implementation of the BLS12-381 pairing-friendly elliptic curve group
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.