Alternatives and similar repositories for inductive-mazes:

Users that are interested in inductive-mazes are comparing it to the libraries listed below

• mstksg / inCode
  Source for personal blog.
  ☆77Updated this week
• monadfix / named
  Named parameters (keyword arguments) for Haskell
  ☆94Updated 2 weeks ago
• steshaw / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆52Updated 7 years ago
• sjoerdvisscher / data-category
  Library of categories, with categorical constructions on them
  ☆56Updated last year
• david-christiansen / pie-hs
  An implementation of Pie in Haskell
  ☆205Updated 5 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 6 years ago
• lamdu / hypertypes
  Hypertypes - generic programming for heterogeneous recursive types
  ☆121Updated 2 months ago
• brianhempel / live-ghci
  Evaluate special comments in your program on file save.
  ☆38Updated 4 years ago
• jfdm / idris-containers
  Various data structures for use in the Idris Language.
  ☆95Updated 4 years ago
• ivanperez-keera / SpaceInvaders
  A Haskell game written in Yampa
  ☆26Updated last year
• ekmett / bound
  Combinators for manipulating locally-nameless generalized de Bruijn terms
  ☆123Updated 8 months ago
• cohomolo-gy / homotopy-type-theory-notes
  HoTT Note-taking action
  ☆25Updated 6 years ago
• qfpl / propagator-examples
  ☆38Updated 5 years ago
• nikita-volkov / graph-db
  An experimental native Haskell graph database
  ☆61Updated 6 years ago
• snoyberg / why-you-should-use-stm
  ☆40Updated 5 years ago
• bravit / tt-ghc-exercises
  ☆28Updated 6 years ago
• isovector / cccc
  🖼️ the compiling to closed categories compiler
  ☆66Updated 6 years ago
• robrix / path
  A lambda calculus to explore type-directed program synthesis.
  ☆84Updated 5 years ago
• llvm-hs / llvm-hs-examples
  Examples for Haskell bindings to LLVM
  ☆71Updated 3 years ago
• ekmett / algebra
  constructive abstract algebra
  ☆103Updated 5 years ago
• bawolk / hsp
  Haskell command line text stream processor
  ☆86Updated 5 years ago
• nomeata / veggies
  Hopefully verifiable code generation in GHC
  ☆94Updated 7 years ago
• gallais / generic-syntax
  A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
  ☆72Updated 3 years ago
• paf31 / haskell-slides
  ☆50Updated 9 years ago
• RyanGlScott / ghc-software-foundations
  The Software Foundations book, in GHC
  ☆82Updated 3 months ago
• valis / hoq
  A language based on homotopy type theory with an interval
  ☆85Updated 9 years ago
• fpco / applied-haskell
  ☆80Updated 6 years ago
• pigworker / so-pigworker
  being the scrapings of my stackoverflow answers
  ☆48Updated 5 years ago
• bolt12 / laop
  Linear Algebra of Programming - Algebraic Matrices in Haskell
  ☆84Updated last year
• commercialhaskell / path
  Typed filepath
  ☆125Updated 2 months ago