Alternatives and similar repositories for shady-gen:

Users that are interested in shady-gen are comparing it to the libraries listed below

• seantalts / hasktrip
  Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.
  ☆23Updated 6 years ago
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 10 years ago
• hrldcpr / Bezier.hs
  Bézier curves in Haskell
  ☆28Updated 8 years ago
• davean / waldo
  A small Haskell server for generating visual stories based on some ascertainable data about the requester.
  ☆57Updated 12 years ago
• thoughtpolice / vacuum
  DEPRECATED: Use ghc-heap, ghc-heap-view in GHC 8.x instead.
  ☆18Updated 8 years ago
• noteed / language-glsl
  Haskell package for representation, parsing, and pretty-printing of GLSL
  ☆31Updated last year
• serokell / foundry
  Morte IDE
  ☆29Updated last month
• mstone / soutei
  a logic-based trust-management system
  ☆19Updated 12 years ago
• MedeaMelana / JsonGrammar
  Combinators for bidirectional JSON parsing
  ☆21Updated 10 years ago
• Gabriella439 / Haskell-MVC-Library
  Model-view-controller
  ☆63Updated 2 years ago
• nostrademons / eve-language
  A purely functional programming language intended for practical programming.
  ☆28Updated 15 years ago
• samplecount / shake-language-c
  Cross-compilation framework based on the Shake Haskell library.
  ☆28Updated 4 years ago
• soupi / pureli
  A purely functional, dynamically typed, parallel evaluated Lisp-like programming language
  ☆35Updated 9 years ago
• kofno / purescript-aws-lambda
  Write your AWS Lambda in PureScript!
  ☆9Updated 9 years ago
• liamoc / dixi
  A wiki based on firm theoretical foundations
  ☆51Updated 8 years ago
• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 2 years ago
• reynir / Verified
  A collection of proofs for some idris class instances - NOT MAINTAINED
  ☆18Updated 9 years ago
• ProjectMAC / propagators
  The propagator system
  ☆41Updated 9 years ago
• byorgey / type-matrices
  Paper about polynomial functors, regular expressions, matrices of types, derivatives, semirings, and other cool stuff
  ☆13Updated 7 years ago
• mikeizbicki / homoiconic
  Constructs FAlgebras from typeclasses, making Haskell functions homoiconic
  ☆18Updated 5 years ago
• int-index / kalium
  Translate Pascal into Haskell
  ☆51Updated 5 years ago
• darius / toot
  A small language to demo turning an interpreter into a compiler
  ☆11Updated 8 years ago
• UnkindPartition / prover
  Simple lambda prover
  ☆24Updated 9 years ago
• kyagrd / tiper
  Type Inference Prototyping Engine from Relational specifications of type systems
  ☆11Updated 4 years ago
• webyrd / cool-relational-interpreter-examples
  Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work
  ☆14Updated 10 years ago
• jwiegley / z3cat
  Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations
  ☆38Updated 7 years ago
• tathougies / react.hs
  Simple FRP implementation for Haskell. See blog post at http://travis.athougies.net/
  ☆14Updated 10 years ago
• tfausak / purescript-batteries
  A PureScript prelude with more features.
  ☆30Updated 7 years ago
• abid-mujtaba / haskell-cas
  A Computer Algebra System written in and for Haskell
  ☆26Updated 8 years ago
• webyrd / untitled-relational-interpreter-book
  Relational Programming in miniKanren
  ☆52Updated 9 years ago