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
- ☆11May 10, 2022Updated 3 years ago
- Verifying the SCION architecture using Gobra☆11Feb 28, 2026Updated last week
- A parser for PTX 6.5☆13Jun 19, 2023Updated 2 years ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Jun 14, 2023Updated 2 years ago
- Examples and support libraries for the amdgpu Rust target☆17Dec 4, 2025Updated 3 months ago
- This repository contains research papers & studies that I have worked on or am currently working on.☆12Jan 29, 2026Updated last month
- A simple bridge into games that use N64-style controller input☆11May 9, 2020Updated 5 years ago
- General purpose discrete event simulator written in rust☆11Dec 11, 2017Updated 8 years ago
- Apache OFBiz Graph QL integration☆10Jul 16, 2020Updated 5 years ago
- MonoX被攻击事件的分析和复现☆10Dec 2, 2021Updated 4 years ago
- Syng: A syntactic approach to concurrent separation logic with propositional ghost state, fully mechanized in Agda☆12Nov 18, 2022Updated 3 years ago
- The H3 Compressor: A compression scheme tailored for H3 cell indexes.☆16Mar 25, 2024Updated last year
- create iterators from generators☆11Oct 27, 2023Updated 2 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
- Ray tracing on the Ethereum Virtual Machine☆12May 5, 2021Updated 4 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
- 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
- A basic repository for a Clang-based tool, with CMake integration.☆10Sep 22, 2023Updated 2 years ago
- buck2 oci rules☆11Nov 20, 2024Updated last year
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆129Updated this week
- ☆14May 27, 2025Updated 9 months ago
- Godot Editor plugin that provides a solar system simulation.☆20Feb 9, 2026Updated 3 weeks 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
- Latex preprocessor — apply macro definitions, remove comments, and more☆15Aug 8, 2025Updated 7 months ago
- Love your errors☆14Oct 6, 2021Updated 4 years ago
- A set of tools for use with the huff language.☆21Jun 24, 2022Updated 3 years ago
- 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
- Anyswap aka Multichain V4Router 攻击事件的分析和复现☆11Feb 15, 2022Updated 4 years ago
- Capability-based verifier for safe Rust clients of interior mutability☆15Jul 18, 2024Updated last year
- ☆11Mar 25, 2019Updated 6 years ago
- Model for provider-neutral financial data, with implementation for IEX☆14Jul 30, 2019Updated 6 years ago
- A Python interface to perform wave analysis from satellite altimeter data☆13Mar 10, 2025Updated 11 months ago
- Solythesis: Securing Smart Contract with Runtime Validation☆12Mar 3, 2023Updated 3 years ago
- Count Min Sketch implementation for Rust☆14Feb 9, 2026Updated 3 weeks ago