labrys
Compiler
A compiler for a toy language based on LLVM that implements the System Fω type-system
A toy language based on LLVM that implements the System Fω type-system
103 stars
11 watching
3 forks
Language: OCaml
last commit: about 3 years agoLinked from 1 awesome list
compilerlanguagellvmocamlprogramming-languagetype-system
learn-anything/programming-languagesRelated projects:
| Repository | Description | Stars |
|---|---|---|
 jaseemabid/olifant | A language targeting LLVM with the goal of building a simple compiler | 64 |
 mikelma/oktac | A compiler for an experimental programming language called Okta | 27 |
 rhysd/gocaml | An implementation of a statically-typed functional programming language in Go using LLVM and building its own compiler from scratch. | 749 |
 l1mey112/crepl | A compiler and interpreter for executing C code on the fly as it is typed. | 29 |
 ajeetdsouza/loxcraft | A compiler and runtime system for a simple programming language, designed to be efficient and embeddable in other applications. | 279 |
 syegulalp/akilang | An experimental compiler and language implementation built on top of LLVM and Python. | 99 |
 itay2805/vork | An interpreter and parser project implementing a programming language with a formal grammar as reference. | 27 |
 pltools/lama | A programming language designed to introduce concepts of programming languages, compilers, and tools in an educational setting | 71 |
 igor84/summus | A compiler frontend written without C macros using LLVM as the backend to compile a minimal language for educational purposes. | 234 |
 lys-lang/lys | A language compiler to WebAssembly | 419 |
 tmcw/wah | A compiler for a Clojure-based language that compiles to WebAssembly | 158 |
 slaakko/cmajorm | A compiler and toolkit for a statically typed, compiled programming language | 6 |
 lemoncmd/vcc | A compiler for the V programming language and itself, written in V. | 100 |
 tyfkda/xcc | A standalone compiler/assembler/linker/libc for multiple architectures | 279 |
 jameshaydon/lawvere | A programming language with effects based on category theory and used to compile programs into various categorical abstractions. | 268 |