A simple programming language for researching different ways of program execution and compilation
☆35Oct 1, 2024Updated 2 years ago
Alternatives and similar repositories for rush
Users that are interested in rush are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Various tools for EBNF grammars☆12Feb 6, 2023Updated 3 years ago
- A byte code specification and a JIT-compiler written in Assembly.☆15Jan 9, 2025Updated 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 last year
- ☆18Jun 30, 2024Updated 2 years ago
- ☆25Oct 5, 2023Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A small, statically typed, low-level programming language.☆25Sep 8, 2025Updated last year
- Modern and easy syntax highlighting using tree-sitter☆46Jun 11, 2026Updated 4 months ago
- High Performance SSZ Implementation☆14Jan 1, 2025Updated last year
- Rust wrapper for Otterscan, fast, local and privacy-friendly block explorer.☆24Jul 20, 2022Updated 4 years ago
- An all-in-one solution for proving that a beacon block is a predecessor of another beacon block.☆18Sep 10, 2024Updated 2 years ago
- A static site generator made with Gleam ✨☆12May 24, 2023Updated 3 years ago
- Ring Signature-like Protocol for Anonymous Ethereum Signatures☆10Nov 21, 2024Updated last year
- SSZ-compatible tree hash implementation optimised for speed and security☆23Sep 1, 2026Updated 2 months ago
- A fork of Tree Sitter with a pure Rust runtime for WASM support☆59Aug 22, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆19Jun 18, 2024Updated 2 years ago
- File globbing for Gleam☆12Dec 2, 2024Updated last year
- The first CHIP-8 zkvm☆21Jun 4, 2024Updated 2 years ago
- Deno.serve for Gleam ✨☆16Jan 10, 2024Updated 2 years ago
- TUI for tailing chain data☆11May 28, 2025Updated last year
- A set of tools for Coq written in Rust☆14Dec 4, 2017Updated 8 years ago
- Terminal User Interface to help debugging programs written for Triton VM.☆11May 11, 2026Updated 5 months ago
- toy implementation of bfv in rust☆27Apr 21, 2022Updated 4 years ago
- ☆22Dec 6, 2017Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Huff development plugin for Vim☆25Dec 31, 2022Updated 3 years ago
- Rust time library comparison - shootout to see which crate handles common tasks the best☆21Aug 18, 2025Updated last year
- Powerful and easy runtime type checking☆33Jun 23, 2026Updated 4 months ago
- Archived - Lisp-based DSL (Domain-Specific Language), designed to implement constraint systems in the context of zero-knowledge proof sys…☆21Dec 1, 2025Updated 11 months ago
- Mozak RISC-V Virtual Machine☆24Mar 24, 2025Updated last year
- openzepplin smart contracts written in rust for arbritum stylus☆12Apr 20, 2024Updated 2 years ago
- 👾 A Lisp interpreter in Gleam!☆52Mar 27, 2025Updated last year
- ☆17Jan 16, 2024Updated 2 years ago
- Abstractions for iterating and mapping over struct fields☆17Jan 15, 2026Updated 9 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- We're living in Obfustopia☆28Jan 2, 2025Updated last year
- ☆15Apr 7, 2026Updated 6 months ago
- An mdBook preprocessor to turn iced code blocks into interactive examples☆24Dec 7, 2025Updated 10 months ago
- Type Theory with Indexed Equality☆26Apr 7, 2017Updated 9 years ago
- Use borg and APFS snapshot to backup your Mac☆13Sep 18, 2019Updated 7 years ago
- A high-level API for interacting with SMT solvers.☆35Sep 29, 2026Updated last month
- ☆34Jan 26, 2025Updated last year