curry-packages / pflp
Probabilistic Functional Logic Programming
☆15Updated 2 months ago
Alternatives and similar repositories for pflp:
Users that are interested in pflp are comparing it to the libraries listed below
- Toy implementation of Martin-Löf Type Theory☆28Updated 2 years ago
- A usable type system for call by push-value☆30Updated 5 years ago
- Linear map categories in Agda☆5Updated last year
- being a particular fragment of Haskell, extended to a proof system☆22Updated last month
- ☆17Updated 6 years ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 6 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆28Updated last year
- Mary is the successor of Marx, a content delivery and assessment engine based on markdown and git☆17Updated 11 months ago
- a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.☆19Updated 9 months ago
- Generalized syntax & semantics for universe hierarchies☆29Updated last year
- Experimentation project☆16Updated 10 years ago
- Compiler backend for generating Scheme code☆26Updated last year
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Updated 4 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Updated 6 years ago
- 🪆 A Staged Type Theory☆34Updated last year
- Session types in Idris2!☆27Updated 4 years ago
- ☆28Updated 2 years ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆38Updated 4 years ago
- Grammatical parsers - combinator library for parsing general context-free grammars☆36Updated this week
- Logic Explorer - customizable proof construction tool for sequent calculi☆20Updated 2 years ago
- Data frames for Idris 2☆21Updated 2 years ago
- Derivation of Optimized Definitions Based on Specs☆15Updated 5 years ago
- Let's rethink how we interact with Agda☆18Updated 2 years ago
- Category Theory & Cobordism Categories in Lean 4☆15Updated 6 months ago
- ☆13Updated 2 months ago
- classical sequent calculus, embedded in Haskell☆19Updated 2 years ago
- A type theory with native support for Polynomial Functors.☆39Updated last year
- Experimental proof assistant (and architecture) for dependent linear logic☆47Updated 2 years ago
- Unofficial repository for the experimental porting of mathlib into lean4☆10Updated 4 years ago
- ☆13Updated 10 months ago