your dynamic optimization buddy
☆27Sep 20, 2019Updated 6 years ago
Alternatives and similar repositories for dynobud
Users that are interested in dynobud are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Play fast and loose with IEEE-754 rewrite RULES☆25Aug 1, 2015Updated 10 years ago
- A collection of ready-to-use Prometheus Metrics to monitor your Haskell application☆13Updated this week
- sliding fast fourier transform using haskell streaming☆13Feb 19, 2019Updated 7 years ago
- re-startable monad that recover the execution state from a log, and workflow patterns☆43May 9, 2016Updated 10 years ago
- Purely functional cloud provisioner☆22Jan 25, 2019Updated 7 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.
- Beseder: make impossible state transitions impossible☆31Mar 21, 2020Updated 6 years ago
- Haskell numerical ODE solvers☆13Aug 21, 2017Updated 8 years ago
- A Haskell API into HTML5 Canvas☆74May 26, 2026Updated last month
- Comment on Haskell documentation.☆13Mar 13, 2019Updated 7 years ago
- A bridge from FreeNect to OpenGL in Haskell☆15Feb 27, 2018Updated 8 years ago
- Wolf is a wrapper around Amazon Simple Workflow Service.☆16Nov 4, 2022Updated 3 years ago
- A minimalist approach to an OpenTracing for Haskell☆17Dec 19, 2021Updated 4 years ago
- Haskell parser and printer for the TOML 1.1.0 file format☆30May 7, 2026Updated 2 months ago
- Disciplined Convex Programming in Haskell☆23Mar 19, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Manage Nix Haskell override sets☆11Sep 30, 2018Updated 7 years ago
- The Elements of Statistical Learning in Haskell☆13Nov 29, 2017Updated 8 years ago
- Gidl: an Interface Description Language☆10Aug 11, 2017Updated 8 years ago
- Easy and powerful typeful logging without monad towers, in Haskell.☆26May 7, 2024Updated 2 years ago
- A hand-written streaming byte parser for OpenStreetMap Protobuf data.☆12Dec 8, 2021Updated 4 years ago
- "Fail Fast" process management for Haskell; inspired by Erlang☆16Jan 19, 2017Updated 9 years ago
- Simple setup for deploying Haskell to Amazon Lambda☆14Jun 25, 2020Updated 6 years ago
- A simple interface for generating persistent data and linking its dependencies☆48Jun 19, 2026Updated last month
- ocaml multi-armed bandit module☆18Jun 10, 2020Updated 6 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- GHC plugin that improves Haskell code's numerical stability☆194Oct 6, 2015Updated 10 years ago
- Accessing Postgres in a data frame in Haskell☆24Dec 12, 2023Updated 2 years ago
- DSL for forward and reverse mode automatic differentiation in Haskell. Port of DiffSharp.☆28Jun 27, 2019Updated 7 years ago
- Haskell bindings for Python's Matplotlib☆86Apr 5, 2024Updated 2 years ago
- Measure time complexity empirically.☆49Nov 25, 2015Updated 10 years ago
- Web app written in Haskell (GHCJS) for visualizing building geometry☆14Nov 26, 2020Updated 5 years ago
- haskell library for monad transformers, like mtl's ReaderT/StateT, but more than one contained value/type☆17Mar 3, 2022Updated 4 years ago
- Automated Testing and Package Uploading☆12Oct 3, 2018Updated 7 years ago
- ☆32Feb 1, 2026Updated 5 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A toy JS to ARM assembly compiler, in Haskell☆17May 30, 2022Updated 4 years ago
- Diffing of (expression) trees.☆80Jun 17, 2026Updated last month
- Experimental Haskell machine learning library☆35May 25, 2017Updated 9 years ago
- Haskell bindings for PETSc and SLEPc☆21Sep 5, 2016Updated 9 years ago
- types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...☆19Apr 25, 2017Updated 9 years ago
- An encoding of linear logic in Coq with minimal Sokoban and blocks world examples☆22Feb 4, 2022Updated 4 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆47Jan 12, 2026Updated 6 months ago