tadev0 Goto Github PK

followers: 28.0 following: 59.0 repos: 56.0 gists: 0.0

Name: Tristan

Type: User

Twitter: tristan_angles

Location: France

Blog: https://nodeguardians.io/character/tadev-guardian

Tristan's Projects

angle-core

🇪🇺 Smart contracts for the Core Module and the governance of the Angle Protocol

angle-router

🛣 Routing contracts of the Angle Protocol

angle-transmuter

⚗️ Smart contracts for Transmuter, an autonomous and modular price stability module for decentralized stablecoin protocols

borrow-contracts

🦾 Smart contracts for Angle Borrowing Module

cairo

Cairo is the first Turing-complete language for creating provable programs for general computation.

cairo-book.github.io

The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.

cairo-native-lambdaclass

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.

cairo-vm-go-nethermind

A virtual machine for Cairo written in Go

cairo-vm-python-starkware

cairo-vm-rust-lambdaclass

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.