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
• groupoid / groupoid.space
  🧊 Інститут формальної математики
  ☆35Updated 5 months ago
• arianvp / servis
  Github project where I track everything related to my thesis
  ☆28Updated 9 years ago
• o3 / n2o
  ⭕️ N2O: Haskell Application Server
  ☆46Updated 3 years ago
• mbg / hindley-milner
  Template for Hindley-Milner based languages
  ☆39Updated 3 years ago
• ezyang / compact
  Compact regions library for Haskell
  ☆82Updated last year
• JLimperg / cats
  Category Theory in Agda. Learning exercise, not for public consumption.
  ☆22Updated 5 years ago
• jameshaydon / smproc
  A well-typed symmetric-monoidal category of concurrent processes
  ☆25Updated 7 years ago
• monadfix / named
  Named parameters (keyword arguments) for Haskell
  ☆98Updated 8 months ago
• well-typed / gp-zurihac-2020
  Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming
  ☆44Updated 5 years ago
• haskell-perf / graphs
  ☆41Updated 5 years ago
• vrom911 / Rum
  Compiler for the Rum language
  ☆26Updated 6 years ago
• xgrommx / idris-ecosystem
  ☆50Updated 7 years ago
• GaloisInc / cereal
  ☆80Updated last year
• bravit / tt-ghc-exercises
  ☆28Updated 7 years ago
• sellout / yaya
  Yet another yet another recursion scheme library in Haskell.
  ☆89Updated 2 weeks ago
• graninas / stm-free
  STM on Free monads
  ☆25Updated 7 years ago
• grin-compiler / idris-grin
  GRIN backend for Idris
  ☆50Updated 5 years ago
• mortberg / yacctt
  yacctt: Yet Another Cartesian Cubical Type Theory
  ☆75Updated 7 years ago
• klapaucius / vector-hashtables
  ☆38Updated last month
• ekmett / bound
  Combinators for manipulating locally-nameless generalized de Bruijn terms
  ☆126Updated last year
• qnikst / haskell-fun
  A short scripts and programs
  ☆11Updated 2 years ago
• pigworker / Saturday
  being a thing I build on a Saturday
  ☆28Updated 7 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 7 years ago
• ChrisPenner / astar-monad
  A smart A* search monad transformer which supports backtracking user-state!
  ☆81Updated 4 years ago
• ekmett / contravariant
  Haskell 98 contravariant functors
  ☆73Updated last year
• nponeccop / haskell-exercises
  ☆40Updated 10 years ago
• evanrelf / drama
  🎭 Actor library for Haskell
  ☆30Updated 2 years ago
• CatTheoryByExample / book
  The category theory by example book
  ☆59Updated 3 weeks ago