Tag
#interpreter
25 repositories
Repos
Red is a next-generation programming language strongly inspired by Rebol, but with a broader field of usage thanks to its native-code compiler, from system programming to high-level scripting and cross-platform reactive GUI, while providing modern support for concurrency, all in a zero-install, zero-config, single ~1MB file!
Gno: An interpreted, stack-based Go virtual machine to build succinct and composable apps + gno.land: a blockchain for timeless code and fair open-source.
Fizzy aims to be a fast, deterministic, and pedantic WebAssembly interpreter written in C++.
AquaVM interprets AIR – a π-calculus-derived set of instructions that the Aqua language compiles to
A library to transform any EVM transaction into a human-readable format
ErgoScript compiler and ErgoTree Interpreter implementation for Ergo blockchain
[DEPRECATED] On-chain interpreter for WebAssembly written in Solidity
Haskell port of the WebAssembly OCaml reference interpreter
Fork of WebAssembly reference interpreter with support for generating proofs needed for blockchain verification
Tranquility is an in-development programming language intended to replace Solidity
[DEPRECATED-the currently maintained repo is https://github.com/TrueBitFoundation/ocaml-offchain]. off-chain WASM interpreter with support for generating merkle proofs of the internal state of the machine.
Powder is my attempt to program a scripting language that compiles down to byte codes that are interpreted and executed by a virtual machine. The language itself is a cross between C and Python, with a few unique syntax features.
YulTracer is a game-semantics-based bounded safety (assertion) checker for Yul written in OCaml and compiled using the Dune build system.
Smart contract interpreter using DSL more user friendly and simplier
Solisp - A LISP dialect for Solana blockchain automation, scripting, and sBPF compilation
Rust-based NeuroChain DSL for Stellar: local ONNX intent -> typed ActionPlans with allowlist, contract policy, intent safety, and x402-lite guardrails before simulate/submit.