dalaing / little-languages
Playing with DSLs in Haskell
☆22Updated 7 years ago
Alternatives and similar repositories for little-languages:
Users that are interested in little-languages are comparing it to the libraries listed below
- Desugars Template Haskell abstract syntax to a simpler format without changing semantics☆20Updated last month
- Dependent sums and supporting typeclasses for comparing and displaying them☆55Updated last year
- ☆20Updated 5 years ago
- Modern compiler implementation in ML, in Haskell☆16Updated 6 years ago
- haskell posix bindings☆18Updated 10 months ago
- Distributed systems execution emulation☆18Updated 6 years ago
- Get all your structure and rip it apart.☆30Updated 6 years ago
- Miscellaneous constructions on monoids☆18Updated last month
- Dependently-typed finite maps (partial dependent products)☆65Updated 7 months ago
- Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …☆3Updated 3 years ago
- higher-kinded data☆30Updated last year
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Sift through Haskell code for analysis purposes☆18Updated 6 years ago
- More strongly typed variant of the ixset Haskell package☆24Updated 5 months ago
- Template for Hindley-Milner based languages☆39Updated 3 years ago
- Automatic piecewise-mutable references for your types☆43Updated 4 years ago
- High-resolution clock functions: monotonic, realtime, cputime.☆59Updated last year
- A command-line tool for live monitoring☆25Updated 2 years ago
- Accessing Postgres in a data frame in Haskell☆24Updated last year
- Haskell library for efficiently building up buffers☆26Updated last week
- An efficient packed, immutable UTF8-backed Unicode text type for Haskell☆33Updated 6 years ago
- Materials for 2-hr LiquidHaskell Workshop☆11Updated 3 years ago
- ☆23Updated 7 years ago
- 🔖 Better Haskell documentation.☆17Updated 4 years ago
- Robust prettyprinter for output of auto-generated Show instances☆18Updated 5 years ago
- Haskell streaming library optimized for low CPU and GC overhead☆16Updated 6 years ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆17Updated 6 years ago
- 💧 Liquid Haskell integration for Cabal and Stack☆23Updated 5 years ago
- ☆28Updated 6 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago