seereason / atp-haskellView external linksLinks
Haskell version of the code from "Handbook of Practical Logic and Automated Reasoning"
☆18Apr 3, 2024Updated last year
Alternatives and similar repositories for atp-haskell
Users that are interested in atp-haskell are comparing it to the libraries listed below
Sorting:
- Formalization of Linear Logic☆11Jun 25, 2017Updated 8 years ago
- ☆12Oct 3, 2020Updated 5 years ago
- Category Theory in Agda☆13Jan 16, 2018Updated 8 years ago
- My Agda experiments☆12Sep 26, 2019Updated 6 years ago
- Some benchmarks for Idris☆12Aug 12, 2017Updated 8 years ago
- A General Multi-agent Epistemic Planner Based on Higher-order Belief Change☆10Feb 20, 2025Updated 11 months ago
- Event-driven bidirectional channels☆14Feb 17, 2016Updated 9 years ago
- ☆14Jan 12, 2018Updated 8 years ago
- Fine-grained lattice primitives for Haskell☆38Jul 1, 2025Updated 7 months ago
- Relational programming for PureScript☆17Jan 5, 2017Updated 9 years ago
- Leibniz Equality☆19Jun 7, 2018Updated 7 years ago
- Directed type theory for formal category theory☆17Apr 7, 2017Updated 8 years ago
- A port of QuickCheck to Idris☆60Oct 30, 2017Updated 8 years ago
- Materials for my LambdaConf 2015 Workshop☆17May 22, 2015Updated 10 years ago
- Alternative Core language for GHC plugins☆39Feb 15, 2016Updated 9 years ago
- Lambda calculus at the type level.☆20Jul 22, 2017Updated 8 years ago
- A symbolic model checker for Dynamic Epistemic Logic.☆49Oct 23, 2025Updated 3 months ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆49Jan 10, 2026Updated last month
- A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety☆24Sep 22, 2014Updated 11 years ago
- Implementing Abstract Binding Trees (in Scala, ...)☆19Jan 28, 2016Updated 10 years ago
- Project for converting multi-agent epistemic planning problems to automated planning problems. Also includes utilities for dealing with P…☆22Dec 10, 2024Updated last year
- A simple console debugger for PureScript functions☆22Oct 17, 2018Updated 7 years ago
- A Prelude with names from category theory☆51Sep 5, 2016Updated 9 years ago
- top-down interpreter for ASP programs with constraints☆18Sep 19, 2022Updated 3 years ago
- A formal moral framework coded in Haskell☆49Mar 2, 2015Updated 10 years ago
- A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism☆101May 9, 2017Updated 8 years ago
- Accepted papers for ICFP 2014☆119May 19, 2016Updated 9 years ago
- Racket bindings for Z3☆24May 11, 2019Updated 6 years ago
- Shadertoy for Elm☆33Apr 20, 2017Updated 8 years ago
- MERGED to LFE - Clojure-inspired macros and functions for use in LFE☆28Oct 25, 2016Updated 9 years ago
- Reasonable Haskell default import☆27Sep 12, 2022Updated 3 years ago
- An experiment in functional interface design☆24Oct 29, 2016Updated 9 years ago
- Choba is an experimental interactive storytelling engine written in JavaScript. It is intended for choice-based interactive fiction (IF),…☆26Feb 26, 2016Updated 9 years ago
- A prolog interpreter written in Haskell.☆62Jun 29, 2015Updated 10 years ago
- Extra functions for working with Records☆30Nov 16, 2022Updated 3 years ago
- Mindless, verified (erasably) coding using dependent types☆104Dec 17, 2015Updated 10 years ago
- An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system☆84Jan 3, 2018Updated 8 years ago
- being the beginnings of at least zero typecheckers☆34Apr 13, 2017Updated 8 years ago
- ☆44Jun 19, 2017Updated 8 years ago