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:
- An exploration and implementation of the lambda calculus.☆12Oct 18, 2016Updated 10 years ago
- ☆37Feb 12, 2018Updated 8 years ago
- A tutorial on writing a concurrency testing tool in Haskell☆12Nov 5, 2017Updated 8 years ago
- being the materials from my YOW LambdaJam 2016 talk☆11Jun 11, 2016Updated 10 years ago
- Web frontend for GHC☆12Dec 10, 2019Updated 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Experiments in abstracting definitional interpreters☆16Oct 13, 2017Updated 9 years ago
- Commonly useful extensions for the MMark markdown processor☆12Sep 29, 2026Updated last month
- Collects examples used to produce the paper 'Session Types with Linearity in Haskell' by Orchard and Yoshida (2017).☆12Nov 28, 2023Updated 2 years ago
- Integers bounded by a closed interval☆14Updated this week
- Experimental functional language☆17Dec 24, 2025Updated 10 months ago
- ☆15Aug 27, 2018Updated 8 years ago
- Haskell space profiling toolset☆14Nov 7, 2018Updated 7 years ago
- Spacemacs Layer for LiquidHaskell☆13Jun 10, 2017Updated 9 years ago
- Agda from Nothing: Order in the Types☆13Jan 23, 2017Updated 9 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.
- Examples showing mechanisms of `Maybe` monad and `do-notation`.☆14Jun 29, 2023Updated 3 years ago
- A MapReduce framework written in Elixir☆10Jul 15, 2013Updated 13 years ago
- Raspberry Pi HTTP Interface for GPIO Control☆21Feb 7, 2017Updated 9 years ago
- (ARCHIVED) Haskell exercises I wrote for Haskell Learning Group☆47Mar 12, 2017Updated 9 years ago
- Haskell's Core in K.☆20Jun 21, 2017Updated 9 years ago
- ☆13Aug 15, 2018Updated 8 years ago
- Native charts library for Elm☆22Dec 12, 2019Updated 6 years ago
- An LSM database turned a CRDT database. Really fast counters!☆17Jan 16, 2025Updated last year
- Functions to scrape web pages from ebird.org☆11Jul 15, 2025Updated last year
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- 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 8 years ago
- Elixir implementation of circuit breaker pattern, wrapped around Erlang's fuse library☆11Aug 13, 2026Updated 2 months ago
- as miñas modificacións sobre o linklayertools☆16Sep 9, 2013Updated 13 years ago
- Prototype of a web based, database driven Haskell IDE☆18Jun 27, 2016Updated 10 years ago
- haskell project using nix☆17Jan 3, 2021Updated 5 years ago
- Tools for functors from Hask^k to Hask☆23Aug 25, 2019Updated 7 years ago
- Sync git repositories over NNCP or other transport (read-only mirror of https://salsa.debian.org/jgoerzen/gitsync-nncp )☆19Apr 16, 2024Updated 2 years ago
- A toy implementation of Haxl to illustrate the internals☆22Jun 29, 2017Updated 9 years ago
- ☆16Feb 6, 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.
- Deserialize PostgreSQL rows to Haskell records by matching column names and record field names☆13Feb 19, 2018Updated 8 years ago
- A distributed note taker and task manager.☆203Mar 24, 2026Updated 7 months ago
- Folds for recursive types with GHC Generics☆29Apr 13, 2026Updated 6 months ago
- Elixir library to do event-dispatching in an Event Sourcing and The Elm Architecture-like way☆16Apr 10, 2023Updated 3 years ago
- The Str signature and implementations☆20May 28, 2017Updated 9 years ago
- [montreal-elixir] An example Elixir project with Nerves and Scenic☆11Sep 10, 2018Updated 8 years ago
- Library for testing nested Elixir data structures and ignoring irrelevant data elements and data structure subtrees☆11Oct 13, 2020Updated 6 years ago