Pinned Repositories
NumerAir
A fixed-point arithmetic library for STWO-based programs.
orion
ONNX Runtime in Cairo 1.0 for verifiable ML inference using STARK
cairo_ml
Build neural network models in Cairo 1.0
drive-ai
Self driving car AI in road fighter world
GitDaw
Leverage the power of Git to collaborate seamlessly on your Ableton projects.
json-on-starknet
midi-on-starknet
Represent and manipulate musical MIDI data as a Starknet smart contract.
raphaelDkhn's Repositories
raphaelDkhn/GitDaw
Leverage the power of Git to collaborate seamlessly on your Ableton projects.
raphaelDkhn/cairo_ml
Build neural network models in Cairo 1.0
raphaelDkhn/json-on-starknet
raphaelDkhn/midi-on-starknet
Represent and manipulate musical MIDI data as a Starknet smart contract.
raphaelDkhn/drive-ai
Self driving car AI in road fighter world
raphaelDkhn/anuraghazra
raphaelDkhn/cubit
raphaelDkhn/quaireaux
A set of opinionated Cairo 1.0 libraries and algorithms.
raphaelDkhn/awesome-stwo
A curated list of awesome projects using STWO.
raphaelDkhn/cairo-decision-tree
raphaelDkhn/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.
raphaelDkhn/ff_nn
raphaelDkhn/lambdaworks
lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
raphaelDkhn/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.
raphaelDkhn/luminal
Deep learning at the speed of light.
raphaelDkhn/math_oracle
raphaelDkhn/orion-benchmark
Model benchmarking using Orion
raphaelDkhn/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.
raphaelDkhn/Simple-Cairo-Network-example
raphaelDkhn/sp1_recursion
raphaelDkhn/stwo-playground
raphaelDkhn/zkboost-benchmark