Kani Rust Verifier

An interpreter for Rust's mid-level intermediate representation

Rust mid-level IR Abstract Interpreter

Project group working on the "safe transmute" feature

An operating system written in Go

μWebSockets for Node.js back-ends 🤘

Ethereum Golang API, JSON-RPC client, Smart contract transaction API.

BDD / TDD assertion framework for node.js and the browser that can be paired with any testing framework.

Unexpected - the extensible BDD assertion toolkit

☕️ simple, flexible, fun javascript test framework for node.js & the browser

A modern load testing tool, using Go and JavaScript - https://k6.io

📗🌐 🚢 Comprehensive and exhaustive JavaScript & Node.js testing best practices (July 2023)

Complete Ethereum & Celo library and wallet implementation in Rust. https://docs.rs/ethers

High performance Node.js webserver with a simple-to-use API powered by uWebsockets.js under the hood.

A testing & development environment for Circom.

Circom circuits such as SHA256, float-add and Fibonacci, developed with Circomkit.

A toolkit for polynomial IOPs (PIOPs)

A Rust Implementation of the PLONK ZKP System and Extensions

rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.

Testing out different recursive ZK system on BLS aggregate signature verification circuit

Ginger-lib is a general purpose zk-SNARK library that supports recursive proof composition

A STARK prover and verifier for arbitrary computations

A library for zero knowledge (ZK) scalable transparent argument of knowledge (STARK)

A flexible tool for creating, organizing, and sharing visualizations of live, rich data. Supports Torch and Numpy.

Unison file synchronizer

A distributed Key-Value Storage using Raft

A combined BitTorrent frontend and DHT indexer for personal use

Mutual credit communication system and trade discovery - prototype