fmm
Compiler
A minimal functional programming language compiler target
The uncurried minimal functional programming language for CPS transformation
18 stars
3 watching
4 forks
Language: Rust
last commit: 9 months ago
Linked from 1 awesome list
Related projects:
Repository | Description | Stars |
---|---|---|
champii/rock | A Rust-based compiler and runtime environment designed to provide a safe and efficient way to execute functional programming languages. | 67 |
mustafaquraish/cup | A simple, C-like programming language compiler written in Rust to learn the basics of compilers and language processing | 296 |
rsms/hue | A functional programming language built on top of LLVM with the goal of producing highly optimized machine code. | 173 |
nilfoundation/zkllvm | Compiles high-level programming languages into input for provable computations protocols. | 295 |
nickmqb/muon | A modern, statically typed low-level programming language with strong focus on performance and minimalism. | 772 |
azur1s/holymer | A programming language being developed with Rust, aiming to implement compiler and interpreter components. | 42 |
facebookresearch/compilergym | A reinforcement learning environment library for compiler optimization tasks | 914 |
lambdaclass/cairo_native | Compiles Cairo's intermediate representation to machine code using MLIR and LLVM | 121 |
xixixao/shem | A compiler for a statically typed, pure-by-default functional programming language with an S-expressions-based syntax and support for a full-featured collections library. | 391 |
jmorag/mcc | Compiles the MicroC programming language into machine code using Haskell | 116 |
rdaly525/coreir | Builds hardware descriptions into executable code using an LLVM-style compiler framework. | 101 |
willcrichton/lia | A high-level language for Rust that allows users to write efficient code in a dynamic, Javascript-esque syntax | 338 |
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 | 28 |
eliah-lakhin/lady-deirdre | A framework for building incremental language compilers and analyzers. | 444 |