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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A practical fuzzing tool for SMT solvers☆11Nov 26, 2025Updated 4 months ago
- A python layer to interface with several SMTLIBv2 enabled SMT solvers☆16Apr 22, 2015Updated 10 years ago
- A fuzzer for SMT solvers☆21Aug 22, 2025Updated 7 months ago
- Towards Hardware and Software Continuous Integration☆13Jun 8, 2020Updated 5 years ago
- ☆25Mar 5, 2026Updated 3 weeks ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Linearizability Hoare Logic☆17Feb 9, 2026Updated last month
- ☆12Jun 19, 2025Updated 9 months ago
- WASMaker, a novel differential testing framework that can generate complicated Wasm test cases by disassembling and assembling real-world…☆17Jul 27, 2024Updated last year
- (AAAI 2026) OSVBench, a new benchmark for evaluating Large Language Models (LLMs) in generating complete specification code pertaining to…☆13May 13, 2025Updated 10 months ago
- Deductive verification infrastructure for probabilistic programs☆28Mar 19, 2026Updated last week
- spamassassin blocked-list to avoid traffic from predatory publishers☆20Mar 13, 2026Updated 2 weeks ago
- LLM-based approach to find regression bugs. It checks the behavioral changes introduced by a pull request against its title, description,…☆15Mar 12, 2026Updated 2 weeks ago
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆26Apr 21, 2023Updated 2 years ago
- ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators (ASPLOS 2023)☆57Jan 23, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- ☆11Mar 22, 2022Updated 4 years ago
- Key-Value based in-memory cache library which supports Custom Expiration Policies☆22Apr 15, 2025Updated 11 months ago
- Safe atomic Box types for Rust☆25Jan 13, 2023Updated 3 years ago
- A study of undefined behavior across foreign function boundaries in Rust libraries.☆11Feb 13, 2025Updated last year
- The goal of this repo is to become a benchmark for pentesting☆22Oct 25, 2024Updated last year
- ANTLR SMT-LIB v2 Grammar☆24Dec 23, 2021Updated 4 years ago
- Access unicode character database☆18Sep 16, 2025Updated 6 months ago
- ☆17Mar 26, 2025Updated last year
- Lenses in Coq☆17Oct 7, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- A Rust compiler backend focused on compilation speed.☆16Sep 8, 2022Updated 3 years ago
- Foundational Verification of Hybrid Systems☆15Mar 23, 2017Updated 9 years ago
- ☆10Nov 20, 2023Updated 2 years ago
- A formalization of the theory behind the mugen library☆19Jun 24, 2024Updated last year
- Duet: static analysis for unbounded concurrency☆30Feb 6, 2026Updated last month
- Lossless Image Format DICI - Dictionary Index for Compressed Image☆16Jun 5, 2025Updated 9 months ago
- Synthesis API Refactor☆12May 17, 2022Updated 3 years ago
- 📝 A Rocq library written by members of PnV Discord Server☆19Mar 20, 2026Updated last week
- HazardFlow: Modular Hardware Design of Pipelined Circuits with Hazards IMPORTANT: DON'T FORK!☆21Dec 5, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- 하스켈 모임 웹사이트 소스 코드☆16Dec 8, 2021Updated 4 years ago
- Signed distance field library usable on both CPU and GPU.☆15Feb 17, 2026Updated last month
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆34Dec 16, 2021Updated 4 years ago
- ☆16Jul 24, 2024Updated last year
- ☆13Jun 3, 2022Updated 3 years ago
- The Candle theorem prover (fork of the HOL Light sources)☆18Updated this week
- A gpu accelerated neural network Rust crate.☆15Apr 17, 2023Updated 2 years ago