Useful tools for developing on Ethereum powered by Ethrex
☆18Feb 6, 2026Updated 3 weeks ago
Alternatives and similar repositories for rex
Users that are interested in rex are comparing it to the libraries listed below
Sorting:
- 🧉 Mate Queue Organizer GUI☆11Mar 25, 2025Updated 11 months ago
- A Rust library for decoupling concurrency from application logic, following the model used by Erlang and the BEAM VM☆27Updated this week
- A minimalist and fast Lean Consensus client by LambdaClass, bringing expertise in distributed systems and blockchain infrastructure to de…☆69Updated this week
- ☆11Oct 10, 2023Updated 2 years ago
- Multiplayer 2D physics engine, matchmaking, market and leaderboard for 2D and 3D Games☆73May 14, 2025Updated 9 months ago
- EigenLayer Rust Developer Tooling☆93Feb 20, 2026Updated last week
- BN254 Pairing Implementation in Noir☆23Aug 23, 2023Updated 2 years ago
- Minimalist, stable, modular, fast, and ZK native implementation of the Ethereum protocol in Rust. L1 and L2 execution client.☆849Updated this week
- Concrete is a simple programming language specifically crafted for creating highly scalable systems that are reliable, efficient, and eas…☆318Jul 20, 2025Updated 7 months ago
- Notebooks de las clases del curso de ciencia de datos brindado por el MLI para estudiantes de la facultad de ingeniería de la Universidad…☆10Dec 1, 2021Updated 4 years ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 7 years ago
- Universal Registry Contract☆14Oct 15, 2025Updated 4 months ago
- ERC20 Token Streaming Protocol☆17Feb 7, 2023Updated 3 years ago
- MCP Test Client is a TypeScript testing utility for Model Context Protocol (MCP) servers.☆13Jan 2, 2025Updated last year
- Translation from FOL to LTL+Past and LTL, via separation of LTL+Past☆10May 22, 2024Updated last year
- curated list of trust regisry systems, vendors, and ecoystems☆14Jun 26, 2025Updated 8 months ago
- Scripts, test vectors, and other things used by or across multiple repositories in the rust-bitcoin ecosystem.☆12Feb 20, 2026Updated last week
- Comparing Different Stochastic Gradien Descent implementations in Haskell against Python☆10Jul 25, 2016Updated 9 years ago
- An experimental interactive shell for Alpaca, the ML language that runs on the Erlang VM☆10Jun 7, 2017Updated 8 years ago
- Fixes for the function keys sticking on the Framework Laptop☆12Jul 9, 2022Updated 3 years ago
- Add Cross-Origin Resource Sharing (CORS) headers for Grails 3 applications.☆10Oct 31, 2016Updated 9 years ago
- An attempt to formalize unix cat in fiat☆11May 28, 2017Updated 8 years ago
- Monitor web pages and get notified when a page has changed☆12Dec 2, 2022Updated 3 years ago
- Sudoku in the Browser☆11Jun 11, 2025Updated 8 months ago
- Automatically fix Nix/NixOS error `SQLite statement 'delete from ValidPaths where path = *;': constraint failed`☆13Mar 17, 2025Updated 11 months ago
- ☆10Sep 5, 2023Updated 2 years ago
- ☆15Feb 1, 2026Updated last month
- R implementation for the PROCESS macro☆12Dec 2, 2020Updated 5 years ago
- Fourmolu GitHub Action☆13Oct 25, 2024Updated last year
- ☆15Aug 27, 2018Updated 7 years ago
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 5 years ago
- Record and play the results of monadic actions☆13Mar 18, 2018Updated 7 years ago
- Exámenes de programación funcional con Haskell☆10Jun 18, 2023Updated 2 years ago
- Practical implementation of the BitVM2 protocol☆14Dec 24, 2024Updated last year
- Bindings to Instagram's API☆11Feb 19, 2018Updated 8 years ago
- Erlang source code parser written in Rust☆10Oct 15, 2021Updated 4 years ago
- ☆12Feb 11, 2019Updated 7 years ago
- blog.mattbierner.com☆10Jul 4, 2024Updated last year
- Runtime compilation and invocation of C.☆10Mar 25, 2019Updated 6 years ago