☆96Dec 18, 2014Updated 11 years ago
Alternatives and similar repositories for papers
Users that are interested in papers are comparing it to the libraries listed below
Sorting:
- Totally functional programming literature☆60Feb 15, 2019Updated 7 years ago
- Paris Functional Programming Meetup☆27Mar 21, 2020Updated 5 years ago
- Implementation of Haskell CRDTs (Commutative Replicated Data Types)☆13Mar 5, 2012Updated 14 years ago
- convert simple cryptol expressions into finite-state machines☆22Sep 15, 2017Updated 8 years ago
- ☆15Oct 11, 2025Updated 4 months ago
- an experiment in presenting code.☆14Aug 11, 2020Updated 5 years ago
- Extensible sums and products for Haskell☆19Feb 25, 2026Updated last week
- Succinct binary serialization☆15Aug 26, 2018Updated 7 years ago
- Elixir Mini Conf - 15 de Outubro de 2016 - São Paulo☆10Mar 16, 2016Updated 9 years ago
- GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)☆16Dec 13, 2018Updated 7 years ago
- ☆40Jul 1, 2018Updated 7 years ago
- simple interface to ghc's simd vector support☆23Jun 25, 2015Updated 10 years ago
- Shamir Secret Sharing☆21Nov 27, 2019Updated 6 years ago
- Google Summer of Code 2012 project, GHCi for the web☆52Aug 20, 2012Updated 13 years ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Jul 7, 2018Updated 7 years ago
- Austin's supercompiler work☆21Nov 17, 2019Updated 6 years ago
- What I Wish I Knew While Learning Nix☆34Dec 9, 2021Updated 4 years ago
- what it says on the tin☆24Jun 6, 2018Updated 7 years ago
- a programming language with channels and coroutines/threads☆10Jul 5, 2024Updated last year
- Maps using values' monoidal structure during merging☆42Jan 28, 2026Updated last month
- Haskell JIT☆186Jan 19, 2020Updated 6 years ago
- Example uses of linear types☆42Jun 25, 2020Updated 5 years ago
- A more elegant specification for FRP☆24Jan 8, 2024Updated 2 years ago
- An implementation of Google's Protocol Buffers in Haskell.☆96Oct 2, 2025Updated 5 months ago
- ☆10Mar 2, 2021Updated 5 years ago
- ☆10Jun 6, 2015Updated 10 years ago
- A simple, easily embeddable pure-functional language with static typing and row polymorphism.☆10Jul 9, 2015Updated 10 years ago
- A Haskell library making it easier to write Alex lexers.☆12Sep 15, 2025Updated 5 months ago
- GHCJS DOM Hello World, an example package☆10Apr 24, 2025Updated 10 months ago
- A Free-Software JavaScript Library made by people for the people!☆10Aug 1, 2020Updated 5 years ago
- Concurrent and efficient implementation of statsd in Haskell☆19Feb 12, 2014Updated 12 years ago
- A playground for working on advanced data structures in Haskell☆64Aug 31, 2015Updated 10 years ago
- Slides and handwritten notes on the course on models of programming languages☆53Nov 10, 2020Updated 5 years ago
- (unmaintained) A discrete FRP DSL for describing better build pipelines.☆22Aug 4, 2017Updated 8 years ago
- Generate a command line client from a servant API☆28Jan 12, 2024Updated 2 years ago
- Demonstrating comonad transformers.☆36Oct 9, 2016Updated 9 years ago
- My London HUG talk: Recursion Schemes by Example☆51Aug 1, 2014Updated 11 years ago
- A general purpose programming language with linear types☆43Mar 9, 2017Updated 8 years ago
- ListT done right☆15Oct 11, 2023Updated 2 years ago