Alternatives and similar repositories for AutomataTheory

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

• aherrmann / simply_llvm
  ☆41Updated 7 years ago
• sdiehl / paris-fp
  Paris Functional Programming Meetup
  ☆27Updated 5 years ago
• rampion / kinder-functor
  An alternate definition of Haskell's Functor typeclass
  ☆42Updated 6 years ago
• themattchan / haskell-tiger
  Modern compiler implementation in ML, in Haskell
  ☆16Updated 7 years ago
• m0ar / lollipop
  A general purpose programming language with linear types
  ☆43Updated 8 years ago
• dalaing / type-systems
  ☆23Updated 7 years ago
• diagrams / monoid-extras
  Miscellaneous constructions on monoids
  ☆23Updated last month
• byorgey / type-matrices
  Paper about polynomial functors, regular expressions, matrices of types, derivatives, semirings, and other cool stuff
  ☆14Updated 7 years ago
• dorchard / effects-as-sessions
  Formalised embedding of an imperative language with effect system into session-typed pi calculus.
  ☆28Updated 7 months ago
• kellino / microML
  a simple functional language for learners
  ☆30Updated 8 years ago
• Gabriella439 / list-transformer
  List monad transformer
  ☆60Updated last year
• syallop / Join-Language
  Haskell Join-calculus DSL
  ☆24Updated 6 years ago
• llvm-hs / llvm-hs-typed
  Type Safe LLVM IR ( Experimental )
  ☆49Updated 7 years ago
• DanBurton / system-f
  System F implemented in Haskell
  ☆24Updated 13 years ago
• frerich / catamorphism
  A package exposing a function for generating catamorphisms.
  ☆28Updated 7 years ago
• csabahruska / jhc-components
  JHC Haskell compiler split into reusable components
  ☆58Updated 6 years ago
• gergoerdi / tandoori
  Compositional type checking for Haskell
  ☆37Updated 14 years ago
• BekaValentine / SimpleFP
  A series of implementations of a simple functional programming language.
  ☆30Updated 9 years ago
• gfixler / continou
  Companion code to the talk "Finite Flights on an Infinite Plane" (http://www.meetup.com/santa-monica-haskell/events/227156054/)
  ☆15Updated last month
• willtim / row-polymorphism
  Example row-polymorphism implementations
  ☆61Updated last year
• ekmett / succinct
  playground for working with succinct data structures
  ☆97Updated 9 years ago
• batterseapower / parallel-io
  Haskell combinators for executing IO actions in parallel on a thread pool
  ☆47Updated 2 years ago
• bobatkey / foveran
  A Dependently Typed Programming Language
  ☆27Updated 4 years ago
• jwiegley / linearscan
  ☆17Updated 2 years ago
• avieth / Algebraic
  Experiments on the construction of functions
  ☆29Updated 9 years ago
• Gabriella439 / haskell-in-the-large
  A book about large-scale design in Haskell
  ☆75Updated 10 years ago
• ocharles / hsfmt
  A Haskell code formatter using prettyprinter and the GHC API
  ☆24Updated 6 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆65Updated 6 years ago
• spire / spire
  The Spire Programming Language
  ☆59Updated 10 years ago
• ekmett / tagged
  phantom types
  ☆38Updated 4 months ago