SVM Abstrac Verifier tool
☆12Oct 13, 2022Updated 3 years ago
Alternatives and similar repositories for saver
Users that are interested in saver are comparing it to the libraries listed below
Sorting:
- An abstract-interpretation-based static analysis for inferring refinement types☆16Aug 11, 2025Updated 6 months ago
- ☆24Oct 31, 2021Updated 4 years ago
- Neural Network Enumeration Tool☆34Jan 8, 2026Updated last month
- MetaC provides a read-eval-print loop (a REPL) and notebook interactive development environment (a NIDE) for C programming. MetaC also …☆12Feb 16, 2026Updated last week
- An llvm pass to perform taint analysis on your code.☆38Sep 25, 2019Updated 6 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- ☆12Jun 18, 2024Updated last year
- MATLAB code for solving the Euclidean Distance Matrix completion problem.☆10Nov 20, 2017Updated 8 years ago
- The code of AAAI20 paper "Efficient Inference of Optimal Decision Trees"☆10Jun 26, 2020Updated 5 years ago
- Convergent Dispersal Deduplication Datastore☆10Jan 21, 2016Updated 10 years ago
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated 10 months ago
- ☆14Jan 11, 2021Updated 5 years ago
- MIT's abstract interpretation class taught by Cousot☆38Oct 13, 2014Updated 11 years ago
- My attempt to make neovim more rust friendly from an IDE perspective while trying to not do all of the things!☆11Oct 3, 2020Updated 5 years ago
- ☆11Sep 1, 2020Updated 5 years ago
- Concolic Exection Engine for Golang☆10May 16, 2018Updated 7 years ago
- playing with gpt4☆14Mar 17, 2023Updated 2 years ago
- Learning second order dynamical system☆12Feb 12, 2019Updated 7 years ago
- Static analysis for llvm☆20Mar 31, 2015Updated 10 years ago
- An OCaml implementation of the DPLL algorithm for solving SAT instances. Uses nothing beyond the OCaml List library.☆19Sep 5, 2014Updated 11 years ago
- A GUI application for testing GRPC services☆18Nov 20, 2023Updated 2 years ago
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 3 months ago
- Exploring Pose-Guided Imitation Learning for Robotic Precise Insertion☆20May 15, 2025Updated 9 months ago
- Mirror of NetBSD sources useful with rump kernels☆13Mar 23, 2017Updated 8 years ago
- funky fun fuzzer☆11Jul 6, 2021Updated 4 years ago
- This is the example model described in the paper S. Resch and M. Paulitsch, "Using TLA+ in the Development of a Safety-Critical Fault-Tol…☆18Nov 24, 2017Updated 8 years ago
- POV templates and compilation support for CGC binaries.☆10May 19, 2022Updated 3 years ago
- ROBEL: Robotics Benchmarks for Learning with low-cost robots (dev fork)☆12Jul 30, 2020Updated 5 years ago
- CVE-2023-40028 affects Ghost, an open source content management system, where versions prior to 5.59.1 allow authenticated users to uploa…☆13Jan 7, 2025Updated last year
- Experimental hostapd/wpa_supplicant that allows automatic MACsec channel establishment☆11Sep 5, 2017Updated 8 years ago
- Official Python implementation for paper: Probabilistic Conformal Prediction Using Conditional Random Samples☆10Jul 8, 2022Updated 3 years ago
- AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)☆11Oct 20, 2020Updated 5 years ago
- A simple tutorial about how to use the CIL compiler frontend☆12Feb 10, 2025Updated last year
- R implementation of Contextual Importance and Utility for Explainable AI☆10Nov 5, 2025Updated 3 months ago
- Explanation Ontology Resource website☆12Jun 8, 2024Updated last year
- A simple /proc/<pid>/{mem,maps} library for Rust☆11May 28, 2022Updated 3 years ago
- A constraint solver built from scratch in OCaml☆12Dec 10, 2021Updated 4 years ago
- A netmap-based userspace network stack.☆10May 7, 2015Updated 10 years ago
- An object-oriented priority queue with updatable priorities.☆11Feb 19, 2018Updated 8 years ago