curry-packages / pflpLinks
Probabilistic Functional Logic Programming
☆16Updated 5 months ago
Alternatives and similar repositories for pflp
Users that are interested in pflp are comparing it to the libraries listed below
Sorting:
- A usable type system for call by push-value☆33Updated 5 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
- Showing how some simple mathematical theories naturally give rise to some common data-structures☆39Updated last year
- Combinators for manipulating dependently-typed predicates.☆14Updated last year
- Functional Pearl: Certified Binary Search in a Read-Only Array☆29Updated 4 years ago
- Basics of the dependently-typed functional language Agda ^_^☆39Updated 3 years ago
- High level, generic library for interrogative user interfaces in Haskell☆41Updated 4 years ago
- Funny little Haskell impl☆18Updated 4 years ago
- Tiny type-checker with dependent types☆78Updated 11 years ago
- Experimental proof assistant (and architecture) for dependent linear logic☆49Updated 3 years ago
- Logic Explorer - customizable proof construction tool for sequent calculi☆20Updated 3 years ago
- Automatic piecewise-mutable references for your types☆42Updated 5 years ago
- Composable Concurrent Computation Done Right☆30Updated 2 years ago
- Haskell implementation of data structures for data science☆22Updated 2 months ago
- Efficient parser combinators for Haskell☆39Updated last week
- Icicle Streaming Query Language☆28Updated last month
- Compiler backend for generating Scheme code☆26Updated last year
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆29Updated 4 years ago
- being a particular fragment of Haskell, extended to a proof system☆34Updated last month
- ☆23Updated last year
- Generic functions for single-sorted first-order structural unification☆46Updated 4 months ago
- Proofs of the number of inhabitants of polymorphic functions☆23Updated 7 years ago
- Grammatical parsers - combinator library for parsing general context-free grammars☆42Updated 2 weeks ago
- classical sequent calculus, embedded in Haskell☆21Updated 3 weeks ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 7 years ago
- Formalisation of a type unification algorithm in Coq proof assistant.☆21Updated 6 years ago
- Self-contained repository for the eponymous paper☆30Updated 6 years ago
- A small NuPRL style proof assistant☆31Updated 6 years ago
- being the programs and code for a paper about general recursion☆26Updated 10 years ago
- An efficient finite map from (byte)strings to values.☆20Updated 4 months ago