Deductive verification infrastructure for probabilistic programs
☆28Jan 22, 2026Updated last month
Alternatives and similar repositories for caesar
Users that are interested in caesar are comparing it to the libraries listed below
Sorting:
- 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
- Probabilistic separation logics for verifying higher-order probabilistic programs.☆35Updated this week
- Fast Minimal Sparse set for Odin Language☆18Feb 17, 2026Updated last week
- Dice Language Support for VS Code☆10Sep 29, 2020Updated 5 years ago
- BlipMQ simplifies real-time communication between microservices and distributed systems with a lightweight, blazing-fast broker that just…☆21Feb 3, 2026Updated 3 weeks ago
- The official engine source code for Project ORKA☆10Nov 25, 2024Updated last year
- The standard for an L2 block explorer API☆11Jul 19, 2023Updated 2 years ago
- Sift client libraries and protocol buffers☆17Updated this week
- Various tools written or modified by me☆10Oct 26, 2025Updated 4 months ago
- PAKCS: The Portland Aachen Kiel Curry system☆14Feb 22, 2026Updated last week
- smart contracts deployed on Ethereum, one per skeleton☆11Mar 10, 2024Updated last year
- ☆11May 10, 2022Updated 3 years ago
- ☆17Jan 3, 2025Updated last year
- Python scripts that provide an interface to work with classical propositional and first-order logic, based on my solutions to the textboo…☆15Oct 2, 2025Updated 4 months ago
- Powerful, developer-experience centric, blazingly fast and extensible job scheduler and workflow orchestration platform☆25Updated this week
- An automatic recursive function transformer.☆10Aug 12, 2023Updated 2 years ago
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 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
- VelesDB is a local‑first AI data engine written in Rust that unifies vectors, full‑text and graph in a single file with a familiar SQL‑li…☆26Updated this week
- MonoX被攻击事件的分析和复现☆10Dec 2, 2021Updated 4 years ago
- Automatic instrumentation/tracing for javascript.☆12Jan 7, 2023Updated 3 years ago
- ☆11Jan 17, 2023Updated 3 years ago
- An implementation of the multi-paradigm declarative language Curry which compiles Curry programs into Haskell programs☆20Feb 22, 2026Updated last week
- Ray tracing on the Ethereum Virtual Machine☆12May 5, 2021Updated 4 years ago
- Mechanized baselines for various type system features☆18Updated this week
- Source code of phaazon.net.☆11Sep 17, 2024Updated last year
- Proposal for the next generation of course-oriented IR.☆10Dec 24, 2021Updated 4 years ago
- Tracking babel development☆23Sep 1, 2011Updated 14 years ago
- Rusnel is a fast tcp/udp tunnel over QUIC☆12Jan 18, 2025Updated last year
- The Val Programming Language☆11Sep 28, 2021Updated 4 years ago
- Did My Code Execute - C/C++ source code level tracer☆22Apr 9, 2025Updated 10 months ago
- Boolean Constraint Solving in Prolog☆48Dec 8, 2024Updated last year
- Deep clone GameMaker class instances / constructed structs, anonymous structs and arrays nested in any order!☆12Mar 18, 2023Updated 2 years ago
- (de)sert is a Lua table (de)serialiser for the Defold game engine☆14Mar 11, 2019Updated 6 years ago
- ERC-4337 (Account Abstraction)☆11Aug 5, 2023Updated 2 years ago
- 在线图书借阅系统 - 2017 THU OOP课大作业☆13Jul 1, 2018Updated 7 years ago
- The Charon tool for analyzing neural network robustness☆13Mar 19, 2020Updated 5 years ago
- Completed codelabs from the gRPC project.☆12Oct 28, 2025Updated 4 months ago
- ☆12Oct 31, 2024Updated last year