Pinned Repositories
baseline-contracts
Baseline methodologies to compute the carbon absorption of regeneration projects.
bitcoin-da
cairo-book.github.io
The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.
carbon-protocol-v3
carbon_potential_estimator
checkpoint-template
An example template to help you get started with Checkpoint.
Collatz_Conjecture
Implementation in C and Rust to generate a Collatz trace and check its veracity using polynomial constraints.
comput
get_next_line
read a file line by line
Libft
personal library for c
axelizsak's Repositories
axelizsak/baseline-contracts
Baseline methodologies to compute the carbon absorption of regeneration projects.
axelizsak/bitcoin-da
axelizsak/cairo-book.github.io
The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.
axelizsak/carbon-protocol-v3
axelizsak/carbon_potential_estimator
axelizsak/checkpoint-template
An example template to help you get started with Checkpoint.
axelizsak/Collatz_Conjecture
Implementation in C and Rust to generate a Collatz trace and check its veracity using polynomial constraints.
axelizsak/comput
axelizsak/get_next_line
read a file line by line
axelizsak/Libft
personal library for c
axelizsak/minitalk
client/server communication channel
axelizsak/Olea
🌱📈 Green Bond investement blockchain based project - Hackin'Dau (DAUPHINE University Fintech hackathon - September 2023)
axelizsak/pathfinder
A Starknet full node written in Rust
axelizsak/philosopher
axelizsak/printf
small home-made printf function
axelizsak/push_swap
axelizsak/satoru
Synthetics platform for Starknet, inspired by GMX v2 design.
axelizsak/so_long
2D game
axelizsak/SP
🥷🩸 Madara is a ⚡ blazing fast ⚡ Starknet sequencer, based on substrate, powered by Rust 🦀
axelizsak/stone-prover