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 10 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