JonasAlaif / russol-alphaView external linksLinks
A tool for synthesis of Rust code, very early prototype
☆13Jan 9, 2024Updated 2 years ago
Alternatives and similar repositories for russol-alpha
Users that are interested in russol-alpha are comparing it to the libraries listed below
Sorting:
- ☆15Jan 31, 2026Updated 2 weeks ago
- The standard for an L2 block explorer API☆11Jul 19, 2023Updated 2 years ago
- Rustdoc's JSON output interface☆38Dec 16, 2025Updated last month
- Verifying the SCION architecture using Gobra☆11Jan 25, 2026Updated 3 weeks ago
- ☆11May 19, 2022Updated 3 years ago
- source files for GloBI website☆10Feb 8, 2026Updated last week
- smart contracts deployed on Ethereum, one per skeleton☆11Mar 10, 2024Updated last year
- Awesome LLM for Cybersecurity☆11Nov 16, 2024Updated last year
- A simple bridge into games that use N64-style controller input☆11May 9, 2020Updated 5 years ago
- Use cases for ShadeMap API☆12Jun 10, 2024Updated last year
- The H3 Compressor: A compression scheme tailored for H3 cell indexes.☆16Mar 25, 2024Updated last year
- A crates.io custom registry API receiver impl & Git backend controller.☆12Nov 13, 2020Updated 5 years ago
- An automatic recursive function transformer.☆10Aug 12, 2023Updated 2 years ago
- Common react components used by fusion core and fusion apps https://equinor.github.io/fusion-components☆13Feb 12, 2025Updated last year
- General purpose discrete event simulator written in rust☆11Dec 11, 2017Updated 8 years ago
- A common data structures for Inter-Blockchain Communication (IBC) messages that can be reused by different implementations or tools☆14Apr 9, 2025Updated 10 months ago
- native Rust implementation of Kafka protocol and api☆14Jun 13, 2023Updated 2 years ago
- create iterators from generators☆11Oct 27, 2023Updated 2 years ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Jun 14, 2023Updated 2 years ago
- MonoX被攻击事件的分析和复现☆10Dec 2, 2021Updated 4 years ago
- H3 Compression Algorithms: compression schemes tailored for H3 cell indexes.☆15Aug 20, 2025Updated 5 months ago
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆127Updated this week
- Protobufs for functional programming☆11May 19, 2025Updated 8 months ago
- Love your errors☆14Oct 6, 2021Updated 4 years ago
- Generic Input Method for VSCode, mainly focusing on Unicode Symbol input for Theorem Provers, and YaTeX-like image completion for LaTeX☆11Jul 19, 2023Updated 2 years ago
- Slabcraft for crabs☆12Dec 31, 2025Updated last month
- A drop in replacement for serde_json where detailed errors are the default☆13Jun 14, 2025Updated 8 months ago
- Reaction training game for Super Smash Bros. Melee☆13Dec 7, 2022Updated 3 years ago
- ☆12Dec 3, 2025Updated 2 months ago
- Godot Editor plugin that provides a solar system simulation.☆19Updated this week
- ERC-4337 (Account Abstraction)☆11Aug 5, 2023Updated 2 years ago
- Anyswap aka Multichain V4Router 攻击事件的分析和复现☆11Feb 15, 2022Updated 4 years ago
- A set of tools for use with the huff language.☆21Jun 24, 2022Updated 3 years ago
- A parser AWDL action and data frames.☆18Jun 21, 2025Updated 7 months ago
- Count Min Sketch implementation for Rust☆14Updated this week
- A toolkit to develop distributed systems☆14Nov 20, 2022Updated 3 years ago
- A not so succinct comparison (with numbers) between zkVMs (Q4 2024 edition)☆17Nov 7, 2024Updated last year
- A curated list of blockchain resources for embedded developers☆13Nov 29, 2021Updated 4 years ago
- Utilities to work with dyn [Async]Fn*☆18Dec 20, 2025Updated last month