wasm-cairo
Runtime environment
A suite of development tools and a WebAssembly runtime environment for supporting the Cairo programming language.
A suite of development tools and a WASM-Runtime environment for Cairo. All based on WebAssembly. By Caironautes, for Caironautes.
56 stars
2 watching
13 forks
Language: Rust
last commit: 2 months ago
Linked from 1 awesome list
Related projects:
Repository | Description | Stars |
---|---|---|
| An implementation of the Cairo VM in Rust for writing provable programs and generating STARK proofs for general computation. | 527 |
| Compiles Cairo's intermediate representation to machine code using MLIR and LLVM | 123 |
| A Rust-based language for creating provable programs with computational integrity | 1,630 |
| A collection of useful algorithms and data structures implemented in Cairo for use in software development. | 238 |
| An experimental web assembly backend for the Nim programming language | 48 |
| A Gradle plugin to easily compile WebAssembly (WASM) files into JVM bytecode. | 24 |
| A compiler for a new language designed to compile to WebAssembly with the goal of providing safer and more concise code than JavaScript. | 20 |
| Compiles WebAssembly into machine code for execution | 192 |
| An implementation of a programming language for writing provable programs in Go. | 57 |
| A Haskell toolkit for generating and interpreting WebAssembly code from Haskell source | 151 |
| Compiles WebAssembly to JVM bytecode and provides utilities for working with WASM code. | 637 |
| A toolchain for cross-compiling C and Haskell to WebAssembly | 141 |
| An implementation of the Forth programming language compiled to WebAssembly | 144 |
| A minimal functional programming language compiler target | 18 |
| A toolkit for compiling and utilizing WebAssembly binaries from source. | 60 |