Final Year Masters Project: modal logic solver tableaux
☆25May 26, 2022Updated 3 years ago
Alternatives and similar repositories for modal_logic
Users that are interested in modal_logic are comparing it to the libraries listed below
Sorting:
- Implement the essential operators from Allens Interval Algebra, and also some metaprogramming for combinatoral operators☆13Oct 17, 2018Updated 7 years ago
- ICRA: a static analyzer based on interprocedural compositional recurrence analysis☆11Feb 27, 2020Updated 6 years ago
- Dafny for Metatheory of Programming Languages☆29Feb 6, 2026Updated 3 weeks ago
- Awesome Agda Programming☆18Sep 22, 2025Updated 5 months ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Aug 24, 2020Updated 5 years ago
- GQR, a Fast Reasoner for Binary Qualitative Constraint Calculi☆19Nov 11, 2017Updated 8 years ago
- ☆17May 31, 2024Updated last year
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆30Nov 24, 2015Updated 10 years ago
- a Java front-end for Sketch synthesis tool☆20Jan 20, 2025Updated last year
- Abstract interpreter for real-world application programs☆32May 25, 2013Updated 12 years ago
- ☆19Dec 29, 2014Updated 11 years ago
- Denotational semantics based on graph and filter models☆23Dec 16, 2024Updated last year
- Haskell Join-calculus DSL☆24Jan 5, 2019Updated 7 years ago
- A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superpos…☆27Jul 13, 2023Updated 2 years ago
- Choice operator in OCaml, providing a backtracking monad☆26Jan 26, 2022Updated 4 years ago
- An abstract-interpretation based static analyzer written in Scala.☆33Mar 23, 2022Updated 3 years ago
- Learning problem-solving, logic/set, math, physics, economics through functional programming using Haskell☆19Oct 16, 2015Updated 10 years ago
- ☆28Jun 18, 2020Updated 5 years ago
- OCCAM: Object Culling and Concretization for Assurance Maximization☆27Jun 22, 2023Updated 2 years ago
- Resources for "One Monad to Prove Them All"☆29Dec 31, 2018Updated 7 years ago
- ☆32Sep 29, 2025Updated 5 months ago
- A showcase of interesting code and proof developments in Cedille☆36Jun 10, 2025Updated 8 months ago
- A general yet easy-to-use formalization of Big O, Big Theta, and more based on seminormed vector spaces.☆36May 14, 2017Updated 8 years ago
- Make conversation between user and manager of any site☆11Aug 21, 2018Updated 7 years ago
- Separation Logic Proofs in Lean☆49Jan 28, 2026Updated last month
- Logical inference system based on event semantics and degree semantics in formal semantics☆11Jan 22, 2023Updated 3 years ago
- Cochlear implant signal processing☆10Jun 24, 2021Updated 4 years ago
- ☆40Apr 17, 2019Updated 6 years ago
- A dynamically-typed CBPV language embedded in Racket☆40Mar 6, 2024Updated last year
- Notes and handouts from OPLSS 2019☆35Jun 28, 2019Updated 6 years ago
- Qualitative Reasoning: Spatio-Temporal Reasoning using Relation Algebras and Constraint Networks. Documentation is under construction a…☆42Sep 5, 2023Updated 2 years ago
- 自作の因果推論100本ノック用リポジトリです．☆12Jun 4, 2023Updated 2 years ago
- A white-box Speck implementation using self-equivalence encodings☆13Jun 25, 2022Updated 3 years ago
- ☆12Sep 3, 2017Updated 8 years ago
- Collection of Pure Data patches collected from all over the world (mostly not mine)☆11Dec 17, 2020Updated 5 years ago
- Plugin for autocomplete using trix editor☆17Aug 18, 2017Updated 8 years ago
- A synthesizer using React, ToneJS, and nexusUI.☆10Jul 18, 2016Updated 9 years ago
- Medium Access Control layer of 802.15.4☆13Nov 14, 2014Updated 11 years ago
- A little book on General Relativity and Einstein–Cartan Theory☆16Mar 13, 2014Updated 11 years ago