Alternatives and similar repositories for lhx

Users that are interested in lhx are comparing it to the libraries listed below

• qnikst / irc-simple
  ☆30Updated 7 years ago
• klapaucius / fphistoryru
  ☆13Updated 2 weeks ago
• CatTheoryByExample / book
  The category theory by example book
  ☆59Updated last year
• goosedb / Monalog
  Terminal logs observer
  ☆21Updated 4 months ago
• anton-trunov / coq-lecture-notes
  Coq Lecture Notes (WIP)
  ☆54Updated 4 years ago
• swamp-agr / lambdabot-telegram-plugins
  Telegram Lambdabot Bot
  ☆11Updated 11 months ago
• sequents / code
  Proof theory seminar
  ☆34Updated 4 years ago
• goosedb / InterpolatePlugin
  Interpolate plugin for GHC 8.10.7
  ☆13Updated 3 years ago
• well-typed / gp-zurihac-2020
  Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming
  ☆44Updated 4 years ago
• klapaucius / vector-hashtables
  ☆35Updated last year
• KovalevDima / ClickHaskell
  ClickHouse Native protocol driver in Haskell
  ☆38Updated 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.
  ☆171Updated 2 years ago
• visortelle / haskell-spotlight
  VSCode extension for Haskell
  ☆110Updated 3 months ago
• rocq-community / fav-ssr
  Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]
  ☆48Updated 4 months ago
• fizruk / telegram-bot-simple
  Easy to use library for building Telegram bots in Haskell.
  ☆108Updated this week
• nponeccop / haskell-exercises
  ☆41Updated 10 years 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
  ☆157Updated 3 years ago
• vsha96 / mllib
  Machine Learning in Haskell
  ☆28Updated 11 months ago
• chshersh / dr-cabal
  📊 Haskell dependencies build times profiler
  ☆73Updated 2 years ago
• haskellfoundation / HaskellSchool
  ☆51Updated 2 years ago
• anton-trunov / csclub-coq-course-spring-2021
  A course on formal verification at https://compsciclub.ru/en, Spring term 2021
  ☆57Updated 2 years ago
• oswald2 / haskell_articles
  A List of Haskell articles on good design, good testing
  ☆45Updated 5 years ago
• rpeszek / IdrisTddNotes
  Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell
  ☆48Updated 3 years ago
• fizruk / lambdaconf-2018-workshop
  LambdaConf 2018 workshop on building Telegram bots in Haskell.
  ☆25Updated 5 years ago
• ff-notes / ron
  Haskell implementation of RON and RON-RDT
  ☆65Updated 5 months ago
• kowainik / typerep-map
  ⚡️Efficient implementation of Map with types as keys
  ☆100Updated last year
• xgrommx / idris-ecosystem
  ☆49Updated 7 years ago
• buzden / deptycheck
  Facilities for generating dependently-typed data
  ☆26Updated this week
• mortberg / yacctt
  yacctt: Yet Another Cartesian Cubical Type Theory
  ☆76Updated 6 years ago
• etorreborre / registry
  Components as records of functions for Haskell
  ☆170Updated 2 months ago