A talk given at the Polyglot meetup in CPH, March 2018
☆12Nov 5, 2018Updated 7 years ago
Alternatives and similar repositories for domain-modeling-with-haskell-data-structures
Users that are interested in domain-modeling-with-haskell-data-structures are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆37Feb 12, 2018Updated 8 years ago
- An exploration and implementation of the lambda calculus.☆12Oct 18, 2016Updated 9 years ago
- Comparing Different Stochastic Gradien Descent implementations in Haskell against Python☆10Jul 25, 2016Updated 9 years ago
- being the materials from my YOW LambdaJam 2016 talk☆11Jun 11, 2016Updated 9 years ago
- A tutorial on writing a concurrency testing tool in Haskell☆12Nov 5, 2017Updated 8 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Web frontend for GHC☆12Dec 10, 2019Updated 6 years ago
- Collects examples used to produce the paper 'Session Types with Linearity in Haskell' by Orchard and Yoshida (2017).☆12Nov 28, 2023Updated 2 years ago
- Experiments in abstracting definitional interpreters☆16Oct 13, 2017Updated 8 years ago
- ☆15Aug 27, 2018Updated 7 years ago
- Commonly useful extensions for the MMark markdown processor☆12Mar 23, 2026Updated 3 weeks ago
- Integers bounded by a closed interval☆14Dec 15, 2025Updated 3 months ago
- Agda from Nothing: Order in the Types☆13Jan 23, 2017Updated 9 years ago
- Haskell space profiling toolset☆14Nov 7, 2018Updated 7 years ago
- Spacemacs Layer for LiquidHaskell☆13Jun 10, 2017Updated 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 showing mechanisms of `Maybe` monad and `do-notation`.☆14Jun 29, 2023Updated 2 years ago
- Haskell's Core in K.☆20Jun 21, 2017Updated 8 years ago
- Mason uses superpowers to coerce maps into structs. This is helpful e.g. when you interface a REST API and want to create a struct from …☆12Jun 21, 2018Updated 7 years ago
- Tools for functors from Hask^k to Hask☆23Aug 25, 2019Updated 6 years ago
- Native charts library for Elm☆21Dec 12, 2019Updated 6 years ago
- QuasiQuoter for Perl6-style multi-line interpolated strings with q, qq and qc support.☆25Oct 15, 2019Updated 6 years ago
- Raspberry Pi HTTP Interface for GPIO Control☆21Feb 7, 2017Updated 9 years ago
- Animated, nested menus for mobile-first Elm webapps - ★☆13Feb 3, 2019Updated 7 years ago
- A toy implementation of Haxl to illustrate the internals☆22Jun 29, 2017Updated 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.
- ☆23Apr 17, 2018Updated 7 years ago
- Library for testing nested Elixir data structures and ignoring irrelevant data elements and data structure subtrees☆11Oct 13, 2020Updated 5 years ago
- A text editor zipper libary☆21Nov 15, 2024Updated last year
- Slides and code examples for a talk☆22Dec 19, 2017Updated 8 years ago
- Elixir library to do event-dispatching in an Event Sourcing and The Elm Architecture-like way☆16Apr 10, 2023Updated 3 years ago
- Utilities for using the Fay Haskell-to-JS compiler with Yesod.☆24Apr 30, 2019Updated 6 years ago
- The Str signature and implementations☆21May 28, 2017Updated 8 years ago
- Deserialize PostgreSQL rows to Haskell records by matching column names and record field names☆13Feb 19, 2018Updated 8 years ago
- A collection of old versions of the Haskell Report☆13Aug 17, 2017Updated 8 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats☆51Aug 3, 2020Updated 5 years ago
- an SML language server that uses SML/NJ's "visible compiler" feature☆24Jan 15, 2018Updated 8 years ago
- Base Nerves system configuration for the Raspberry Pi A+ and B+☆41Mar 16, 2026Updated 3 weeks ago
- [montreal-elixir] An example Elixir project with Nerves and Scenic☆11Sep 10, 2018Updated 7 years ago
- Zippers based on lenses and traversals☆40Aug 9, 2023Updated 2 years ago
- Elixir natural sort implementation for lists of strings.☆14Apr 14, 2021Updated 5 years ago
- A simple way to query constructors, like cases but slightly more concise☆11Mar 7, 2018Updated 8 years ago