cairo-vm_in_go
by lambdaclass
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.
AI summary
Programmability library
An implementation of a programming language for writing provable programs in Go.
- stars
- 57
- forks
- 13
- watching
- 3
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Program Verifier
An implementation of the Cairo VM in Rust for writing provable programs and generating STARK proofs for general computation.
Cairo compiler
Compiles Cairo's intermediate representation to machine code using MLIR and LLVM
rhysd/gocaml749
Compiler
An implementation of a statically-typed functional programming language in Go using LLVM and building its own compiler from scratch.
Programmable language
A Rust-based language for creating provable programs with computational integrity
State machine library
A Go library implementing an immutable state machine with conditional and action functions
VM executor
An implementation of a virtual machine for executing Cairo bytecode written in Go.
Graphics library
Provides a Go interface to the cairo graphics library
State machine library
A Go library for creating finite state machines directly in code
FSM library
A library that provides a simple and feature-complete implementation of finite-state machines in Go
Functional programming language
A Go implementation of Shen, a portable functional programming language with features like pattern matching and macro support.
Programming language
An implementation of a custom programming language with features such as compilation and execution capabilities.
Cairo printer
A plugin for a Cairo-based language that prints messages when annotated with a specific attribute.
Runtime environment
A suite of development tools and a WebAssembly runtime environment for supporting the Cairo programming language.
FSM library
A library for creating and managing finite state machines in Go.
FSM library
A Go library for generating and managing finite-state machines with persistent state history and callback functions.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions cairo-vm_in_go.
