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: almost 2 years agoLinked 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 |