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
Sorting:
- ☆37Feb 12, 2018Updated 8 years ago
- Web frontend for GHC☆12Dec 10, 2019Updated 6 years ago
- An exploration and implementation of the lambda calculus.☆12Oct 18, 2016Updated 9 years ago
- ☆15Aug 27, 2018Updated 7 years ago
- Comparing Different Stochastic Gradien Descent implementations in Haskell against Python☆10Jul 25, 2016Updated 9 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
- Integers bounded by a closed interval☆14Dec 15, 2025Updated 2 months 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
- Haskell space profiling toolset☆14Nov 7, 2018Updated 7 years ago
- Commonly useful extensions for the MMark markdown processor☆12Feb 2, 2026Updated last month
- Spacemacs Layer for LiquidHaskell☆13Jun 10, 2017Updated 8 years ago
- Agda from Nothing: Order in the Types☆13Jan 23, 2017Updated 9 years ago
- Experiments in abstracting definitional interpreters☆16Oct 13, 2017Updated 8 years ago
- Haskell's Core in K.☆20Jun 21, 2017Updated 8 years ago
- A text editor zipper libary☆19Nov 15, 2024Updated last year
- Slides and code examples for a talk☆22Dec 19, 2017Updated 8 years ago
- ☆23Apr 17, 2018Updated 7 years ago
- A modified version of Brent Yorgey's CIS 194 Haskell course☆17Jun 15, 2020Updated 5 years ago
- Extensible HTTP Web server configured entirely by a yaml file☆25Dec 14, 2017Updated 8 years ago
- Tools for functors from Hask^k to Hask☆23Aug 25, 2019Updated 6 years ago
- A toy implementation of Haxl to illustrate the internals☆22Jun 29, 2017Updated 8 years ago
- Raspberry Pi HTTP Interface for GPIO Control☆21Feb 7, 2017Updated 9 years ago
- Native charts library for Elm☆21Dec 12, 2019Updated 6 years ago
- Simplified interface to the GHC API☆22Apr 4, 2019Updated 6 years ago
- an SML language server that uses SML/NJ's "visible compiler" feature☆24Jan 15, 2018Updated 8 years ago
- The engine for haskell ide-integration. Not an IDE☆18Jun 1, 2020Updated 5 years ago
- Slides and exercises for an STM "course" series☆30Jun 10, 2020Updated 5 years ago
- LaTeX style file to typeset functional languages like Haskell☆26Mar 25, 2013Updated 12 years ago
- The Str signature and implementations☆21May 28, 2017Updated 8 years ago
- Bucklescript data structures for effectful sync and async programming☆35Feb 10, 2020Updated 6 years ago
- Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring☆27Apr 29, 2021Updated 4 years ago
- Vim runtime files for F# (fsharp)☆45Sep 4, 2014Updated 11 years ago
- Simple component example☆31Feb 10, 2019Updated 7 years ago
- Deriving via☆33Aug 6, 2018Updated 7 years ago
- Generated API documentation for the FSharp.Core library. Generated using FSharp.Formatting.☆36Updated this week
- Benchmarking Haskell extensible-effect libraries.☆34Aug 2, 2020Updated 5 years ago
- Thesis☆38Apr 4, 2018Updated 7 years ago
- Diffing of (expression) trees.☆79Jul 9, 2025Updated 7 months ago