letlang
Type-based compiler
A compiler for a functional language with a powerful type system
Functional language with a powerful type system.
166 stars
3 watching
4 forks
Language: Rust
last commit: over 2 years agocompilerfunctionallanguageletlang
Related projects:
| Repository | Description | Stars |
|---|---|---|
 rhysd/gocaml | An implementation of a statically-typed functional programming language in Go using LLVM and building its own compiler from scratch. | 749 |
 dundalek/liz | 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. | 268 |
 axellang/axel | A Haskell + Lisp compiler and runtime environment for executing multi-language code. | 206 |
 yubrot/llrl | An experimental compiler for a Lisp-like programming language with a focus on self-hosting and compilation to LLVM backend. | 156 |
 willcrichton/lia | A high-level language for Rust that allows users to write efficient code in a dynamic, Javascript-esque syntax | 337 |
 jameshaydon/lawvere | A programming language with effects based on category theory and used to compile programs into various categorical abstractions. | 268 |
 ajeetdsouza/loxcraft | A compiler and runtime system for a simple programming language, designed to be efficient and embeddable in other applications. | 279 |
 forest-lang/forest-compiler | A compiler for a multi-syntax functional programming language that compiles to WebAssembly | 621 |
 fantasyinternet/poetry | A programming language compiler to WebAssembly with minimalistic syntax and full control over imports and exports. | 55 |
| willcrichton/tyrade | Exploring type-level programming in Rust with a focus on simplicity and expressiveness | 323 |
 talw/crisp-compiler | A Haskell compiler for a Lisp/Scheme-inspired language with an LLVM backend | 99 |
| rhysd/crisp | A Lisp dialect implemented with Crystal | 44 |
 gabriella439/grace | An interpreted functional programming language with type inference and efficient parsing. | 389 |
 kit-ty-kate/labrys | A compiler for a toy language based on LLVM that implements the System Fω type-system | 103 |
 ljulliar/rlang | A compiler that converts a Ruby-like language into efficient WebAssembly code | 38 |