raphaeldkhn Goto Github PK

anuraghazra

cairo-decision-tree

cairo-hints

cairo-vm

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

cairo_ml

Build neural network models in Cairo 1.0

cubit

drive-ai

Self driving car AI in road fighter world

ff_nn

gitdaw

Leverage the power of Git to collaborate seamlessly on your Ableton projects.

json-on-starknet

lambdaworks

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

lambdaworks_stark_platinum

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.

math_oracle

midi-on-starknet

Represent and manipulate musical MIDI data as a Starknet smart contract.

orion-benchmark

Model benchmarking using Orion

portfolio-optimizer-dao

DAO to manage optimization of portfolio holdings via Black-Litterman model. DAO users vote on the views and confidences that enter the model.

quaireaux

A set of opinionated Cairo 1.0 libraries and algorithms.

simple-cairo-network-example

sp1_recursion