Starred repositories
An opcode-oriented language that compiles to the EVM
nilehmann / zed-lalrpop
Forked from huacnlee/zed-lalrpopLALRPOP parser grammar support for Zed.
Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
Pint, the constraint-based programming language for declarative blockchains
the petr programming language -- Programmable Effects TRacking
Learn to write Rust procedural macros [Rust Latam conference, Montevideo Uruguay, March 2019]
A high-performance, zero-overhead, extensible Python compiler with built-in NumPy support
Setup Git hooks automatically for cargo projects with 🐶
A modern and readable Doom source port written in Rust, designed for clarity and maintainability.
nihalpasham / pliron
Forked from vaivaswatha/plironProgramming Languages Intermediate Representation
Validate and execute GitHub Actions workflows locally.
A native non-web embedding of WebAssembly for Windows/Linux