A library and framework for massively parallelizing backtracking searches in Haskell with a strong emphasis on ease of use.
☆31Jul 30, 2019Updated 7 years ago
Alternatives and similar repositories for LogicGrowsOnTrees
Users that are interested in LogicGrowsOnTrees are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Given a sample of JSON, derive an API☆14Apr 17, 2014Updated 12 years ago
- A graph of the interdependencies of the packages of hackage.haskell.org.☆15May 22, 2020Updated 6 years ago
- A Dependently Typed Programming Language☆28Jul 24, 2020Updated 6 years ago
- High level 2d game engine written in Haskell.☆31Apr 7, 2018Updated 8 years ago
- Haskell implementation of the Levy (CBPV) language☆11Apr 4, 2012Updated 14 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A Haskell monad for fair enumeration of infinite sets.☆16Nov 15, 2025Updated 11 months ago
- Make your Haskell git repositories fashionable.☆55May 12, 2018Updated 8 years ago
- A typed logic programming language embedded in Haskell☆50Mar 3, 2013Updated 13 years ago
- GHC plugin for constant math elimination☆14Nov 2, 2012Updated 13 years ago
- Traditional sparse linear algebra in Haskell☆12Jul 25, 2021Updated 5 years ago
- A type-checker for Haskell with integer constraints☆41Feb 21, 2015Updated 11 years ago
- ☆73Feb 12, 2014Updated 12 years ago
- The L10 Logic Programming Language☆10Aug 4, 2015Updated 11 years ago
- do-notation for Category and "Arrow without arr"☆63Mar 17, 2017Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Implementation of Dynamic Time Warping in Haskell☆18Jan 25, 2023Updated 3 years ago
- Syntactic evaluation of STLC (incl. proof of normalization a la Software Foundations)☆14Nov 19, 2017Updated 8 years ago
- Function generation for Hedgehog☆20Jul 21, 2026Updated 3 months ago
- ☆12May 10, 2017Updated 9 years ago
- ☆11Sep 19, 2017Updated 9 years ago
- ☆18Jul 1, 2026Updated 3 months ago
- A reimplementation of `Data.IntMap` that uses minimum and maximum bounds on subtrees instread of bit prefixes.☆21Nov 26, 2023Updated 2 years ago
- Prototype of a web based, database driven Haskell IDE☆18Jun 27, 2016Updated 10 years ago
- HTTP downloader tailored for web-crawler needs☆17Feb 14, 2024Updated 2 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.
- A Computer Algebra System written in and for Haskell☆26Jul 10, 2016Updated 10 years ago
- ☆114Jan 12, 2026Updated 9 months ago
- Experiments on the construction of functions☆29Nov 30, 2015Updated 10 years ago
- Mesos bindings for Haskell☆34Oct 29, 2015Updated 11 years ago
- Dynamic Scheduling System for the GBT☆16Sep 6, 2011Updated 15 years ago
- Arbitrary size tuples in Haskell☆12Feb 27, 2017Updated 9 years ago
- Monitor nginx access logs in real time.☆25Dec 9, 2019Updated 6 years ago
- Haskell driver for ClickHouse☆10Jun 15, 2021Updated 5 years ago
- Make presentations for data types☆25Oct 21, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Parsec orgmode parser implemented by Brent Yorgey☆11Mar 16, 2014Updated 12 years ago
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 11 years ago
- Architectural Framework For Integrated Refinement Modeling☆11May 30, 2017Updated 9 years ago
- Toy web rendering engine in haskell☆34Oct 12, 2015Updated 11 years ago
- Simulate keyboard and mouse events using Haskell☆18Feb 16, 2015Updated 11 years ago
- A multi-method simulation library☆81Jun 29, 2024Updated 2 years ago
- ☆15Nov 14, 2014Updated 11 years ago