Deductive verification infrastructure for probabilistic programs
☆28Mar 15, 2026Updated this week
Alternatives and similar repositories for caesar
Users that are interested in caesar are comparing it to the libraries listed below
Sorting:
- A Modern Probabilistic Model Checker☆162Updated this week
- Dice Language Support for VS Code☆10Sep 29, 2020Updated 5 years ago
- A simple tutorial about how to use the CIL compiler frontend☆12Feb 10, 2025Updated last year
- The Charon tool for analyzing neural network robustness☆13Mar 19, 2020Updated 6 years ago
- Simple backup-application for automated website backups.☆12Sep 3, 2024Updated last year
- Web Framework accelerates the development process with its flexibility & speed of use. Written as a library in C language. You can custom…☆15Dec 30, 2025Updated 2 months ago
- The Termination Problem Database☆29Aug 20, 2025Updated 7 months ago
- ☆24Mar 11, 2026Updated last week
- Concurrent-C to Rust Automatic Translator☆15Jan 26, 2023Updated 3 years ago
- Damian Nadales's sandbox☆12Jun 15, 2023Updated 2 years ago
- Implementation of the model from "Faster sorting algorithms discovered using deep reinforcement learning" that discovered an all-new ult…☆11Aug 29, 2023Updated 2 years ago
- Mechanized baselines for various type system features☆18Updated this week
- Frama-C plugins for deadlock and data race detection☆14Feb 18, 2026Updated last month
- ☆13Sep 30, 2019Updated 6 years ago
- Vibe coding in emacs with amp☆20Jun 15, 2025Updated 9 months ago
- Performant and safe knowledge compilation in rust☆31Nov 16, 2025Updated 4 months ago
- This is a mirror of the main Bitbucket repository. Issue tracking is done on Bitbucket☆12Jun 29, 2022Updated 3 years ago
- A router IP written in Verilog.☆12Dec 20, 2019Updated 6 years ago
- Interface Xilinx XDMA PCIe with DDR3 using MIG-IP on Artix-7 FPGA using Nitefury dev board☆18Apr 13, 2022Updated 3 years ago
- ☆14Aug 2, 2023Updated 2 years ago
- Proposal for the next generation of course-oriented IR.☆10Dec 24, 2021Updated 4 years ago
- SCARIF is a tool to estimate the embodied carbon emissions of data center servers with accelerator hardware (GPUs, FPGAs, etc.)☆15Updated this week
- Various tools written or modified by me☆10Oct 26, 2025Updated 4 months ago
- spamassassin blocked-list to avoid traffic from predatory publishers☆20Mar 13, 2026Updated last week
- Implicit Data Markup☆13Jan 15, 2025Updated last year
- Glacier is a type annotation extension to Java that enforces transitive class immutability.☆14Nov 15, 2021Updated 4 years ago
- High-performance and modular quantum simulator in Java☆17Jun 12, 2023Updated 2 years ago
- Library to create Coq record update functions☆48Nov 25, 2025Updated 3 months ago
- ☆16Apr 15, 2025Updated 11 months ago
- ☆11Jan 17, 2023Updated 3 years ago
- Shielded Enclaves for Cloud FPGAs☆15Nov 24, 2021Updated 4 years ago
- ☆14Aug 17, 2024Updated last year
- ☆15Oct 21, 2020Updated 5 years ago
- Dissectible data structures for implementing iterative traversals.☆20May 6, 2022Updated 3 years ago
- ☆11May 19, 2022Updated 3 years ago
- A hardware accelerated IP packet forwarder running on programmable ICs☆15Jan 21, 2023Updated 3 years ago
- Actor model implemented in OCaml - early alpha☆10Jun 5, 2020Updated 5 years ago
- Web version of the MiniDecaf compiler.☆13Sep 17, 2020Updated 5 years ago
- ☆11May 10, 2022Updated 3 years ago