DavisPL / PCCCView external linksLinks
Proof-carrying code completions in Dafny
☆11Apr 4, 2025Updated 10 months ago
Alternatives and similar repositories for PCCC
Users that are interested in PCCC are comparing it to the libraries listed below
Sorting:
- ☆13Jul 24, 2021Updated 4 years ago
- ☆14Jun 11, 2025Updated 8 months ago
- Yet another Rust MIR analysis tool☆15Aug 22, 2025Updated 5 months ago
- CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning☆37Dec 18, 2025Updated last month
- DafnyBench: A Benchmark for Formal Software Verification☆58Dec 12, 2024Updated last year
- Rust library for program synthesis of string transformations from input-output examples 🔮☆28Feb 1, 2025Updated last year
- Arduino sketch to control Autotrickler Hardware for powder trickling☆11Jul 15, 2023Updated 2 years ago
- Library of Raft consensus algorithm implemented in OCaml☆31Aug 18, 2023Updated 2 years ago
- Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework…☆39Apr 9, 2023Updated 2 years ago
- Clover: Closed-Loop Verifiable Code Generation☆42May 12, 2025Updated 9 months ago
- Python apps to assist with Gas Blending☆12Feb 28, 2023Updated 2 years ago
- This repository contains configuration for Klipper-Klipper screen and neopixel for FLSUN Super Racer with the necessary scripts and macro…☆13Sep 5, 2022Updated 3 years ago
- pyCEPS provides an interface to import, visualize and translate clinical mapping data☆14Nov 25, 2025Updated 2 months ago
- The homework of robos learning base.☆11May 23, 2023Updated 2 years ago
- MKS Eagle is an integrated design version of Nano V3.0. It retains the functions of Nano V3, but intergrates 5 TMC2209 drivers on board w…☆15Jan 15, 2022Updated 4 years ago
- The code of AAAI20 paper "Efficient Inference of Optimal Decision Trees"☆10Jun 26, 2020Updated 5 years ago
- ☆14Jan 11, 2021Updated 5 years ago
- ☆12Jun 18, 2024Updated last year
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- Parser Combinators of Monad☆39Nov 25, 2020Updated 5 years ago
- A simple, budget, DIY F16 ICP flight control panel for use with flight simulators such as DCS World☆13Jan 9, 2022Updated 4 years ago
- ☆16Jan 23, 2026Updated 3 weeks ago
- A Redis module implementing a MultiMap type☆16Feb 21, 2020Updated 5 years ago
- MSC bootloader for STM32F103 (Blue Pill etc)☆11Apr 9, 2022Updated 3 years ago
- Safe SLAC, an algorithm for safe cost-constrained reinforcement learning in high-dimensional POMDPs.☆11Mar 1, 2023Updated 2 years ago
- Highly Experimental React-Router Bindings for GopherJS☆11Dec 2, 2016Updated 9 years ago
- AugmentA: Patient-specific Augmented Atrial model Generation Tool☆15Nov 24, 2025Updated 2 months ago
- A ClojureScript wrapper library for TensorFlow.js☆10Oct 7, 2018Updated 7 years ago
- SVM Abstrac Verifier tool☆12Oct 13, 2022Updated 3 years ago
- Lens combinators for fused-effects.☆17Oct 19, 2020Updated 5 years ago
- Explanation Ontology Resource website☆12Jun 8, 2024Updated last year
- A Dependently Typed Esolang☆10Aug 4, 2017Updated 8 years ago
- Promises and latches for Emacs Lisp☆13Aug 13, 2021Updated 4 years ago
- Compositional, streaming I/O library (unfinished)☆13Sep 7, 2015Updated 10 years ago
- A library for typed manipulation of UNIX-style file paths.☆13Jan 15, 2026Updated 3 weeks ago
- experimental sexp parsing using SIMD☆11Feb 13, 2023Updated 3 years ago
- PyTorch implementation of quantization-aware matrix factorization (QMF) for data compression☆15Jul 14, 2025Updated 6 months ago
- mdBook preprocessor for indexing☆18Updated this week
- Multiagent optimization system (MAOS) for solving the Traveling Salesman Problem (TSP).☆12Aug 7, 2019Updated 6 years ago