kaist-plrg / concratView external linksLinks
Concurrent-C to Rust Automatic Translator
☆15Jan 26, 2023Updated 3 years ago
Alternatives and similar repositories for concrat
Users that are interested in concrat are comparing it to the libraries listed below
Sorting:
- Ownership analysis that helps translating C to Rust☆31Nov 25, 2025Updated 2 months ago
- Lossless Image Format DICI - Dictionary Index for Compressed Image☆16Jun 5, 2025Updated 8 months ago
- The repository of Pentest-R1: Towards Autonomous Penetration Testing Reasoning Optimized via Two-Stage Reinforcement Learning.☆26Sep 8, 2025Updated 5 months ago
- Chrome Extension for visualizing browsing history☆11Sep 6, 2023Updated 2 years ago
- ☆22Feb 8, 2026Updated last week
- Do notation in Python.☆10Feb 22, 2021Updated 4 years ago
- LLM-based approach to find regression bugs. It checks the behavioral changes introduced by a pull request against its title, description,…☆14Jan 12, 2026Updated last month
- A gpu accelerated neural network Rust crate.☆15Apr 17, 2023Updated 2 years ago
- handle gguf files☆12Aug 14, 2025Updated 6 months ago
- Python3 to C++11 transpiler written in C++☆13Dec 28, 2017Updated 8 years ago
- Towards Hardware and Software Continuous Integration☆13Jun 8, 2020Updated 5 years ago
- New Ultra Fast Lossless Image Codec☆17May 24, 2024Updated last year
- Client-Server protocol used by BAR☆18Updated this week
- Native Rust implementation of the FST waveform format from GTKWave.☆13Jan 20, 2026Updated 3 weeks ago
- Linearizability Hoare Logic☆17Feb 9, 2026Updated last week
- Trigger actions when certain keys are pressed☆14Jan 12, 2026Updated last month
- Signed distance field library usable on both CPU and GPU.☆15Apr 29, 2023Updated 2 years ago
- A study of undefined behavior across foreign function boundaries in Rust libraries.☆11Feb 13, 2025Updated last year
- ☆11Mar 22, 2022Updated 3 years ago
- ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators (ASPLOS 2023)☆57Jan 23, 2025Updated last year
- A Rust Linter with Decoupled Rule Definition and Detection Logic.☆17Feb 4, 2026Updated last week
- 📚 (WIP) Formal proofs of "An Infinitely Large Napkin"☆20Updated this week
- ☆13Jun 3, 2022Updated 3 years ago
- ☆10Nov 20, 2023Updated 2 years ago
- 📝 A Rocq library written by members of PnV Discord Server☆18Feb 9, 2026Updated last week
- Tutorial for refinement based verification☆15Jan 16, 2026Updated last month
- YAPB: Yet Another Parser Builder (A Programmable LALR(1) Parser Builder in Haskell)☆16Jun 3, 2025Updated 8 months ago
- ☆15Aug 3, 2025Updated 6 months ago
- 수학 증명언어 Agda 입문☆12May 2, 2023Updated 2 years ago
- This is the official implementation of paper "Evaluate and Improve the Quality of Neural Style Transfer" (CVIU 2021))☆11Feb 14, 2022Updated 4 years ago
- The Candle theorem prover (fork of the HOL Light sources)☆18Updated this week
- An example Android app showing two-way communication bridge with Rust backed by Tokio.rs☆16May 26, 2020Updated 5 years ago
- Generation of sequential and concurrent unit tests to find correctness and performance problems in Java classes☆16Jul 20, 2019Updated 6 years ago
- Foundational Verification of Hybrid Systems☆15Mar 23, 2017Updated 8 years ago
- Runs interdependent logic concurrently, starting each function when predecessors have completed☆21Apr 17, 2025Updated 9 months ago
- ☆15Jul 24, 2024Updated last year
- Access unicode character database☆18Sep 16, 2025Updated 5 months ago
- ☆14Feb 26, 2024Updated last year
- ☆17Mar 28, 2023Updated 2 years ago