Efficient, high-level dynamic programming
☆28Jul 19, 2023Updated 3 years ago
Alternatives and similar repositories for ADPfusion
Users that are interested in ADPfusion are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Passage is a PArallel SAmpler GEnerator. The user specifies a hierarchical Bayesian model and data using the Passage EDSL, and Passage ge…☆22Mar 8, 2020Updated 6 years ago
- Economic Genome Assembly from Low Coverage Illumina and Nanopore Data☆19Feb 15, 2022Updated 4 years ago
- A back-end for the Accelerate library using the Repa library☆14Jan 13, 2012Updated 14 years ago
- A toolkit for building multi-result supercompilers☆33Oct 23, 2021Updated 5 years ago
- Select coins, build transactions☆20Jun 9, 2026Updated 4 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆10May 1, 2018Updated 8 years ago
- Haskell Equational Reasoning Model-to-Implementation Tunnel☆51Jan 12, 2023Updated 3 years ago
- ☆12May 10, 2017Updated 9 years ago
- GHC plugin for constant math elimination☆14Nov 2, 2012Updated 14 years ago
- A PGF backend for diagrams☆15Aug 9, 2026Updated 2 months ago
- lazy continued fractions☆19Aug 5, 2015Updated 11 years ago
- An embedded DSL for creating, composing, and using probability measures.☆43Sep 10, 2019Updated 7 years ago
- Port to Julia of the Gap3 package Chevie☆20Updated this week
- Efficient, first-order, linear-chain conditional random fields☆13Nov 30, 2019Updated 6 years 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.
- Netlist and Verilog Haskell Package☆13Oct 6, 2019Updated 7 years ago
- ☆14Sep 9, 2026Updated last month
- Wrapper to read fast5, slow5, blow5 and pod5 files.☆13Mar 26, 2025Updated last year
- Model of baysig language in Haskell (minus estimate)☆15Jun 23, 2016Updated 10 years ago
- A curated wishlist of Haskell libraries, packages, and tools☆17Feb 7, 2016Updated 10 years ago
- Time-varying values with start and end times.☆16Aug 9, 2026Updated 2 months ago
- Edit distance library for Haskell☆27Jan 19, 2017Updated 9 years ago
- The artifact of the paper "Recursive Subtyping for All"☆10Apr 29, 2024Updated 2 years ago
- sparse matrices in Morton order☆24Aug 9, 2015Updated 11 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.
- Immutable and mutable (linear) arrays☆14Sep 2, 2026Updated 2 months ago
- Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…☆13Sep 27, 2021Updated 5 years ago
- HiGlass track for displaying arcs between disconnected regions☆10Dec 13, 2022Updated 3 years ago
- ☆34Dec 3, 2011Updated 14 years ago
- Haskell bindings for OpenCV☆13May 7, 2014Updated 12 years ago
- A CLI fuzzy filter in Haskell (port of Selecta)☆20Dec 29, 2015Updated 10 years ago
- Disciplined Convex Programming in Haskell☆23Mar 19, 2024Updated 2 years ago
- An unofficial list of papers accepted to POPL 2013.☆19Jan 13, 2018Updated 8 years ago
- Alternative Core language for GHC plugins☆39Feb 15, 2016Updated 10 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.
- Object Algebra Composition☆24Jul 4, 2013Updated 13 years ago
- Haskell Bindings to the Lean Theorem Prover http://leanprover.github.io/☆23Aug 25, 2017Updated 9 years ago
- Haskell plotting library☆44Aug 9, 2026Updated 2 months ago
- An embedded probabilistic programming language.☆33Mar 6, 2017Updated 9 years ago
- Handling of data from the clinical data management system secuTrial☆10Apr 7, 2025Updated last year
- An efficient, embeddable DPLL SAT solver in Haskell☆36Apr 25, 2026Updated 6 months ago
- Decision procedures for Presburger arithmetic in Haskell☆30Mar 29, 2025Updated last year