lambdaclass

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

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

Small exercises to get you used to reading and writing Erlang code

Public repository for excersices, challenges and all the needs of the Sparkling Water Bootcamp

STARK 101 Workshop in Rust 🐺🦀

Juypter notebooks playground to explore and analyse economy and finance ideas

Signaling and ICE servers for WebRTC in Erlang

STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly. Cairo and similar proof systems can be used to provide scalability to blockchains.

Erlang + ClojureScript app to send holiday reminders

:ok_hand: erlang grab bag of useful functions. it should have been called swiss army knife but katanas are more deadlier ;)

cairo-vm_in_go is a Go 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 that a certain computation was executed correctly without the need for this party to re-execute the same program.

Starknet sequencer built with Tendermint Core

Export Circom verifier to Cairo

Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers

cairo-by-example.com