vijayphoenix / Compiler-written-in-Haskell
A Turing complete language π
β40Updated 4 years ago
Related projects β
Alternatives and complementary repositories for Compiler-written-in-Haskell
- Build systemβ122Updated last year
- Example language server (LSP) implementation for a toy languageβ60Updated 3 years ago
- ICFP tutorialβ40Updated 3 years ago
- Named parameters (keyword arguments) for Haskellβ90Updated 3 weeks ago
- Quantitative Type Theory implementationβ54Updated 3 years ago
- A simple combinator libraryβ29Updated 6 years ago
- Trying to write an understandable implementation of Haskell, in Haskellβ119Updated 3 years ago
- JHC Haskell compiler split into reusable componentsβ57Updated 5 years ago
- βοΈβπ Convenient interface for printing colourful messagesβ66Updated last month
- Free ideas, worth every pennyβ32Updated 4 years ago
- Unification and type inference algorithmsβ123Updated 9 years ago
- An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-systemβ84Updated 6 years ago
- Strict Haskell-like programming language that compiles to LLVMβ70Updated 5 years ago
- Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficienβ¦β42Updated 5 years ago
- ICFP 2020 papers. Crowd-sourcedβ92Updated 4 years ago
- Lightweight package providing commonly useful parser combinatorsβ52Updated 5 months ago
- β39Updated 4 years ago
- Automatic piecewise-mutable references for your typesβ43Updated 4 years ago
- Minimalistic dependent type theory with syntactic metaprogrammingβ55Updated 5 months ago
- Dependently Typed Lambda Calculus in Haskellβ112Updated 3 years ago
- A prototypical dependently typed languages with sized types and variancesβ104Updated 2 years ago
- Embedded C code generation DSL for Haskell.β28Updated 5 years ago
- SPJ's tutorial on implementing functional languagesβ28Updated 5 years ago
- Haskell implementation of nominal datatypes and functionsβ39Updated 4 years ago
- Difference lists in Haskellβ65Updated 4 months ago
- LLVM code generation in Haskellβ51Updated 3 weeks ago
- λλλλ Lennart Augustsson's Ξ»-calculus cooked four waysβ52Updated 7 years ago
- βοΈ A refinement proof framework for haskellβ69Updated last year
- An experimental Haskell library for programming with effectful runners.β29Updated 4 years ago