Deductive verification infrastructure for probabilistic programs
☆28Mar 31, 2026Updated last week
Alternatives and similar repositories for caesar
Users that are interested in caesar 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 Modern Probabilistic Model Checker☆165Updated this week
- 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 3 months ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- The Termination Problem Database☆29Aug 20, 2025Updated 7 months ago
- Damian Nadales's sandbox☆12Jun 15, 2023Updated 2 years ago
- Pytorch code for Sampling in Combinatorial Spaces with SurVAE Flow Augmented MCMC☆11Mar 1, 2021Updated 5 years ago
- Fast Minimal Sparse set for Odin Language☆19Mar 16, 2026Updated 3 weeks ago
- Mechanized baselines for various type system features☆18Apr 3, 2026Updated last week
- Implementation of the Delta Language☆13Mar 18, 2024Updated 2 years ago
- ☆13Sep 30, 2019Updated 6 years ago
- Performant and safe knowledge compilation in rust☆31Apr 3, 2026Updated last week
- This is a mirror of the main Bitbucket repository. Issue tracking is done on Bitbucket☆12Jun 29, 2022Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A router IP written in Verilog.☆12Dec 20, 2019Updated 6 years ago
- Proposal for the next generation of course-oriented IR.☆10Dec 24, 2021Updated 4 years ago
- Various tools written or modified by me☆10Oct 26, 2025Updated 5 months ago
- 在线图书借阅系统 - 2017 THU OOP课大作业☆13Jul 1, 2018Updated 7 years ago
- 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
- Stack-safe recursion schemes on dissectible data structures.☆13May 6, 2022Updated 3 years ago
- Small and simple actor model implementation.☆10Mar 7, 2026Updated last month
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A chat app for iOS that never connects to a server☆20Apr 20, 2023Updated 2 years ago
- Entry to model counting competition 2021.☆25Jun 25, 2024Updated last year
- ☆11Jan 17, 2023Updated 3 years ago
- ☆15Oct 21, 2020Updated 5 years ago
- Dissectible data structures for implementing iterative traversals.☆20May 6, 2022Updated 3 years ago
- ☆22Mar 12, 2026Updated 3 weeks ago
- A hardware accelerated IP packet forwarder running on programmable ICs☆15Jan 21, 2023Updated 3 years ago
- Ray tracing on the Ethereum Virtual Machine☆12May 5, 2021Updated 4 years ago
- A mechanized proof of type safety for Featherweight Java using Coq☆16Aug 4, 2018Updated 7 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Web version of the MiniDecaf compiler.☆13Sep 17, 2020Updated 5 years ago
- ☆11May 10, 2022Updated 3 years ago
- Stein Variational Gradient Descent with Matrix-Valued Kernels☆13Dec 4, 2019Updated 6 years ago
- Duet: static analysis for unbounded concurrency☆30Feb 6, 2026Updated 2 months ago
- Source code of phaazon.net.☆11Sep 17, 2024Updated last year
- A LaTeX template for academic posters with Tsinghua University logo☆14Nov 18, 2022Updated 3 years ago
- A set of tools for use with the huff language.☆21Jun 24, 2022Updated 3 years ago