Tag
#compiler
115 repositories
Repos
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
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!
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Concrete: TFHE Compiler that converts python programs into FHE equivalent
⚡ Tact compiler for TON blockchain—build secure, efficient smart contracts with powerful tooling and seamless integration
A low-level assembly language for the Ethereum Virtual Machine built in blazing-fast pure rust.
cairo-vm is a Rust 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.
Blazingly fast, modular and contributor friendly Solidity compiler, written in Rust
Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact: @porcuquine)
Cingulata (pronounced "tchingulata") is a compiler toolchain and RTE for running C++ programs over encrypted data by means of fully homomorphic encryption techniques.
SOLL is a new compiler for generate Ewasm from solidity and yul. See a demo here: https://asciinema.org/a/ezJqNLicn5fya02zwu4VXIo8a
🎉TypeScript Execute (tsx): Dynamically compile TSX/TS file and execute it. The easiest way to run .tsx in Nodejs.
JIT and AOT compiler for the Ethereum Virtual Machine, built on Revm.
snapdragon is an extremely pluggable, powerful and easy-to-use parser-renderer factory.
Discover the easiest way to get started with the blend of Svelte and Electron JS App
Helios is a DSL for writing Cardano smart contracts. This library lets you compile Helios scripts and build Cardano transactions.
⚖️ Easily write and interact with Bitcoin Cash smart contracts
TVM Development Environment - Set up all the core Developer tools and work with TVM blockchains(Everscale, TON, Venom) from a single interface
A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private smart contracts.
A brand-new multi-scenarios smart contract compiler framework
ErgoScript compiler and ErgoTree Interpreter implementation for Ergo blockchain
Clarc compiles Clarity smart contracts into Ethereum virtual machine (EVM) bytecode.
The monorepo of YulDSL (a DSL for Solidity/Yul), YulDSL/Haskell (Embedding YulDSL in Haskel), and Yolc (a safe, expressive, fun language for Ethereum, powered by YulDSL/Haskell).
Rollup plugin for optimizing JavaScript with google-closure-compiler-js.
A proof of concept imperative language for writing Plutus Smart Contracts.
evm2near compiles Solidity contracts into NEAR WebAssembly contracts.
TVM linker takes TVM assembly source code of TVM smart contract, compiles it and links its parts, adds standard selector and runtime and stores it into binary TVC file
Lexers, tokenizers, parsers, compilers, renderers, stringifiers... What's the difference, and how do they work?
Tranquility is an in-development programming language intended to replace Solidity
A compiler that translates Move smart contracts to WASM to run on Arbitrum Stylus, enabling Move development in EVM-compatible environments. Built by Rather Labs.
🐉ZeroJava to zMIPS compiler for creation of Zero-Knowledge Proofs
A compiler developed using ANTLR in Java that translates Solidity smart contracts into mCRL2 models
🔥 COBOL on Solana - Because 1959 deserves to run on the blockchain. The world's most absurd compiler: Enterprise COBOL → Solana BPF. It actually works.
A sandbox environment for ZKsync Era Vyper compiler testing.
Compiling LLVM bytecode to run on top of the CairoVM and execute provably on Starknet
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.
Compile C to zkSNARKs using Pinocchio
A CONTRACT-ORIENTD, LANGUAGE WHOSE SYNTAX IZ SIMILAR 2 LOLCODE AN IT DESIGND 2 TARGET TEH ETHEREUM VIRTUAL MACHINE (EVM)
The mini-compiler that converts a JS-like 'add' function to EVM bytecode.