TheAlgorithms / Haskell
☆399Updated last year
Alternatives and similar repositories for Haskell
Users that are interested in Haskell are comparing it to the libraries listed below
Sorting:
- Algorithms Implemented in OCaml☆107Updated 2 years ago
- Implementation of All ▲lgorithms in Haskell Programming Language☆47Updated 3 years ago
- Exercism exercises in Haskell.☆514Updated 6 months ago
- All Algorithms implemented in Elm☆69Updated 2 years ago
- A curated list of awesome Haskell frameworks, libraries and software.☆442Updated 2 weeks ago
- A collection of resources which were useful to Tweagers for learning Haskell and its various aspects☆422Updated 2 years ago
- A formatter for Haskell source code☆993Updated this week
- VS Code extension for Haskell, powered by haskell-language-server☆574Updated this week
- ☆320Updated 2 weeks ago
- 👩🏫 👨🏫 Learn Haskell basics in 4 pull requests☆1,023Updated 10 months ago
- An automated tutorial to teach you about Haskell!☆171Updated 2 years ago
- The Agda standard library☆612Updated this week
- Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.☆1,094Updated 4 months ago
- A List of Foundational Haskell Papers☆868Updated 6 months ago
- An easy to use, cross platform, GUI library for writing Haskell applications.☆621Updated 11 months ago
- An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .☆378Updated 3 months ago
- A gently curated list of companies using Haskell in industry☆969Updated 3 weeks ago
- In the tradition of "awesome" (curated) lists, this is a list of references and code for doing deep learning in Haskell.☆293Updated 3 years ago
- ☆425Updated 3 years ago
- Haskell bindings for TensorFlow☆1,594Updated 9 months ago
- Haskell code prettifier☆1,009Updated 3 weeks ago
- Examples to accompany the book "Haskell in Depth"☆262Updated last month
- All Algorithms implemented in AArch64 Assembly☆162Updated last year
- Proposed compiler and language changes for GHC and GHC/Haskell☆696Updated this week
- Hackage-Server: A Haskell Package Repository☆429Updated this week
- Agda is a dependently typed programming language / interactive theorem prover.☆2,630Updated this week
- HoTTEST Summer School materials☆297Updated last year
- Learn Haskell by building a blog generator - an introductory book about Haskell.☆299Updated last month
- Applied Functional Programming Course - Move from exercises to a working app!☆633Updated last year
- Liquid Types For Haskell☆1,239Updated last week