typo
Type compiler
A programming language compiler and interpreter built on top of Haskell's type system.
A programming language that runs in Haskell's type system.
249 stars
16 watching
7 forks
Language: Haskell
last commit: over 8 years ago Related projects:
| Repository | Description | Stars |
|---|---|---|
 kelilanguage/compiler | A Haskell implementation of a compiler for a custom programming language | 172 |
 radian-software/kalyn | A compiler that translates a functional programming language to x86-64 machine code from scratch. | 156 |
 blynn/compiler | A tool for bootstrapping and compiling self-hosting Haskell compilers from a minimal C compiler. | 214 |
 gabriella439/grace | An interpreted functional programming language with type inference and efficient parsing. | 389 |
 bollu/tiny-optimising-compiler | A compiler that translates an imperative programming language into machine code | 157 |
 jameshaydon/lawvere | A programming language with effects based on category theory and used to compile programs into various categorical abstractions. | 268 |
 axellang/axel | A Haskell + Lisp compiler and runtime environment for executing multi-language code. | 206 |
 haskell-ci/haskell-ci | Generates CI workflows for multiple versions of the Haskell programming language compiler | 438 |
 anoma/juvix | A compiler for a programming language designed for decentralized applications with a focus on intent-centric and declarative programming. | 458 |
 forest-lang/forest-compiler | A compiler for a multi-syntax functional programming language that compiles to WebAssembly | 621 |
 leepike/copilot | A language and toolset for generating hard real-time C code from a domain-specific stream language | 149 |
 talw/crisp-compiler | A Haskell compiler for a Lisp/Scheme-inspired language with an LLVM backend | 99 |
 tartanllama/vizh | An esoteric programming language that compiles and links image files to generate C code | 232 |
 haskell-lisp/liskell | An implementation of Haskell semantics using Lisp syntax | 67 |
 vmchale/kempe | A compiled stack-based language with a toy compiler for x86_64 and aarch64 targeting | 58 |