tadev0 Goto Github PK
Name: Tristan
Type: User
Twitter: tristan_angles
Location: France
Name: Tristan
Type: User
Twitter: tristan_angles
Location: France
🇪🇺 Smart contracts for the Core Module and the governance of the Angle Protocol
🛣 Routing contracts of the Angle Protocol
⚗️ Smart contracts for Transmuter, an autonomous and modular price stability module for decentralized stablecoin protocols
Collaborative art canvas on Starknet
Liquidity aggregator written in Cairo
Resources for Cairo 1.0 development.
🦾 Smart contracts for Angle Borrowing Module
Cairo is the first Turing-complete language for creating provable programs for general computation.
The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.
A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.
cairo-vm_in_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.
A virtual machine for Cairo written in Go
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.
A typescript implementation of the Cairo VM
Source code for cairovm.codes — a web app to compile Cairo programs into Sierra and CASM with step-through execution capabilities.
Solutions to the Capture The Ether CTF challenges using Foundry ⛳️
Provable play of Nintendo Entertainment System in Noir
Reproduce DeFi hacked incidents using Foundry.
Madara (prev: Deoxys) is a powerful hybrid Starknet client written in Rust.
Ethereum smart contract fuzzer
Test runner for ethereum foundation tests
Contracts for governance of Starknet protocols
Efficient pairing library, written in Cairo 🐺.
JediSwap
Starknet client implementation.
ZK-EVM type 2.5 written in Cairo, leveraging STARK proof system.
Kakarot ZK EVM Ethereum RPC adapter
Kakarot zkEVM - rewrite in the latest version of Cairo
🥷🩸 Madara is a ⚡ blazing fast ⚡ Starknet sequencer, based on substrate, powered by Rust 🦀
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.