Liquid Haskell: How to turn Haskell into a Theorem Prover
☆13Dec 6, 2016Updated 9 years ago
Alternatives and similar repositories for thesis
Users that are interested in thesis are comparing it to the libraries listed below
Sorting:
- Dafny for Metatheory of Programming Languages☆29Feb 6, 2026Updated 3 weeks ago
- A type theory based theorem proving library☆25Aug 23, 2011Updated 14 years ago
- The Princess Theorem Prover☆33Feb 17, 2026Updated 2 weeks ago
- MixML prototype interpreter☆27Dec 13, 2019Updated 6 years ago
- FlashCard open source website https://izidict.com☆29Jan 9, 2019Updated 7 years ago
- Datatypes as quotients of polynomial functors☆41May 4, 2020Updated 5 years ago
- Transducers for Idris: a library for composable algorithmic transformation.☆32Jul 28, 2017Updated 8 years ago
- Reasonable Haskell default import☆27Sep 12, 2022Updated 3 years ago
- Convert stack projects to cabal.project + cabal.project.freeze☆26Mar 18, 2024Updated last year
- Documenting HMRC design patterns☆32Jan 31, 2024Updated 2 years ago
- Proofs and exercises from "Elements of Programming" by Stepanov (author of C++ STL) and McJones☆29Jul 29, 2017Updated 8 years ago
- Fast Haskell XML parser☆124Jul 16, 2023Updated 2 years ago
- Quake 3 map viewer in Haskell using GPipe☆31Sep 25, 2017Updated 8 years ago
- A set of tools that make working with the Scala ecosystem even better.☆12Updated this week
- Deriving via☆33Aug 6, 2018Updated 7 years ago
- Template repo for theorem proving in Liquid Haskell☆32Sep 19, 2018Updated 7 years ago
- ICD - Interface Control Document Management☆13Sep 7, 2025Updated 5 months ago
- multi platform game engine☆11Sep 1, 2025Updated 6 months ago
- Reexporting TensorFlow Haskell with dependent typed functions☆46Aug 8, 2019Updated 6 years ago
- A series of implementations of a simple functional programming language.☆30Jan 4, 2016Updated 10 years ago
- Content Addressable Storage Archive☆41Sep 26, 2025Updated 5 months ago
- Simple extensible product☆36Dec 1, 2020Updated 5 years ago
- a modern library for typed path manipulation in Haskell☆36Jul 24, 2025Updated 7 months ago
- ☆10Jun 9, 2016Updated 9 years ago
- Tax types and computations for Australia☆12Dec 8, 2025Updated 2 months ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- custom version of the GNU Scientific Library (GSL) ready to be transpiled to JS via emscripten☆11Dec 27, 2014Updated 11 years ago
- Support code for talk 'XXIst century shall be typed or not be'☆15Oct 21, 2022Updated 3 years ago
- Language mixing functional programming and Ambient Calculus☆12Dec 10, 2024Updated last year
- newtype and refinement (refined) type for Scala 3☆14Feb 25, 2026Updated last week
- ☆13Updated this week
- A demo showing some of what is possible with OpenTelemetry and the Typelevel stack☆10May 18, 2024Updated last year
- A Proof Generator for Entailments, Tautologies, and Semantic Equivalences in First-order Logic☆44Jan 5, 2026Updated 2 months ago
- ☆42Updated this week
- Content for the www.yesodweb.com site☆67Feb 4, 2026Updated last month
- Type definitions and low level interface implementations for the W3C WebSocket API☆11Apr 27, 2022Updated 3 years ago
- A reference card for GNU APL☆11Feb 19, 2025Updated last year
- Atomic Scala Book Solutions - for Beginners and first time Functional Programmers☆12Mar 10, 2020Updated 5 years ago
- Reversible programming in Agda☆13Jun 22, 2023Updated 2 years ago