typo
by seliopou
A programming language that runs in Haskell's type system.
AI summary
Type compiler
A programming language compiler and interpreter built on top of Haskell's type system.
- stars
- 249
- forks
- 7
- watching
- 16
Similar projects
Found by comparing what the projects do, not just their names.
Compiler
A Haskell implementation of a compiler for a custom programming language
Compiler
A compiler that translates a functional programming language to x86-64 machine code from scratch.
Haskell compiler builder
A tool for bootstrapping and compiling self-hosting Haskell compilers from a minimal C compiler.
Language compiler
An interpreted functional programming language with type inference and efficient parsing.
Compiler
A compiler that translates an imperative programming language into machine code
Category-based compiler
A programming language with effects based on category theory and used to compile programs into various categorical abstractions.
Language compiler
A Haskell + Lisp compiler and runtime environment for executing multi-language code.
Compiler tester
Generates CI workflows for multiple versions of the Haskell programming language compiler
anoma/juvix458
Compiler
A compiler for a programming language designed for decentralized applications with a focus on intent-centric and declarative programming.
Compiler
A compiler for a multi-syntax functional programming language that compiles to WebAssembly
Stream compiler
A language and toolset for generating hard real-time C code from a domain-specific stream language
Haskell compiler
A Haskell compiler for a Lisp/Scheme-inspired language with an LLVM backend
Compiler
An esoteric programming language that compiles and links image files to generate C code
Haskell compiler
An implementation of Haskell semantics using Lisp syntax
Compiler
A compiled stack-based language with a toy compiler for x86_64 and aarch64 targeting
