statusfailed / cartographer-string-diagrammatic-reasoningView external linksLinks
☆44Dec 6, 2022Updated 3 years ago
Alternatives and similar repositories for cartographer-string-diagrammatic-reasoning
Users that are interested in cartographer-string-diagrammatic-reasoning are comparing it to the libraries listed below
Sorting:
- Tiny dependent calculus with inference of irrelevance and erasure☆15Jan 17, 2020Updated 6 years ago
- Type Theory with Indexed Equality☆26Apr 7, 2017Updated 8 years ago
- Proof checker for propositional logic☆16Jul 7, 2017Updated 8 years ago
- SPAKE2 key exchange protocol for Haskell☆14May 24, 2023Updated 2 years ago
- "Programs that explain their effects" talk material☆17Jun 22, 2018Updated 7 years ago
- Petrinet.org interactive playground website☆16Oct 17, 2019Updated 6 years ago
- A system for computational category theory and applications☆40Jun 27, 2016Updated 9 years ago
- Encoding of GHC Core inside MLIR☆19Nov 12, 2020Updated 5 years ago
- Logic Explorer - customizable proof construction tool for sequent calculi☆21Jun 3, 2022Updated 3 years ago
- A simple implementation of the algebra of pictures in Haskell outlined in Peter Henderson's "Functional Geometry".☆26Feb 25, 2017Updated 8 years ago
- Formally verified Coq serialization library with support for extraction to OCaml☆24Oct 22, 2023Updated 2 years ago
- An append only list in a compact region☆25Sep 6, 2018Updated 7 years ago
- Translation from FOL to LTL+Past and LTL, via separation of LTL+Past☆10May 22, 2024Updated last year
- FFI-based byte buffers for Idris☆10Jun 21, 2019Updated 6 years ago
- Tools for functors from Hask^k to Hask☆23Aug 25, 2019Updated 6 years ago
- A bad XML parser☆22Sep 2, 2024Updated last year
- A hack to find types in Haskell codebases☆10Aug 15, 2015Updated 10 years ago
- ☆12May 22, 2016Updated 9 years ago
- LIMA: Language for Integrated Modeling and Analysis☆12Sep 8, 2018Updated 7 years ago
- Closure calculus implementation☆12Jun 25, 2019Updated 6 years ago
- Regular expression matching in Idris☆11Apr 27, 2016Updated 9 years ago
- GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…☆10Feb 14, 2024Updated 2 years ago
- Haskell Hoogle search in Visual Studio Code☆13Sep 9, 2018Updated 7 years ago
- The generalized intensional compiler for a Haskell-like language.☆14Nov 27, 2017Updated 8 years ago
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Mar 9, 2019Updated 6 years ago
- Haskell implementation of open games☆13Apr 20, 2016Updated 9 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 7 years ago
- Idris, but it's C☆24May 25, 2018Updated 7 years ago
- ☆28May 19, 2022Updated 3 years ago
- Dependently typed elimination functions using singletons☆28Jan 11, 2026Updated last month
- A package exposing a function for generating catamorphisms.☆29Apr 15, 2018Updated 7 years ago
- Commutative Applicatives and Semigroups☆31Apr 30, 2018Updated 7 years ago
- Quantomatic is a tool for doing automated graph rewriting.☆171Oct 3, 2019Updated 6 years ago
- a parallel, safe, iterative list operation language for systems programming☆16Jul 9, 2020Updated 5 years ago
- Working through Okasaki's "Functional Datastructures" in PureScript☆14Nov 9, 2016Updated 9 years ago
- Experimental proof assistant (and architecture) for dependent linear logic☆51May 5, 2022Updated 3 years ago
- An Agda formalisation of the theory of directed containers☆12Apr 25, 2025Updated 9 months ago
- Automatically generated Nix expressions of Stackage snapshots☆11Updated this week
- Cabal-fmt vim plugin for formatting Cabal package files☆15Jun 30, 2020Updated 5 years ago