gocaml
Compiler
An implementation of a statically-typed functional programming language in Go using LLVM and building its own compiler from scratch.
Statically typed functional programming language implementation with Go and LLVM
749 stars
22 watching
29 forks
Language: Go
last commit: over 4 years ago
Linked from 1 awesome list
compilergogolanglanguagellvmmlprogramming-language
aalhour/awesome-compilersRelated projects:
| Repository | Description | Stars |
|---|---|---|
 jaseemabid/olifant | A language targeting LLVM with the goal of building a simple compiler | 64 |
 kit-ty-kate/labrys | A compiler for a toy language based on LLVM that implements the System Fω type-system | 103 |
 syegulalp/akilang | An experimental compiler and language implementation built on top of LLVM and Python. | 99 |
 paivett/gone | A compiler for a minimal programming language designed to be similar to Go. | 28 |
 bradford-hamilton/monkey-lang | An implementation of a custom programming language with features such as compilation and execution capabilities. | 45 |
 jameshaydon/lawvere | A programming language with effects based on category theory and used to compile programs into various categorical abstractions. | 268 |
 davidgiven/cowgol | A programming language designed to be self-hosted on small systems, compiled from itself, and optimized for tiny size and speed. | 247 |
 lambdaclass/cairo-vm_in_go | An implementation of a programming language for writing provable programs in Go. | 57 |
 l1mey112/crepl | A compiler and interpreter for executing C code on the fly as it is typed. | 29 |
 pltools/lama | A programming language designed to introduce concepts of programming languages, compilers, and tools in an educational setting | 71 |
 tartanllama/vizh | An esoteric programming language that compiles and links image files to generate C code | 232 |
 inconshreveable/gonative | A tool that creates cross-compilable Go binaries with native library support | 339 |
 namit/the-go-programming-language | A collection of notes, examples, and exercises from the official Go book. | 2 |
 linkdd/letlang | A compiler for a functional language with a powerful type system | 166 |
 delta456/monkey_v | An implementation of a programming language interpreter in V. | 37 |