Alternatives and similar repositories for Fran

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

• isovector / cccc
  🖼️ the compiling to closed categories compiler
  ☆66Updated 7 years ago
• aisamanra / s-cargot
  Elaborate and expressive S-Expression library for Haskell
  ☆64Updated last year
• jvranish / MiniKanrenT
  An implementation of miniKanren in Haskell
  ☆79Updated 12 years ago
• Twinside / Rasterific
  A drawing engine in Haskell
  ☆143Updated 4 years ago
• esoeylemez / netwire
  FRP library
  ☆63Updated 7 years ago
• grin-compiler / idris-grin
  GRIN backend for Idris
  ☆50Updated 5 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 7 years ago
• discus-lang / salt
  The compilation target that functional programmers always wanted.
  ☆62Updated 5 years ago
• isovector / ecstasy
  a GHC.Generics-based entity component system
  ☆77Updated 5 years ago
• thalerjonathan / gloss-idris
  A port of the gloss library from Haskell to Idris
  ☆23Updated 7 years ago
• ChrisPenner / mad-props
  Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.
  ☆67Updated 3 years ago
• transient-haskell / transient-stack
  All the Transient libraries
  ☆43Updated 3 months ago
• ku-fpg / data-reify
  Reification of data structures using observable sharing
  ☆29Updated last year
• ChrisPenner / lens-filesystem
  Lens interface for your filesystem
  ☆22Updated 4 years ago
• gelisam / conway
  Demonstrating comonad transformers.
  ☆36Updated 9 years ago
• fgaz / shine
  Declarative graphics for the browser
  ☆54Updated 5 years ago
• ku-fpg / blank-canvas
  A Haskell API into HTML5 Canvas
  ☆72Updated 6 months ago
• oinoom / Core
  compile your own functional language
  ☆36Updated 6 years ago
• nomeata / veggies
  Hopefully verifiable code generation in GHC
  ☆94Updated 8 years ago
• travitch / haggle
  An efficient graph library for Haskell
  ☆40Updated 3 months ago
• konn / equational-reasoning-in-haskell
  Agda-style equational reasoning in Haskell
  ☆54Updated 7 months ago
• lamdu / hypertypes
  Hypertypes - generic programming for heterogeneous recursive types
  ☆125Updated 10 months ago
• TOTBWF / tactic-haskell
  Tactic Metaprogramming in Haskell
  ☆56Updated 6 years ago
• pietervdvn / ALGT2
  ALGT 2.0
  ☆30Updated 5 years ago
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 10 years ago
• haskell-perf / graphs
  ☆41Updated 5 years ago
• liamoc / dixi
  A wiki based on firm theoretical foundations
  ☆51Updated 9 years ago
• haskellari / tree-diff
  Diffing of (expression) trees.
  ☆78Updated 4 months ago
• Erdwolf / prolog
  A prolog interpreter written in Haskell.
  ☆62Updated 10 years ago
• vaibhavsagar / duffer
  A git-compatible content tracker in Haskell.
  ☆67Updated 5 years ago