Open-source 2D & 3D structural analysis in the browser. Direct Stiffness Method, real-time solving, no installation required.

Minimalist, stable, modular, fast, and ZK native implementation of the Ethereum protocol in Rust. L1 and L2 execution client.

A minimalist and fast Lean Consensus client by LambdaClass, bringing expertise in distributed systems and blockchain infrastructure to deliver a robust and performant implementation.

Ethereum re-execution tool, powered by ethrex

A Rust library for decoupling concurrency from application logic, following the model used by Erlang and the BEAM VM

Useful tools for developing on Ethereum powered by Ethrex

Tools for ZKsync's Data Collection for Prover Market Design

lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.

zkSync era

Concrete is a simple programming language specifically crafted for creating highly scalable systems that are reliable, efficient, and easy to maintain.

Modular stack to build Starknet based scaling engines written in Rust

Yet Another Bridge with Grind Labs and Herodotus

Convert your Felt into a String

Elixir implementation of an Ethereum consensus client, which offers high reliance & fault tolerance

cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another th…

Promise packages, patterns, chat, and tutorials

Client/server side PDF printing in pure JavaScript

A boilerplate for Node.js web applications