google / codeworldLinks
Educational computer programming environment using Haskell
☆1,265Updated last week
Alternatives and similar repositories for codeworld
Users that are interested in codeworld are comparing it to the libraries listed below
Sorting:
- A monadic parser combinator library☆883Updated 7 months ago
- Miscellaneous articles. The readme is the table of contents.☆1,306Updated 2 years ago
- Haskell 101 and 102: slides and codelabs☆1,407Updated 2 years ago
- Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens☆2,078Updated 3 weeks ago
- Liquid Types For Haskell☆1,288Updated this week
- Proposed compiler and language changes for GHC and GHC/Haskell☆705Updated last month
- Category theory in the context of (functional) programming☆522Updated 7 years ago
- Algebraic graphs☆750Updated 2 weeks ago
- Write You a Scheme☆574Updated 3 years ago
- Haskell Web Application Interface☆867Updated last week
- Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying val…☆1,102Updated 3 months ago
- Exercism exercises in Haskell.☆518Updated last month
- Functional Programming Course☆1,033Updated 2 years ago
- Automatic testing of Haskell programs.☆773Updated 3 weeks ago
- A special interest group for companies and individuals interested in commercial usage of Haskell☆459Updated 2 years ago
- A List of Foundational Haskell Papers☆886Updated last year
- A visual Haskell☆731Updated 3 years ago
- Haskell IDE☆975Updated last year
- A fast Haskell JSON library☆1,296Updated 3 weeks ago
- A streaming data library☆923Updated 7 months ago
- Introduction to parsing with Haskell and Parsec☆507Updated 6 years ago
- A Testing Framework for Haskell☆782Updated 3 weeks ago
- Haskell bindings for TensorFlow☆1,604Updated last year
- Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!☆1,935Updated last month
- Industrial-strength monadic parser combinator library☆971Updated this week
- An axiom-free formalization of category theory in Coq for personal study and practical work☆792Updated 3 weeks ago
- Applied Functional Programming Course - Move from exercises to a working app!☆630Updated 2 years ago
- Stable Haskell package sets: vetted consistent packages from Hackage☆545Updated 2 weeks ago
- A gently curated list of companies using Haskell in industry☆983Updated 3 months ago
- Haskell Programming From First Principles - Follow-up Resources☆503Updated 8 years ago