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
• TerenceNg03 / mueval
  A secure sandboxed Haskell interpreter for pure function evaluation
  ☆76Updated last year
• effectfully / STLC
  Dependently typed Algorithm M and friends
  ☆25Updated 7 years ago
• aherrmann / simply_llvm
  ☆41Updated 8 years ago
• dorchard / effects-as-sessions
  Formalised embedding of an imperative language with effect system into session-typed pi calculus.
  ☆29Updated last year
• TOTBWF / iso
  A reversible language
  ☆22Updated 7 years ago
• silky / literate-readme
  README files used to be able to lie. Now they can't! Woo!
  ☆38Updated 4 years ago
• vrom911 / Rum
  Compiler for the Rum language
  ☆26Updated 6 years ago
• cokmett / cokmett
  Because Kmett is not expressive enough. You need CoKmett!
  ☆35Updated 12 years ago
• tranma / empirical-big-oh
  Measure time complexity empirically.
  ☆48Updated 10 years ago
• ktvoelker / standalone-haddock
  Generate standalone haddock documentation for a set of packages
  ☆28Updated 5 years ago
• rampion / constraint-unions
  A syntax for unions of constraints in Haskell
  ☆70Updated 8 years ago
• evertedsphere / sound-and-complete
  An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system
  ☆84Updated 7 years ago
• mietek / idris-bash
  GNU bash backend for Idris
  ☆52Updated 6 years ago
• discus-lang / salt
  The compilation target that functional programmers always wanted.
  ☆62Updated 5 years ago
• mstksg / uncertain
  Manipulating numbers with inherent measurement/experimental uncertainty.
  ☆25Updated last year
• aspiwack / peppermint-prover
  Experimental proof assistant (and architecture) for dependent linear logic
  ☆51Updated 3 years ago
• langston-barrett / write-yourself-a-scheme-in-agda
  Like "Write Yourself a Scheme in 48 Hours", but in Agda
  ☆51Updated 7 years ago
• ekmett / structs
  Exploring how to make a strict imperative universe in the GHC runtime system.
  ☆49Updated last year
• mniip / yoctoparsec
  A truly tiny monadic parsing library
  ☆28Updated 4 years ago
• jstolarek / why-dependent-types-matter
  Companion code for "Why Dependent Types Matter" paper.
  ☆60Updated 7 years ago
• yav / dump-core
  ☆45Updated 4 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 7 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆90Updated 4 years ago
• robrix / path
  A lambda calculus to explore type-directed program synthesis.
  ☆85Updated 5 years ago
• chrisdone-archive / prana
  Interpreter for GHC Haskell
  ☆22Updated 6 years ago
• lspitzner / exference
  Haskell tool to generate expressions from types
  ☆101Updated 8 years ago
• kellino / microML
  a simple functional language for learners
  ☆30Updated 8 years ago
• omelkonian / rewrite-inspector
  A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…
  ☆21Updated 6 years ago
• sfultong / stand-in-language
  a simple total pure functional language, eventually to have powerful static checking and optimization
  ☆33Updated 2 weeks ago