Alternatives and similar repositories for python5

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

• fizruk / snakes-demo
  Snakes game demo.
  ☆15Updated 8 years ago
• qnikst / irc-simple
  ☆29Updated 7 years ago
• bravit / tt-ghc-exercises
  ☆28Updated 7 years ago
• arianvp / servis
  Github project where I track everything related to my thesis
  ☆28Updated 9 years ago
• ezyang / compact
  Compact regions library for Haskell
  ☆82Updated last year
• well-typed / gp-zurihac-2020
  Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming
  ☆44Updated 5 years ago
• sequents / code
  Proof theory seminar
  ☆36Updated 4 years ago
• ekmett / bound
  Combinators for manipulating locally-nameless generalized de Bruijn terms
  ☆128Updated last year
• nponeccop / haskell-exercises
  ☆40Updated 10 years ago
• ekmett / contravariant
  Haskell 98 contravariant functors
  ☆73Updated this week
• well-typed / ghc-events-analyze
  ☆67Updated 5 months ago
• o3 / n2o
  ⭕️ N2O: Haskell Application Server
  ☆46Updated 3 years ago
• qnikst / haskell-fun
  A short scripts and programs
  ☆11Updated 3 years ago
• klapaucius / vector-hashtables
  ☆38Updated this week
• vrom911 / Rum
  Compiler for the Rum language
  ☆26Updated 6 years ago
• isovector / ecstasy
  a GHC.Generics-based entity component system
  ☆77Updated 5 years ago
• mbg / hindley-milner
  Template for Hindley-Milner based languages
  ☆39Updated 4 years ago
• acfoltzer / gitrev
  Compile git revision info into Haskell projects
  ☆49Updated 2 years ago
• grin-compiler / idris-grin
  GRIN backend for Idris
  ☆50Updated 5 years ago
• rampion / constraint-unions
  A syntax for unions of constraints in Haskell
  ☆70Updated 8 years ago
• int-index / caps
  Monadic capabilities with late binding
  ☆29Updated 2 years ago
• graninas / stm-free
  STM on Free monads
  ☆25Updated 7 years ago
• Lysxia / first-class-families
  First-class type families
  ☆90Updated 2 months ago
• chpatrick / clang-pure
  Easy C++ code analysis with pure Haskell
  ☆35Updated last year
• GaloisInc / cereal
  ☆80Updated last year
• gelisam / category-syntax
  do-notation for Category and "Arrow without arr"
  ☆63Updated 8 years ago
• haskell-perf / graphs
  ☆41Updated 5 years ago
• haskell-perf / dictionaries
  Benchmarks for dictionary data structures: hash tables, maps, tries, etc.
  ☆98Updated 4 years ago
• monadfix / named
  Named parameters (keyword arguments) for Haskell
  ☆98Updated 9 months ago
• snoyberg / why-you-should-use-stm
  ☆44Updated 6 years ago