L2
Language compiler
A minimalist language with procedural macro support
A minimalist type-inferred programming language with procedural macro support
135 stars
9 watching
9 forks
Language: Racket
last commit: over 4 years ago
Linked from 1 awesome list
chindley-milnerlisplongjmpmacrosmeta-programmingprogramming-languages-expressionsschemesetjmptype-inferenceunsafe
learn-anything/programming-languagesRelated projects:
| Repository | Description | Stars |
|---|---|---|
 nickmqb/muon | A modern, statically typed low-level programming language with strong focus on performance and minimalism. | 773 |
 marciok/mu | An example of creating a minimalist programming language with a simple grammar and syntax | 1,048 |
 l1mey112/crepl | A compiler and interpreter for executing C code on the fly as it is typed. | 29 |
 jserv/mazucc | A minimal C compiler generating x86_64 assembly code | 516 |
 jmorag/mcc | Compiles the MicroC programming language into machine code using Haskell | 116 |
 kiselgra/c-mera | A source-to-source compiler system for C-like languages using Lisp's macro system. | 411 |
 mrluc/macros.coffee | Provides a Lisp-style macro system for CoffeeScript | 37 |
 jaseemabid/olifant | A language targeting LLVM with the goal of building a simple compiler | 64 |
 mkchoi212/lbac-swift | Building a compiler in Swift by translating the book 'Let's Build a Compiler' into interactive code | 164 |
 igor84/summus | A compiler frontend written without C macros using LLVM as the backend to compile a minimal language for educational purposes. | 234 |
 gabriella439/grace | An interpreted functional programming language with type inference and efficient parsing. | 389 |
 rsms/wlang | Develops an assembler and compiler for a programming language | 46 |
 belijzajac/wisnialang | A compiler that compiles small programs into tiny Linux binaries without requiring LLVM. | 17 |
 kit-ty-kate/labrys | A compiler for a toy language based on LLVM that implements the System Fω type-system | 103 |
 elpinal/bright-ml | A statically-typed programming language with a unique module system and support for type inference and mutually-recursive definitions. | 80 |