vijayphoenix / Compiler-written-in-Haskell
A Turing complete language π
β40Updated 4 years ago
Related projects β
Alternatives and complementary repositories for Compiler-written-in-Haskell
- Named parameters (keyword arguments) for Haskellβ91Updated 2 weeks ago
- Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficienβ¦β42Updated 5 years ago
- Example language server (LSP) implementation for a toy languageβ60Updated 3 years ago
- A simple combinator libraryβ29Updated 6 years ago
- An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-systemβ84Updated 6 years ago
- A tiny language for teaching and experimenting with Refinement Typesβ47Updated 3 years ago
- ICFP tutorialβ40Updated 3 years ago
- The theory of groupsβ75Updated last year
- LLVM code generation in Haskellβ50Updated last week
- A verified compiler for a lazy functional languageβ31Updated 3 weeks ago
- Experimental proof assistant (and architecture) for dependent linear logicβ47Updated 2 years ago
- PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.β80Updated 3 years ago
- A prototypical dependently typed languages with sized types and variancesβ104Updated last year
- An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data typesβ90Updated last year
- A prototype programming language for programming with runnersβ88Updated 3 years ago
- The Software Foundations book, in GHCβ83Updated 2 weeks ago
- SPJ's tutorial on implementing functional languagesβ28Updated 5 years ago
- Compiler for the Rum languageβ25Updated 5 years ago
- Quantitative Type Theory implementationβ54Updated 3 years ago
- Hypertypes - generic programming for heterogeneous recursive typesβ119Updated 2 months ago
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)β61Updated last year
- A collection of Notes on GHCβ70Updated 5 years ago
- Lightweight package providing commonly useful parser combinatorsβ52Updated 4 months ago
- Dependently Typed Lambda Calculus in Haskellβ111Updated 3 years ago
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivationβ78Updated 8 years ago
- A pure type system implemented in OCamlβ77Updated 3 years ago
- Unification and type inference algorithmsβ123Updated 9 years ago
- The compilation target that functional programmers always wanted.β62Updated 4 years ago
- λλλλ Lennart Augustsson's Ξ»-calculus cooked four waysβ52Updated 7 years ago