fmm

Compiler

A minimal functional programming language compiler target

The uncurried minimal functional programming language for CPS transformation

GitHub

18 stars
3 watching
4 forks
Language: Rust
last commit: over 2 years ago
Linked from 1 awesome list


Backlinks from these awesome lists:

Related projects:

RepositoryDescriptionStars
champii/rockA Rust-based compiler and runtime environment designed to provide a safe and efficient way to execute functional programming languages.67
mustafaquraish/cupA simple, C-like programming language compiler written in Rust to learn the basics of compilers and language processing295
rsms/hueA functional programming language built on top of LLVM with the goal of producing highly optimized machine code.173
nilfoundation/zkllvmCompiles high-level programming languages into input for provable computations protocols.304
nickmqb/muonA modern, statically typed low-level programming language with strong focus on performance and minimalism.773
azur1s/holymerA programming language being developed with Rust, aiming to implement compiler and interpreter components.42
facebookresearch/compilergymA reinforcement learning environment library for compiler optimization tasks917
lambdaclass/cairo_nativeCompiles Cairo's intermediate representation to machine code using MLIR and LLVM123
xixixao/shemA 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/mccCompiles the MicroC programming language into machine code using Haskell116
rdaly525/coreirBuilds hardware descriptions into executable code using an LLVM-style compiler framework.101
willcrichton/liaA high-level language for Rust that allows users to write efficient code in a dynamic, Javascript-esque syntax337
jaseemabid/olifantA language targeting LLVM with the goal of building a simple compiler64
mikelma/oktacA compiler for an experimental programming language called Okta27
eliah-lakhin/lady-deirdreA framework for building incremental language compilers and analyzers.447