dalaing / little-languages

Related projects ⓘ

Alternatives and complementary repositories for little-languages

• goldfirere / th-desugar
  Desugars Template Haskell abstract syntax to a simpler format without changing semantics
  ☆20Updated 3 weeks ago
• ucsd-progsys / lh-workshop
  Materials for 2-hr LiquidHaskell Workshop
  ☆11Updated 2 years ago
• iand675 / hs-brotli
  ☆20Updated 5 years ago
• byteverse / posix-api
  haskell posix bindings
  ☆18Updated 8 months ago
• thoughtpolice / asc
  Austin's supercompiler work
  ☆21Updated 5 years ago
• mbg / hindley-milner
  Template for Hindley-Milner based languages
  ☆39Updated 2 years ago
• obsidiansystems / dependent-sum
  Dependent sums and supporting typeclasses for comparing and displaying them
  ☆54Updated last year
• fpco / sift
  Sift through Haskell code for analysis purposes
  ☆18Updated 6 years ago
• phadej / idioms-plugins
  Hack idiom-brackets using GHC Source Plugin (8.6+)
  ☆25Updated 6 years ago
• abailly / raptr
  Raft distributed consensus over HTTP
  ☆7Updated 4 years ago
• glaebhoerl / simplecompiler
  used to be something more ambitious, cut scope to just a simple compiler for thesis project
  ☆18Updated 5 years ago
• well-typed / ixset-typed
  More strongly typed variant of the ixset Haskell package
  ☆23Updated 3 months ago
• oofp / Beseder
  Beseder: make impossible state transitions impossible
  ☆32Updated 4 years ago
• byteverse / json-syntax
  High-performance JSON parser
  ☆24Updated 6 months ago
• serokell / time-warp
  Distributed systems execution emulation
  ☆18Updated 5 years ago
• haskell-suite / haskell-names
  Haskell suite library for name resolution
  ☆52Updated last year
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 9 years ago
• bmillwood / haskell-src-meta
  Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.
  ☆27Updated 3 weeks 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 5 years ago
• emilypi / nonempty-vector
  Non-empty Vectors
  ☆24Updated 6 months ago
• haskell-trasa / trasa
  Safe web routing in haskell
  ☆30Updated last year
• llvm-hs / llvm-hs-quote
  Quasiquoter for LLVM
  ☆31Updated 6 years ago
• spinda / liquidhaskell-cabal
  💧 Liquid Haskell integration for Cabal and Stack
  ☆24Updated 5 years ago
• lspitzner / multistate
  haskell library for monad transformers, like mtl's ReaderT/StateT, but more than one contained value/type
  ☆17Updated 2 years ago
• ekmett / codex
  UI experiments for coda
  ☆65Updated 3 years ago
• ennocramer / monad-dijkstra
  Haskell monad transformer for weighted, non-deterministic computation
  ☆29Updated 11 months ago
• quchen / show-prettyprint
  Robust prettyprinter for output of auto-generated Show instances
  ☆18Updated 4 years ago
• haskell / deepseq
  Deep evaluation of data structures
  ☆41Updated 2 months ago
• haskellari / qc-instances
  Instances for QuickCheck classes
  ☆13Updated 2 weeks ago
• ekmett / zippers
  Zippers based on lenses and traversals
  ☆38Updated last year