T2 Temporal Prover
☆96Feb 12, 2018Updated 8 years ago
Alternatives and similar repositories for T2
Users that are interested in T2 are comparing it to the libraries listed below
Sorting:
- Label dependent dependent session types☆16May 2, 2024Updated last year
- "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)☆13Mar 31, 2017Updated 8 years ago
- Type-level assertion operators☆16Mar 20, 2018Updated 7 years ago
- KITTeL/KoAT☆21Dec 19, 2018Updated 7 years ago
- Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [mai…☆36Oct 28, 2025Updated 4 months ago
- Proofs of the number of inhabitants of polymorphic functions☆23Jul 19, 2018Updated 7 years ago
- A Scala DSL (API) designed for monitoring event streams, such as for example log files. Based on data parameterized automata and temporal…☆11Dec 21, 2020Updated 5 years ago
- BoSy is a reactive synthesis tool based on constraint-solving☆19Aug 3, 2023Updated 2 years ago
- ☆20Jun 12, 2023Updated 2 years ago
- Abe-Ohkubo-Suzuki Linkable Ring Signatures☆49Nov 28, 2019Updated 6 years ago
- ☆10Aug 18, 2025Updated 6 months ago
- Automatic type class law checking.☆24Dec 19, 2025Updated 2 months ago
- Haskell port of the Tensor Algebra COmpiler☆16Nov 18, 2019Updated 6 years ago
- llvm2KITTeL☆20Feb 16, 2017Updated 9 years ago
- Bring fusion to everyone☆14Feb 6, 2020Updated 6 years ago
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆15Feb 15, 2018Updated 8 years ago
- Double ratchet algorithm for E2E encryption☆60Nov 22, 2018Updated 7 years ago
- CPAchecker, the Configurable Software-Verification Platform (read-only mirror)☆252Updated this week
- Some programs from Rustan Leino's "Program Proofs", in Why3.☆16Mar 13, 2023Updated 2 years ago
- CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory☆237Dec 2, 2025Updated 3 months ago
- Generalized Convolution and Efficient Language Recognition☆18Jul 20, 2019Updated 6 years ago
- Collection of algorithms in Computational Geometry.☆18Oct 13, 2017Updated 8 years ago
- Haskell Webapps on AWS Lambda☆45Feb 5, 2023Updated 3 years ago
- A monadic interface for DAG construction.☆24May 11, 2021Updated 4 years ago
- Ask for solutions.☆19Aug 5, 2019Updated 6 years ago
- Quantitative Type Theory implementation☆54Jun 2, 2021Updated 4 years ago
- ☆49Mar 29, 2021Updated 4 years ago
- Shamir Secret Sharing☆21Nov 27, 2019Updated 6 years ago
- An implementation of Fibonacci Anyons in Haskell☆22Oct 14, 2019Updated 6 years ago
- ☆20May 11, 2023Updated 2 years ago
- Some scripts for analyzing IMP programs with the Z3 automatic theorem prover, originally written for my Compose 2016 talk.☆15Feb 9, 2016Updated 10 years ago
- SymDiff-Differential-Program-Verifier☆38Aug 21, 2025Updated 6 months ago
- Ghosts of Departed Proofs☆63Nov 26, 2020Updated 5 years ago
- Transform tagged Markdown string to HTML during build time.☆24May 22, 2023Updated 2 years ago
- convert simple cryptol expressions into finite-state machines☆22Sep 15, 2017Updated 8 years ago
- Layout data in grids and pretty tables. Provides a lot of tools to get the cell formatting right (positional alignment, alignment on spec…☆41May 18, 2025Updated 9 months ago
- being some experiments, working towards some equipment I wish I had☆37Feb 3, 2016Updated 10 years ago
- a modern library for typed path manipulation in Haskell☆36Jul 24, 2025Updated 7 months ago
- Kodkod solver for relational logic☆85Jul 4, 2023Updated 2 years ago