ruHaskell-learn / lhx

Related projects ⓘ

Alternatives and complementary repositories for lhx

• qnikst / irc-simple
  ☆30Updated 6 years ago
• CatTheoryByExample / book
  The category theory by example book
  ☆57Updated last year
• goosedb / InterpolatePlugin
  Interpolate plugin for GHC 8.10.7
  ☆13Updated 2 years ago
• nponeccop / haskell-exercises
  ☆41Updated 9 years ago
• anton-trunov / coq-lecture-notes
  Coq Lecture Notes (WIP)
  ☆50Updated 4 years ago
• swamp-agr / lambdabot-telegram-plugins
  Telegram Lambdabot Bot
  ☆11Updated 5 months ago
• fizruk / telegram-bot-simple
  Easy to use library for building Telegram bots in Haskell.
  ☆108Updated this week
• willbasky / Awesome-list-of-Haskell-mentors
  An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.
  ☆169Updated 2 years ago
• goosedb / Monalog
  Terminal logs observer
  ☆16Updated 3 weeks ago
• bravit / hid-examples
  Examples to accompany the book "Haskell in Depth"
  ☆257Updated 2 months ago
• graninas / Andromeda
  ☆75Updated 2 months ago
• visortelle / haskell-spotlight
  VSCode extension for Haskell
  ☆108Updated 10 months ago
• graninas / automatic-whitebox-testing-showcase
  Automatic white-box testing with Free monads: approach description and showcase
  ☆83Updated 2 years ago
• coq-community / fav-ssr
  Functional Algorithms Verified in SSReflect [maintainer=@clayrat]
  ☆45Updated this week
• chshersh / dr-cabal
  📊 Haskell dependencies build times profiler
  ☆74Updated last year
• kowainik / prolens
  👓 Profunctor based lightweight implementation of Lenses
  ☆72Updated last year
• ff-notes / ron
  Haskell implementation of RON and RON-RDT
  ☆65Updated 4 months ago
• graninas / hierarchical-free-monads-the-most-developed-approach-in-haskell
  Big article about Hierarchical Free Monads, the most developed approach to build real software in Haskell
  ☆155Updated 3 years ago
• well-typed / gp-zurihac-2020
  Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming
  ☆44Updated 4 years ago
• kowainik / awesome-cabal
  💫 A curated list of awesome resources for the Haskell Cabal build tool.
  ☆118Updated 11 months ago
• haskell / core-libraries-committee
  ☆95Updated this week
• gvolpe / exchange-rates
  Querying a rate-limited currency exchange API using Redis as a cache
  ☆41Updated 4 years ago
• graninas / Hydra
  Hydra is a full-fledged framework for building web services, multithreaded and concurrent applications with SQL and KV DB support.
  ☆192Updated 2 months ago
• haskellfoundation / HaskellSchool
  ☆51Updated 2 years ago
• buzden / deptycheck
  Facilities for generating dependently-typed data
  ☆24Updated this week
• astynax / hemmet
  Emmet-like text expansion tool capable to produce HTML, CSS, file trees, that stuff
  ☆20Updated 2 months ago
• nodew / haskell-realworld-example
  A Haskell implementation of realworld.io
  ☆53Updated 8 months ago
• marcin-rzeznicki / libjwt-typed
  A Haskell implementation of JSON Web Token (JWT)
  ☆36Updated 9 months ago
• anton-k / hindley-milner-type-check
  Haskell library for type-inference with Hindley-Milner type-system.
  ☆33Updated 5 months ago