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.
56 stars
3 watching
13 forks
Language: Go
last commit: 7 months 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 generating provable programs. | 522 |
| lambdaclass/cairo_native | Compiles Cairo's intermediate representation to machine code using MLIR and LLVM | 121 |
 rhysd/gocaml | An implementation of a statically-typed functional programming language in Go using LLVM and building its own compiler from scratch. | 748 |
 starkware-libs/cairo | A Rust-based language for creating provable programs that can perform general computation | 1,599 |
 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 | 967 |
 gurpartap/statemachine-go | A library that provides a simple and feature-complete implementation of finite-state machines in Go | 98 |
 tiancaiamao/shen-go | A Go implementation of Shen, a portable functional programming language with features like pattern matching and macro support. | 55 |
 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. | 54 |
 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 |