curry-packages / pflp
Probabilistic Functional Logic Programming
☆15Updated 3 weeks ago
Alternatives and similar repositories for pflp:
Users that are interested in pflp are comparing it to the libraries listed below
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 6 years ago
- being a particular fragment of Haskell, extended to a proof system☆26Updated this week
- ☆17Updated 6 years ago
- This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the pack…☆28Updated 5 years ago
- Toy implementation of Martin-Löf Type Theory☆28Updated 2 years ago
- Experimentation project☆16Updated 11 years ago
- Grammatical parsers - combinator library for parsing general context-free grammars☆36Updated this week
- I/O utilities and datasets for algebraic-graphs☆14Updated 2 years ago
- Linear map categories in Agda☆5Updated last year
- Logic Explorer - customizable proof construction tool for sequent calculi☆20Updated 2 years ago
- ☆29Updated 2 years ago
- A small NuPRL style proof assistant☆31Updated 6 years ago
- Funny little Haskell impl☆18Updated 4 years ago
- A usable type system for call by push-value☆30Updated 5 years ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆38Updated 4 years ago
- Generalized syntax & semantics for universe hierarchies☆29Updated last year
- Derivation of Optimized Definitions Based on Specs☆15Updated 5 years ago
- 🌽 Core types and functions that power the Haskell `co-log` implementation☆17Updated last month
- A talk☆28Updated 3 years ago
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Updated 5 years ago
- Dependently typed elimination functions using singletons☆28Updated last month
- Agda formalization of Intuitionistic Propositional Logic☆22Updated last year
- An implementation of a simple Neural network in Idris using category theory.☆23Updated 5 months ago
- Dependent hash maps☆14Updated 8 months ago
- Implementing a small functional language with a combinator based graph-reduction machine☆29Updated last year
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆28Updated 2 months ago
- classical sequent calculus, embedded in Haskell☆19Updated 2 years ago
- a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.☆19Updated 10 months ago
- Regular expressions of types☆16Updated 6 years ago