A simple programming language for researching different ways of program execution and compilation
☆34Oct 1, 2024Updated last year
Alternatives and similar repositories for rush
Users that are interested in rush are comparing it to the libraries listed below
Sorting:
- Various tools for EBNF grammars☆11Feb 6, 2023Updated 3 years ago
- ☆18Jun 30, 2024Updated last year
- This is a telegram bot written in go that allows you to record the current length of the Griebnitzsee mensa queue.☆10Jun 1, 2025Updated 9 months ago
- High Performance SSZ Implementation☆14Jan 1, 2025Updated last year
- The official programming language of the Hasso Plattner Institute.☆13Oct 23, 2025Updated 4 months ago
- RAILGUN Circuits V2☆24Sep 26, 2025Updated 5 months ago
- openzepplin smart contracts written in rust for arbritum stylus☆13Apr 20, 2024Updated last year
- An all-in-one solution for proving that a beacon block is a predecessor of another beacon block.☆17Sep 10, 2024Updated last year
- ☆19Jan 22, 2026Updated last month
- ☆21Dec 1, 2025Updated 3 months ago
- Modern and easy syntax highlighting using tree-sitter☆44Jun 19, 2025Updated 8 months ago
- Frontend Swift web framework☆19Jul 15, 2024Updated last year
- An Ethereum validator crawler☆16Jan 14, 2026Updated last month
- A newtype wrapper that causes Debug impls to skip a field.☆20Jan 7, 2023Updated 3 years ago
- Rust wrapper for Otterscan, fast, local and privacy-friendly block explorer.☆24Jul 20, 2022Updated 3 years ago
- Browser-based Remote Attestation to TDX☆18Feb 7, 2025Updated last year
- ☆19Jun 18, 2024Updated last year
- Easily update all Mason packages with one command☆22Jul 18, 2025Updated 7 months ago
- Proof of concept trade simulation using state overrides☆23Sep 8, 2022Updated 3 years ago
- SSZ-compatible tree hash implementation optimised for speed and security☆23Feb 5, 2026Updated 3 weeks ago
- Read dex state (e.g. Uniswap) from reth db☆30Oct 20, 2024Updated last year
- The first CHIP-8 zkvm☆21Jun 4, 2024Updated last year
- Tree sitter parser for LLVM☆23Dec 14, 2025Updated 2 months ago
- toy implementation of bfv in rust☆27Apr 21, 2022Updated 3 years ago
- Mozak RISC-V Virtual Machine☆25Mar 24, 2025Updated 11 months ago
- Huff development plugin for Vim☆26Dec 31, 2022Updated 3 years ago
- Rust time library comparison - shootout to see which crate handles common tasks the best☆21Aug 18, 2025Updated 6 months ago
- ☆15Oct 17, 2024Updated last year
- ☆23Dec 6, 2017Updated 8 years ago
- Ethereum development made easy. Rust-powered toolkit for devs that inhabit the EVM.☆33May 27, 2024Updated last year
- Type Theory with Indexed Equality☆26Apr 7, 2017Updated 8 years ago
- Executable formal model of the EVM and Yul in Lean 4.☆65Nov 19, 2025Updated 3 months ago
- Macros + Primitives for PADE format☆29Jul 26, 2025Updated 7 months ago
- Parallel EVM inspired by BlockSTM☆38Updated this week
- Convert images to ascii text.☆24Sep 13, 2023Updated 2 years ago
- A small proof assistant written in Rust. Read-only mirror of https://gitlab.crans.org/loutr/proost.☆31Jan 20, 2026Updated last month
- Template repository for a CG proposal or work item.☆17Aug 30, 2024Updated last year
- Efficient nibble-sized (4-bit) byte sequence data structure☆37Feb 11, 2026Updated 2 weeks ago
- We're living in Obfustopia☆27Jan 2, 2025Updated last year