Probabilistic Functional Logic Programming
☆16Mar 27, 2025Updated last year
Alternatives and similar repositories for pflp
Users that are interested in pflp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Resources for "One Monad to Prove Them All"☆29Sep 30, 2026Updated 3 weeks ago
- A list of companies in Schleswig-Holstein and Hamburg, that use functional programming☆12Mar 31, 2021Updated 5 years ago
- Based on paper by Greg Morrisett , TAL-0 is the design of a RISC-style typed assembly language which focuses on control-flow safety.☆23Dec 14, 2016Updated 9 years ago
- Haskell implementation of open games☆13Apr 20, 2016Updated 10 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Examples from our paper "Capturing the Future by Replaying the Past"☆23Sep 10, 2024Updated 2 years ago
- Experimentation project☆17Feb 18, 2014Updated 12 years ago
- PAKCS: The Portland Aachen Kiel Curry system☆16Oct 11, 2026Updated 2 weeks ago
- IDE support for the functional logic programming language Curry☆37Sep 14, 2026Updated last month
- Type level algebraic "proofs" using lens combinators☆19Jul 26, 2019Updated 7 years ago
- Proofs of the number of inhabitants of polymorphic functions☆23Jul 19, 2018Updated 8 years ago
- Formalization of Typed Assembly Language (TAL) in Coq☆18Mar 11, 2024Updated 2 years ago
- generate synthetic data for training finite state machines/pushdown automata/turing machines☆17Apr 26, 2024Updated 2 years ago
- An experimental Haskell library for programming with effectful runners.☆30Dec 6, 2019Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A tool for formally verifying Haskell code in Agda☆28Oct 25, 2016Updated 10 years ago
- Demystifying the magic of supertactics☆13Nov 2, 2021Updated 4 years ago
- A Pandoc filter that identifies Haskell code in Markdown, executes the code in GHCI and embeds the results in the returned Markdown.☆14Jul 11, 2019Updated 7 years ago
- A browser-only web interface to the free-theorems library☆12May 22, 2025Updated last year
- hgg — Haskell Grammar of Graphics (declarative plotting).☆21Aug 13, 2026Updated 2 months ago
- Benchmarking algebraic effect handler implementations☆28Jun 6, 2021Updated 5 years ago
- being the programs and code for a paper about general recursion☆26Feb 15, 2015Updated 11 years ago
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Feb 21, 2020Updated 6 years ago
- Programming Languages Grammar House (BNF like grammars)☆37May 4, 2026Updated 5 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A certified semantics for relational programming workout.☆28Jun 29, 2026Updated 4 months ago
- Deriving Storable instances using GHC.Generics☆16Apr 9, 2022Updated 4 years ago
- Notes and handouts from OPLSS 2019☆35Jun 28, 2019Updated 7 years ago
- Linear lens☆21Feb 14, 2024Updated 2 years ago
- ☆24Oct 2, 2015Updated 11 years ago
- Certified Machine Learning☆40Mar 10, 2021Updated 5 years ago
- Formalization in Coq of algorithms used in compilers for the Compiler.org project☆15Dec 22, 2018Updated 7 years ago
- Old Coq plugin for parametricity [maintainer=@ppedrot]☆44Sep 28, 2026Updated last month
- Paradoxes in Set Theory and Type Theory☆12Jul 24, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Implementation of Martin-Löf Type Theory in Haskell☆16Feb 21, 2016Updated 10 years ago
- Coq code formatter☆27Jun 15, 2026Updated 4 months ago
- Alfred 2 workflow to search Hoogle.☆26Oct 30, 2014Updated 11 years ago
- My final year project at the University of Strathclyde☆14Jan 26, 2023Updated 3 years ago
- Library of Coq proof automation☆16Apr 1, 2026Updated 6 months ago
- Lens combinators for fused-effects.☆17Oct 19, 2020Updated 6 years ago
- Efficient effect handlers based on Evidence Passing Semantics.☆33Mar 16, 2021Updated 5 years ago