Alternatives and similar repositories for inductive-mazes

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

• steshaw / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆53Updated 8 years ago
• ivanperez-keera / SpaceInvaders
  A Haskell game written in Yampa
  ☆27Updated last year
• mstksg / inCode
  Source for personal blog.
  ☆77Updated 2 months ago
• robrix / path
  A lambda calculus to explore type-directed program synthesis.
  ☆85Updated 5 years ago
• RedPRL / sml-typed-abts
  second-order abstract syntax
  ☆31Updated 3 years ago
• Lysxia / generic-random
  Generic random generators
  ☆81Updated 2 years ago
• nomeata / veggies
  Hopefully verifiable code generation in GHC
  ☆94Updated 8 years ago
• ajknapp / accelerate-ad
  Combinatory automatic differentiation in Haskell for heterogeneous computing.
  ☆22Updated 6 years ago
• simonmar / monad-par
  ☆125Updated last year
• commercialhaskell / path
  Typed filepath
  ☆125Updated 4 months ago
• RyanGlScott / ghc-software-foundations
  The Software Foundations book, in GHC
  ☆82Updated 5 months ago
• idontgetoutmuch / NumMethHaskell
  Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics
  ☆57Updated 4 years ago
• sjoerdvisscher / data-category
  Library of categories, with categorical constructions on them
  ☆57Updated last year
• diagrams / diagrams-lib
  Diagrams standard library
  ☆140Updated this week
• monadfix / named
  Named parameters (keyword arguments) for Haskell
  ☆95Updated 2 months ago
• ndmitchell / uniplate
  Haskell library for simple, concise and fast generic operations.
  ☆80Updated last year
• sfultong / stand-in-language
  a simple total pure functional language, eventually to have powerful static checking and optimization
  ☆33Updated last week
• llelf / icfp2019-papers
  ICFP 2019 preprints/papers
  ☆44Updated 5 years ago
• dorchard / effect-monad
  Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.
  ☆100Updated last year
• fpco / schoolofhaskell.com
  ☆16Updated 5 years ago
• HeinrichApfelmus / vault
  A typed, persistent store for values of arbitrary types
  ☆60Updated 3 months ago
• phischu / monad-examples
  Example uses of monads
  ☆43Updated 6 years ago
• mchakravarty / BigPixel
  Pixel art for games
  ☆140Updated 10 years ago
• tonyday567 / numhask
  A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.
  ☆69Updated 7 months ago
• mstksg / functor-combinators
  Combine and enhance Functors
  ☆39Updated last year
• cohomolo-gy / homotopy-type-theory-notes
  HoTT Note-taking action
  ☆25Updated 6 years ago
• emilypi / group-theory
  The theory of groups
  ☆78Updated last year
• qfpl / sv
  Comma (and other) separated values
  ☆77Updated last year
• valis / hoq
  A language based on homotopy type theory with an interval
  ☆83Updated 10 years ago
• ChrisPenner / mad-props
  Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.
  ☆67Updated 2 years ago