dalaing / little-languages
Playing with DSLs in Haskell
☆22Updated 8 years ago
Alternatives and similar repositories for little-languages:
Users that are interested in little-languages are comparing it to the libraries listed below
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆17Updated 6 years ago
- Modern compiler implementation in ML, in Haskell☆16Updated 7 years ago
- Distributed systems execution emulation☆18Updated 6 years ago
- An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system☆84Updated 7 years ago
- Desugars Template Haskell abstract syntax to a simpler format without changing semantics☆20Updated 4 months ago
- ☆44Updated last month
- Robust prettyprinter for output of auto-generated Show instances☆17Updated 5 years ago
- Hakyll support for Agda literate files☆19Updated 3 years ago
- Dynamically-typed Haskell expressions involving applications and variables.☆22Updated 2 months ago
- Get all your structure and rip it apart.☆31Updated 6 years ago
- A monad, perhaps.☆32Updated 5 years ago
- ☆20Updated 6 years ago
- Minimal binary serialization library with focus on performance☆17Updated 4 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- More strongly typed variant of the ixset Haskell package☆24Updated 8 months ago
- A simple, purely-functional programming language☆25Updated 2 years ago
- haskell posix bindings☆18Updated last month
- Less Type, more Typeable.☆14Updated 6 years ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 7 years ago
- A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with al…☆16Updated 7 years ago
- UI experiments for coda☆66Updated 3 years ago
- Resources for "One Monad to Prove Them All"☆29Updated 6 years ago
- Compiler preprocessor introducing a syntactic extension for anonymous records☆12Updated 8 years ago
- Dependently typed Algorithm M and friends☆25Updated 6 years ago
- Beseder: make impossible state transitions impossible☆31Updated 5 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆52Updated 7 years ago
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- Miscellaneous constructions on monoids☆18Updated 2 months ago
- A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml☆38Updated 5 years ago
- Benchmarks using the non-moving incremental GHC garbage collector☆22Updated 5 years ago