cairo-vm_in_go
Programmability library
An implementation of a programming language for writing provable programs in Go.
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.
57 stars
3 watching
13 forks
Language: Go
last commit: over 1 year ago
Linked from 1 awesome list
keep-starknet-strange/awesome-starknetRelated projects:
| Repository | Description | Stars |
|---|---|---|
| lambdaclass/cairo-vm | An implementation of the Cairo VM in Rust for writing provable programs and generating STARK proofs for general computation. | 527 |
| lambdaclass/cairo_native | Compiles Cairo's intermediate representation to machine code using MLIR and LLVM | 123 |
 rhysd/gocaml | An implementation of a statically-typed functional programming language in Go using LLVM and building its own compiler from scratch. | 749 |
 starkware-libs/cairo | A Rust-based language for creating provable programs with computational integrity | 1,630 |
 d5/go-fsm | A Go library implementing an immutable state machine with conditional and action functions | 37 |
 nethermindeth/cairo-vm-go | An implementation of a virtual machine for executing Cairo bytecode written in Go. | 82 |
 ungerik/go-cairo | Provides a Go interface to the cairo graphics library | 146 |
 qmuntal/stateless | A Go library for creating finite state machines directly in code | 981 |
 gurpartap/statemachine-go | A library that provides a simple and feature-complete implementation of finite-state machines in Go | 100 |
 tiancaiamao/shen-go | A Go implementation of Shen, a portable functional programming language with features like pattern matching and macro support. | 56 |
 bradford-hamilton/monkey-lang | An implementation of a custom programming language with features such as compilation and execution capabilities. | 45 |
 piwonskp/hello-cairo-plugin | A plugin for a Cairo-based language that prints messages when annotated with a specific attribute. | 3 |
 cryptonerdcn/wasm-cairo | A suite of development tools and a WebAssembly runtime environment for supporting the Cairo programming language. | 56 |
 bykof/stateful | A library for creating and managing finite state machines in Go. | 209 |
 calebwin/go-sm | A Go library for generating and managing finite-state machines with persistent state history and callback functions. | 14 |