Alternatives and similar repositories for c-of-x

Users that are interested in c-of-x are comparing it to the libraries listed below

• KovalevDima / ClickHaskell
  ClickHouse Native protocol driver in Haskell
  ☆38Updated this week
• goosedb / Monalog
  Terminal logs observer
  ☆21Updated 4 months ago
• swamp-agr / lambdabot-telegram-plugins
  Telegram Lambdabot Bot
  ☆11Updated 11 months ago
• ruHaskell-learn / lhx
  Line Hyper-eXpander, a sed/awk-like text processing tool with a human face :)
  ☆15Updated 2 years ago
• qnikst / irc-simple
  ☆30Updated 7 years ago
• astynax / hemmet
  Emmet-like text expansion tool capable to produce HTML, CSS, file trees, that stuff
  ☆21Updated 8 months 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
• anton-trunov / coq-lecture-notes
  Coq Lecture Notes (WIP)
  ☆54Updated 4 years ago
• anton-k / hindley-milner-type-check
  Haskell library for type-inference with Hindley-Milner type-system.
  ☆34Updated 11 months ago
• klapaucius / vector-hashtables
  ☆35Updated last year
• klapaucius / fphistoryru
  ☆13Updated 2 weeks ago
• goosedb / InterpolatePlugin
  Interpolate plugin for GHC 8.10.7
  ☆13Updated 3 years ago
• j-mie6 / ParsleyHaskell
  Reimplementation of Parsley in Haskell, with improvements
  ☆52Updated last year
• anuyts / agda-sessions
  Learn the Agda basics in three 2-hour sessions.
  ☆56Updated last year
• fizruk / snakes-demo
  Snakes game demo.
  ☆16Updated 8 years ago
• fizruk / telegram-bot-simple
  Easy to use library for building Telegram bots in Haskell.
  ☆108Updated last week
• groupoid / anders
  🧊 Модальний гомотопічний верифікатор математики
  ☆22Updated last week
• cblp / python5
  Python5
  ☆15Updated 5 years ago
• luc-tielen / llvm-codegen
  LLVM code generation in Haskell
  ☆54Updated 6 months ago
• well-typed / gp-zurihac-2020
  Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming
  ☆44Updated 4 years ago
• CatTheoryByExample / book
  The category theory by example book
  ☆59Updated last year
• nponeccop / haskell-exercises
  ☆41Updated 10 years ago
• sequents / code
  Proof theory seminar
  ☆34Updated 4 years ago
• ezyang / compact
  Compact regions library for Haskell
  ☆82Updated 10 months ago
• stevana / quickcheck-state-machine
  Test monadic programs using state machine based models
  ☆17Updated 8 months ago
• matt-noonan / justified-containers
  Standard containers, with keys that carry type-level proofs of their own presence.
  ☆80Updated 5 years ago
• o3 / n2o
  ⭕️ N2O: Haskell Application Server
  ☆48Updated 3 years ago
• 0xd34df00d / inline-asm
  Inline Assembly code in ur Haskell!
  ☆43Updated last month
• Bodigrim / tasty-bench
  Featherlight benchmark framework, drop-in replacement for criterion and gauge.
  ☆81Updated last month
• mortberg / yacctt
  yacctt: Yet Another Cartesian Cubical Type Theory
  ☆76Updated 6 years ago