Alternatives and similar repositories for haskell-drawille

Users that are interested in haskell-drawille are comparing it to the libraries listed below

• evincarofautumn / Toody
  A two-dimensional parser combinator library.
  ☆41Updated 8 years ago
• aherrmann / simply_llvm
  ☆41Updated 8 years ago
• TOTBWF / iso
  A reversible language
  ☆22Updated 7 years ago
• effectfully / STLC
  Dependently typed Algorithm M and friends
  ☆25Updated 7 years ago
• ekmett / structs
  Exploring how to make a strict imperative universe in the GHC runtime system.
  ☆49Updated 10 months ago
• evertedsphere / sound-and-complete
  An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system
  ☆84Updated 7 years ago
• vrom911 / Rum
  Compiler for the Rum language
  ☆26Updated 6 years ago
• TerenceNg03 / mueval
  A secure sandboxed Haskell interpreter for pure function evaluation
  ☆76Updated last year
• yav / pretty-show
  Tools for working with derived Show instances in Haskell.
  ☆57Updated 2 years ago
• mgajda / monad-lgbt
  Monad transformers for combining local and global state with backtracking/backjumping/continuations
  ☆20Updated 9 years ago
• benclifford / acme-smuggler
  Smuggle arbitrary values in ()
  ☆12Updated 2 years ago
• cokmett / cokmett
  Because Kmett is not expressive enough. You need CoKmett!
  ☆35Updated 12 years ago
• ndmitchell / uniplate
  Haskell library for simple, concise and fast generic operations.
  ☆82Updated last year
• dorchard / effects-as-sessions
  Formalised embedding of an imperative language with effect system into session-typed pi calculus.
  ☆29Updated 11 months ago
• oinoom / Core
  compile your own functional language
  ☆36Updated 6 years ago
• discus-lang / salt
  The compilation target that functional programmers always wanted.
  ☆62Updated 5 years ago
• jstolarek / why-dependent-types-matter
  Companion code for "Why Dependent Types Matter" paper.
  ☆60Updated 7 years ago
• pietervdvn / ALGT2
  ALGT 2.0
  ☆30Updated 5 years ago
• sharkdp / purescript-isometric
  Isometric rendering for PureScript
  ☆58Updated 5 years ago
• chessai / theseus
  theseus, functional programming language with fully reversible computation
  ☆123Updated 6 years ago
• beijaflor-io / haskell-libui
  Haskell bindings to the libui C library.
  ☆48Updated 7 years ago
• phischu / monad-examples
  Example uses of monads
  ☆43Updated 6 years ago
• isovector / cccc
  🖼️ the compiling to closed categories compiler
  ☆66Updated 7 years ago
• nomeata / bisect-binary
  Tool to determine relevant parts of binary data
  ☆44Updated 7 years ago
• seliopou / typo
  A programming language that runs in Haskell's type system.
  ☆256Updated 9 years ago
• robrix / path
  A lambda calculus to explore type-directed program synthesis.
  ☆85Updated 5 years ago
• mniip / yoctoparsec
  A truly tiny monadic parsing library
  ☆28Updated 4 years ago
• awakesecurity / language-ninja
  A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.
  ☆35Updated 7 years ago
• vincenthz / hs-git
  git protocol and storage in pure haskell
  ☆66Updated 3 years ago
• rampion / kinder-functor
  An alternate definition of Haskell's Functor typeclass
  ☆42Updated 6 years ago