Zilliqa / scilla-rtlLinks
Execute Scilla code compiled by the Scilla -> LLVM compiler.
☆8Updated 2 years ago
Alternatives and similar repositories for scilla-rtl
Users that are interested in scilla-rtl are comparing it to the libraries listed below
Sorting:
- A cross-platform RISC-V interpreter that implements the RV32IMA instruction set.☆24Updated 2 years ago
- Book about Libra's Move language☆14Updated 4 years ago
- Zilliqa Blockchain Library☆14Updated 5 years ago
- CITA VM☆50Updated last year
- The WASMonkey magically turns exported WASM functions into imported functions.☆16Updated 2 years ago
- The Geode Programming Language☆16Updated 5 years ago
- A little experiment: compare the languages aimed to replace C☆55Updated 4 years ago
- General purpose thread safe GC.☆7Updated 5 years ago
- a secure channel for go-libp2p based on the Noise protocol framework☆33Updated 3 years ago
- a concurrent compiled programming language☆15Updated 2 years ago
- Slides about the Rust in the blockchain industry☆10Updated 2 years ago
- ☆8Updated 2 months ago
- An example mark-and-sweep garbage collector in 50 lines of C++☆54Updated 8 years ago
- ☆13Updated 2 years ago
- An async JSON-RPC 2.0 crate written in Rust.☆14Updated 2 years ago
- Use EVMC binding SSVM and host written in Rust☆15Updated 3 years ago
- Import & export of mutable globals☆17Updated 6 years ago
- ☆23Updated 2 years ago
- A programming language.☆12Updated 2 years ago
- Tasking 2.0☆16Updated 3 years ago
- Apache-2 licensed common Ethereum structs shared by crates☆21Updated 5 years ago
- Find Deadlocks in Rust with Petri-Net Model checking (Master Thesis)☆23Updated 5 years ago
- 🔫 Toy ML-like Imperative Programming Language (WIP)☆10Updated 4 years ago
- ☆26Updated 3 years ago
- ☆10Updated 3 years ago
- EVM Bytecode Super Optimizer☆36Updated 4 years ago
- Moved discussion notes to https://github.com/libp2p/notes☆21Updated 5 years ago
- [WIP] An embeddable high performance WebAssembly engine☆38Updated 3 years ago
- Example of the C API to embed the Wasmer runtime☆79Updated 3 years ago
- Documentation for Scilla☆17Updated 2 years ago