tedison's repositories
eternum-tedison
Eternum - The first major mod of the Realms Autonomous World
mouse_mover
Move your mouse every few minutes
survivor-CLI
Text-based version of the Lords Survivor game
alexandria
Community maintained Cairo 1.0 library.
cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
cairo-zig-tedison
⚡ Cairo VM in Zig ⚡
jediswap-tedison
JediSwap
kakarot-rpc
Kakarot ZK EVM Ethereum RPC adapter
kakarot-ssj-tedison
Kakarot zkEVM - rewrite in the latest version of Cairo
lambdaworks
The library for kids who wanna learn how to do SNARKs and learn other cryptographic stuff too
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.
madara
🥷🩸 Madara is a ⚡ blazing fast ⚡ Starknet sequencer, based on substrate, powered by Rust 🦀
ord
👁🗨 Rare and exotic sats
pyUSBtin
python API for USBtin can interface
starknet-erc20
Learn how to deploy and customize an ERC20 token on StarkNet
starknet-react-tedison
A collection of React providers and hooks for StarkNet
starknet.js
JavaScript library for StarkNet
starknet_stack
Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers