MimIR is my Intermediate Representation

programming-language dependent-types compiler functional-programming optimizer ssa compilers cps intermediate-representation continuation-passing-style static-single-assignment compiler-construction functional-programming-language partial-evaluation partial-evaluator

• Updated Nov 10, 2026
• C++

Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda

compiler functional-programming-language self-hosting-compiler miranda-lang

• Updated Nov 9, 2026
• Assembly

⚗️ | Soma is a general-purpose dependently-typed functional programming language powered by Interaction Nets.

programming-language dependent-types compiler functional-programming llvm interaction-nets interaction-calculus functional-programming-language interaction-combinators

• Updated Nov 9, 2026
• Haskell

A fundamental library of Excel functions written in Excel formula language by LAMBDA function for spreadsheet automation

lambda functional-programming excel lambda-functions office functional-programming-examples spreadsheets office-addin formulas microsoft-excel excel-formulas functional-programming-language excel-vba excel-formula

• Updated Nov 30, 2024

The AlteRnaTive Impala Compiler

compiler parallel-computing simd gpu-computing vectorization imperative-programming-language functional-programming-language partial-evaluation domain-specific-languages

• Updated Nov 5, 2026
• C++

[WIP] A functional programming language based on Coeffect Calculus and Graded Modal Type Theory.

programming-language ocaml statically-typed functional-programming-language coeffects

• Updated Dec 3, 2020
• OCaml

small, explicitly boring functional programming language compiling to rust

programming-language rust pure-functional functional-programming-language small-programming-language compiles-to-rust

• Updated Jul 21, 2026
• Rust

Introduction into functional programming free structures: free monads, free monoids, free applicatives.

cats workshops scala functional-programming church-encoding free-monad workshop-materials functional-programming-examples cats-effect pure-functional cats-free functional-programming-language workshop-material cats-core zio-layer freemonad

• Updated Dec 10, 2022
• Scala

BASIC with functional programming extension: BASIC and Haskell living together, mass hysteria!

basic functional-programming basic-programming-language functional-programming-language

• Updated Jul 3, 2023
• JavaScript

[ECE NTUA] Compiler Project for Llama Functional Programming Language.

language programming-language compiler cpp llvm compiler-design functional-programming-language

• Updated Dec 19, 2021
• C++

Concurrency-oriented functional programming language that compiles to C. Still in very early development 🚧

c functional compiler functional-programming recursion systems-language static-typed systems-programming static-typing functional-programming-language noit

• Updated Jun 2, 2024

Arch is a typed stack based functional programming language based on combinators

programming-language interpreter compiler forth functional-programming-language stack-base

• Updated Jul 5, 2026
• Java

Example code in .NET F#

fsharp functional-programming dotnet mono dot-net f-sharp functional-reactive-programming functional-language fsharp-practice functional-programming-using-fsharp functional-programming-language fsharp-samples

• Updated Oct 5, 2019

A Study in Implementing Functional Programming Languages

c language parser interpreter compiler correctness acsl twelf hoare-logic abstract-machine functional-programming-language

• Updated Aug 17, 2019
• C

small tree-walk interpreter and transpiler in c for a toy language

programming-language interpreter transpiler simple-interpreter functional-programming-language tree-walk-interpreter

• Updated Apr 26, 2023
• C

An interpreted, functional programming language written in Go.

programming-language interpreted-programming-language functional-programming-language programming-linguistics

• Updated Mar 15, 2023
• Go

Personal Assignment Solutions of Module COMP105: Programming Language Paradigms in 2021 Autumn - University of Liverpool

haskell functional-programming-language

• Updated Feb 28, 2023
• Haskell

Academic : Comparative Programming Languages

golang haskell erlang rainbow-table blockchain-demos functional-programming-language

• Updated Oct 19, 2018
• Go

Example code in Scala

scala functional-programming reactive-programming functional-reactive-programming functional-language functional-programming-examples functional-programming-in-scala functional-programming-language scala-example

• Updated Oct 5, 2019

Open-source Functional Programming Language

language programming-language open-source scala gplv3 funcional-programming functional-programming-language

• Updated Jul 22, 2018
• Scala