haroldcarr / learn-haskell-coq-ml-etcView external linksLinks
Where I try code from Haskell (etc) books, articles, etc.
☆36Jul 21, 2025Updated 6 months ago
Alternatives and similar repositories for learn-haskell-coq-ml-etc
Users that are interested in learn-haskell-coq-ml-etc are comparing it to the libraries listed below
Sorting:
- Web frontend for GHC☆12Dec 10, 2019Updated 6 years ago
- Integers bounded by a closed interval☆14Dec 15, 2025Updated 2 months ago
- A simple tool for visualising differences in Criterion benchmark results☆14Apr 11, 2025Updated 10 months ago
- Monorepo for a multi-player game engine, and game examples☆42Feb 13, 2022Updated 4 years ago
- Priority Search Queues in three different flavors for Haskell☆67Dec 28, 2025Updated last month
- Provides free functors that are adjoint to functors that forget class constraints.☆29Jan 6, 2026Updated last month
- Combine and enhance Functors☆39Aug 12, 2025Updated 6 months ago
- solutions for book C. Okasaki purely functional data structures☆59Jul 10, 2013Updated 12 years ago
- Generate an elm-ethereum contract interface from your contract's ABI☆11Dec 7, 2022Updated 3 years ago
- Incubator for my Haskell libraries☆20Feb 10, 2018Updated 8 years ago
- Simple network runner library in Haskell☆11Nov 19, 2025Updated 2 months ago
- embedded Perl 5 interpreter in Haskell, forked from https://github.com/perl6/Pugs.hs. Candidate package on hackage at https://hackage.has…☆12Feb 7, 2021Updated 5 years ago
- A hack to find types in Haskell codebases☆10Aug 15, 2015Updated 10 years ago
- Haskell bindings to nanomsg☆25Jul 19, 2025Updated 6 months ago
- Clipboard synchronization tool☆12Jan 30, 2026Updated 2 weeks ago
- Template for new Miso projects☆11Sep 7, 2020Updated 5 years ago
- Handle ASCII text with style and safety☆10Mar 23, 2025Updated 10 months ago
- ☆12Dec 13, 2025Updated 2 months ago
- A WIP compiler for a functional language. Very incomplete!☆16Nov 6, 2021Updated 4 years ago
- ☆10Dec 5, 2022Updated 3 years ago
- A bot that uses elm-review to find common mistakes in packages.☆17Feb 16, 2022Updated 4 years ago
- Haskell to D3.js binding by deep EDSL approach.☆23Sep 20, 2014Updated 11 years ago
- Upload packages or documentation to a hackage server☆11Jul 18, 2022Updated 3 years ago
- The most comprehensive debouncer for Elm☆13Nov 28, 2018Updated 7 years ago
- OpenSSL binding for Haskell☆24Jan 31, 2026Updated 2 weeks ago
- concise json parsing in Haskell using lenses☆20Oct 2, 2017Updated 8 years ago
- DEPRECATED use autodocodec instead An optparse-applicative -style explainable yaml parser.☆28Oct 20, 2021Updated 4 years ago
- A Haskell library for compile-time checked literal values, via QuasiQuoters.☆13Sep 20, 2021Updated 4 years ago
- Play Euterpea Music values through Vivid's real-time audio framework (requires SuperCollider)☆11Sep 18, 2017Updated 8 years ago
- Translate servant API to purescript code, with the help of purescript-bridge.☆107Nov 21, 2022Updated 3 years ago
- Demoscene: Lambda Team☆20Jun 18, 2019Updated 6 years ago
- A curated list of awesome Haskell tutorial modules☆13Nov 9, 2025Updated 3 months ago
- Persist Elm data structures to IndexedDB using ports and LocalForage.☆10Nov 20, 2016Updated 9 years ago
- Manage CloudFormation Stacks through specifications☆13Dec 15, 2025Updated 2 months ago
- ☆12Oct 1, 2014Updated 11 years ago
- Types for ldtk☆16Apr 13, 2024Updated last year
- Generate flamegraphs from Jaeger .json dumps☆15Aug 26, 2019Updated 6 years ago
- GHCJS FFI bindings to the Electron API (WIP).☆10May 21, 2017Updated 8 years ago
- Regular expressions of types☆16Sep 13, 2018Updated 7 years ago