lu-cs-sde / codeproberLinks
Tool implementing Property Probes
☆22Updated this week
Alternatives and similar repositories for codeprober
Users that are interested in codeprober are comparing it to the libraries listed below
Sorting:
- Accompanying materials for "A Core Calculus for Documents"☆36Updated 2 years ago
- The PERPL Compiler☆14Updated 3 months ago
- Online BDD Simulation Tool☆25Updated 6 months ago
- Materials for OPLSS 2021☆11Updated 4 years ago
- Language based on Rewriting Logic☆157Updated this week
- Library for symbolic automata and symbolic visibly pushdown automata☆71Updated 6 months ago
- A graduate seminar on SMT solving and solver-aided systems☆28Updated 3 years ago
- A OCaml generator for well-typed terms (that use their arguments).☆11Updated 11 months ago
- Graph Theory [maintainers=@chdoc,@damien-pous]☆41Updated 3 months ago
- Geometry types☆33Updated 5 years ago
- ☆20Updated 2 years ago
- The WIP book for CPSC 411☆67Updated this week
- A lazy-grounding Answer-Set Programming system☆62Updated 2 months ago
- Synthesis of Heap-Manipulating Programs from Separation Logic☆128Updated 2 years ago
- Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintaine…☆81Updated last year
- Staged Abstract Interpreters☆69Updated 2 years ago
- The VerCors verification toolset for verifying parallel and concurrent software☆85Updated last week
- SMTInterpol interpolating SMT solver☆69Updated last week
- A Simple Abstract Interpreter, built for teaching purposes☆20Updated 5 years ago
- Pedagogical first-order prover in Python☆79Updated 7 months ago
- Definition of the Viper intermediate verification language.☆92Updated last week
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated 3 months ago
- Software Foundations☆151Updated last year
- TurnKey artifact for Z3☆43Updated 3 months ago
- Collapsing Towers of Interpreters☆93Updated 7 months ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆68Updated 2 years ago
- Grammar prioritization support for EUSolver.☆14Updated 6 years ago
- JaTyC: a typestate checker for Java☆19Updated 4 months ago
- ☆21Updated 9 months ago
- Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey☆32Updated 2 years ago