letlang
by linkdd
Functional language with a powerful type system.
AI summary
Type-based compiler
A compiler for a functional language with a powerful type system
- stars
- 166
- forks
- 4
- watching
- 3
Similar projects
Found by comparing what the projects do, not just their names.
rhysd/gocaml749
Compiler
An implementation of a statically-typed functional programming language in Go using LLVM and building its own compiler from scratch.
dundalek/liz268
Language compiler
A Lisp-flavored programming language built on top of Zig, aiming to provide a lower-level alternative to Clojure with more direct access to hardware.
Language compiler
A Haskell + Lisp compiler and runtime environment for executing multi-language code.
yubrot/llrl156
Compiler project
An experimental compiler for a Lisp-like programming language with a focus on self-hosting and compilation to LLVM backend.
Rust compiler
A high-level language for Rust that allows users to write efficient code in a dynamic, Javascript-esque syntax
Category-based compiler
A programming language with effects based on category theory and used to compile programs into various categorical abstractions.
Compiler
A compiler and runtime system for a simple programming language, designed to be efficient and embeddable in other applications.
Compiler
A compiler for a multi-syntax functional programming language that compiles to WebAssembly
Compiler
A programming language compiler to WebAssembly with minimalistic syntax and full control over imports and exports.
Type level language exploration
Exploring type-level programming in Rust with a focus on simplicity and expressiveness
Haskell compiler
A Haskell compiler for a Lisp/Scheme-inspired language with an LLVM backend
Lisp implementation
A Lisp dialect implemented with Crystal
Language compiler
An interpreted functional programming language with type inference and efficient parsing.
Compiler
A compiler for a toy language based on LLVM that implements the System Fω type-system
WASM compiler
A compiler that converts a Ruby-like language into efficient WebAssembly code
