A tool for synthesis of Rust code, very early prototype
☆14Jan 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:
- ☆17Jan 31, 2026Updated last month
- The standard for an L2 block explorer API☆11Jul 19, 2023Updated 2 years ago
- Rustdoc's JSON output interface☆38Updated this week
- ☆11May 10, 2022Updated 3 years ago
- Verifying the SCION architecture using Gobra☆11Feb 28, 2026Updated last week
- ☆11May 19, 2022Updated 3 years ago
- A parser for PTX 6.5☆13Jun 19, 2023Updated 2 years ago
- smart contracts deployed on Ethereum, one per skeleton☆11Mar 10, 2024Updated last year
- Compatibility between VersionReq from semver and VersionSet from pubgrub☆11Jan 8, 2025Updated last year
- An automatic recursive function transformer.☆10Aug 12, 2023Updated 2 years ago
- This repository contains research papers & studies that I have worked on or am currently working on.☆12Jan 29, 2026Updated last month
- The H3 Compressor: A compression scheme tailored for H3 cell indexes.☆16Mar 25, 2024Updated last year
- Examples and support libraries for the amdgpu Rust target☆17Dec 4, 2025Updated 3 months ago
- Async test/bench toolkit including single stepping executors. No-std compatible.☆14Sep 19, 2021Updated 4 years ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Jun 14, 2023Updated 2 years ago
- Apache OFBiz Graph QL integration☆10Jul 16, 2020Updated 5 years ago
- buck2 oci rules☆11Nov 20, 2024Updated last year
- Ray tracing on the Ethereum Virtual Machine☆12May 5, 2021Updated 4 years ago
- A basic repository for a Clang-based tool, with CMake integration.☆10Sep 22, 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
- A simple bridge into games that use N64-style controller input☆11May 9, 2020Updated 5 years ago
- MonoX被攻击事件的分析和复现☆10Dec 2, 2021Updated 4 years ago
- A simple socket.io nodejs multiplayer tic tac toe game.☆10Oct 24, 2018Updated 7 years ago
- This crate includes a low level implementation of the PMTiles format based on the standard Read and Write trait.☆15Apr 11, 2025Updated 10 months ago
- General purpose discrete event simulator written in rust☆11Dec 11, 2017Updated 8 years ago
- Rust port of the streaming ddelta patch algorithm, based on bsdiff☆12May 2, 2024Updated last year
- 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
- A crates.io custom registry API receiver impl & Git backend controller.☆12Nov 13, 2020Updated 5 years ago
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆127Updated this week
- ☆14May 27, 2025Updated 9 months ago
- Arbitrage program demo using web3js lib to implement interaction with dex which is running on smartbch chain like Benswap, Mistswap, etc.☆10Jan 6, 2025Updated last year
- A drop in replacement for serde_json where detailed errors are the default☆13Jun 14, 2025Updated 8 months 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
- Reaction training game for Super Smash Bros. Melee☆13Dec 7, 2022Updated 3 years ago
- Protobufs for functional programming☆11May 19, 2025Updated 9 months ago
- ☆12Dec 3, 2025Updated 3 months ago
- Godot Editor plugin that provides a solar system simulation.☆20Feb 9, 2026Updated 3 weeks ago
- A set of tools for use with the huff language.☆21Jun 24, 2022Updated 3 years ago
- Anyswap aka Multichain V4Router 攻击事件的分析和复现☆11Feb 15, 2022Updated 4 years ago