greged93 Goto Github PK

2wrds

Frontend for the 2wrds project

2wrds_cntrcts

The Cairo 1.0 contracts for the 2wrds project

adventofcode-2022

Adventofcode for the year 2022

aligned_layer

Aligned Layer is a verification layer for zero-knowledge proofs using Eigen Layer. Our mission is to accelerate the adoption of zero-knowledge and validity proofs on Ethereum..

alloy

Transports, Middleware, and Networks for the Alloy project

apibara-rust

Apibara rust based node

awesome-sp1

A curated list of awesome resources related to SP1 - Succinct's zkVM.

beerus

Beerus is a trustless StarkNet Light Client, ⚡blazing fast ⚡ and powered by Rust 🦀

blake2f

Blake2f Implementation in Cairo

bto-cairo

Binary Tree Operator written in Cairo

caigo

Golang Library for StarkNet/Cairo

cairo

Cairo is the first Turing-complete language for creating provable programs for general computation.

cairo-book

The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.

cairo-constructor-example

Constructor inheritance example

cairo-coverage

cairo-lang

cairo-native-example

Small example of running cairo-native

cairo-rs

cairo-rs 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 that a certain computation was executed correctly. Cairo and similar proof systems can be used to provide scalability to blockchains.

cairo-tic-tac

Tic tac toe implementation in cairo

cairo-tuto

Tutorial of the cairo language

cairo-vm-go

A virtual machine for Cairo 1 written in Go

cairo-vm-py

cairo-rs-py adds Python bindings to the cairo-rs Cairo VM

cairo-vm-ts

A typescript implementation of the Cairo VM

cairo-vm.go

cairo-vm.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.

cairo_native

A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.

compute-graph

A computational graph implementation in Rust

crawler

Simple crawler functional for marmiton

crypto-exercices

Crypto exercices from the rust crypto study group

defi-staking-app

Udemy tutorial for the defi staking app

dna

Apibara is the fastest platform to build production-grade indexers that connect onchain data to web2 services.