Alternatives and similar repositories for little-languages

Users that are interested in little-languages are comparing it to the libraries listed below

• diagrams / monoid-extras
  Miscellaneous constructions on monoids
  ☆23Updated 2 months ago
• evertedsphere / sound-and-complete
  An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system
  ☆84Updated 7 years ago
• iokasimov / apart
  Get all your structure and rip it apart.
  ☆32Updated 6 years ago
• themattchan / haskell-tiger
  Modern compiler implementation in ML, in Haskell
  ☆16Updated 7 years ago
• glaebhoerl / simplecompiler
  used to be something more ambitious, cut scope to just a simple compiler for thesis project
  ☆17Updated 6 years ago
• mbg / hindley-milner
  Template for Hindley-Milner based languages
  ☆39Updated 3 years ago
• corsis / clock
  High-resolution clock functions: monotonic, realtime, cputime.
  ☆59Updated last year
• llelf / icfp2019-papers
  ICFP 2019 preprints/papers
  ☆44Updated 5 years ago
• ekmett / structs
  Exploring how to make a strict imperative universe in the GHC runtime system.
  ☆48Updated 7 months ago
• llvm-hs / llvm-hs-quote
  Quasiquoter for LLVM
  ☆31Updated 7 years ago
• llvm-hs / llvm-hs-typed
  Type Safe LLVM IR ( Experimental )
  ☆49Updated 7 years ago
• dreixel / generic-deriving
  ☆44Updated 4 months ago
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆101Updated 2 years ago
• byteverse / posix-api
  haskell posix bindings
  ☆18Updated last month
• lortabac / ariel
  A simple, purely-functional programming language
  ☆25Updated 3 years ago
• ekmett / codex
  UI experiments for coda
  ☆66Updated 3 years ago
• obsidiansystems / dependent-sum
  Dependent sums and supporting typeclasses for comparing and displaying them
  ☆56Updated last year
• dalaing / type-systems
  ☆23Updated 7 years ago
• yav / pretty-show
  Tools for working with derived Show instances in Haskell.
  ☆57Updated 2 years ago
• vincenthz / hs-memory
  haskell memory
  ☆48Updated last year
• sjoerdvisscher / one-liner
  Constraint-based generics
  ☆49Updated last year
• text-utf8 / text-utf8
  An efficient packed, immutable UTF8-backed Unicode text type for Haskell
  ☆33Updated 6 years ago
• emilypi / nonempty-vector
  Non-empty Vectors
  ☆24Updated 3 months ago
• obsidiansystems / dependent-map
  Dependently-typed finite maps (partial dependent products)
  ☆66Updated 5 months ago
• maoe / lifted-async
  Run lifted IO operations asynchronously and wait for their results
  ☆29Updated 8 months ago
• well-typed / ixset-typed
  More strongly typed variant of the ixset Haskell package
  ☆25Updated 11 months ago
• ezyang / ghc-shake
  ghc --make reimplemented with Shake
  ☆30Updated last year
• isovector / type-errors
  tools for writing better type errors
  ☆73Updated last year
• goldfirere / th-desugar
  Desugars Template Haskell abstract syntax to a simpler format without changing semantics
  ☆20Updated 7 months ago
• NorfairKing / easyspec
  Signature inference for Functional Property Discovery in Haskell
  ☆38Updated 7 years ago