drtychai / awesome-functional-rust

(WIP) List of Functional Languages and FP in Rust

Functional Rust

(WIP) List of Functional Languages and FP in Rust

Functional Programming Learning Resources

• "Hands On Functional Programming in Rust" Packt
• LambdaConf 2015 Talk (jroesch) : "Materials for my talk at LambdaConf 2015"
• Type Theory Compiler : "Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficient LLVM IR."
• LLVM Tutorial in Rust : "LLVM tutorial in Rust language"
• "Types and Programming Languages" Benjamin C. Pierce

[Rust-based] Functional Languages

• leaf : "High-Level Functional Programming Language Focused On Efficiency"
• maroon : "A (nearly) pure functional programming language. (Lambda Calculus)"
• leema : "A functional programming language designed for concurrency and failure"
• mnemosyne : "A functional systems programming language with compile-time memory management"
• ichigo-lang : "A little simply typed functional language to practice Rust (toy)"
• odo : "Main idea behind the project is to combine functional programming with ownership types. (A simple functional lang)"
• beige : "A functional programming language"
• ein : "The deterministic functional programming language"
• ssf : "Structurally-typed strict functional core language"
• lambda.rs : "A minimal functional language inspired by the lambda calculus"
• stlc : "Simply typed lambda calculus written in rust"
• lamda calculus (ljedrz) : "A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust"
• lalrpop-lambda : "A λ-calculus grammar/interpretor written using LALRPOP and λ!."
• gluon : "A small, statically-typed, functional programming language designed for application embedding."
• tyrade : "A pure functional language for type-level programming in Rust"
• tao : "A statically-typed functional programming language"
• friday-lang : "Dynamically typed strict ML-like functional language with extensible syntax"
• tego-lang : "A language based around category theory, sum types, and product types"
• atto-lang : "An insanely simple functional programming language."
• rain-lang-IR : "An implementation of an RVSDG with a strong linear type system and a concept of lifetimes"

Implementations (Examples) ?

• type inference (tawashichan) : "Type inference for a simple type system in practice"
• sample language implementation (in rust) : "Let's implement a simple language to know how the compiler feels."
• lambdacuba : "repl.it for type systems"

Interpreters, Compilers, Libraries (not complete languages)

• RustLambda : "An interpreter for lambda calculus in Rust"
• Typed Lambda (WaDelma)
• asm2lam : "Experimental project tools to turn assembly to executable code as well as mutate said assembly."
• Untyped Lambda Calculus : "TAPL untyped lambda calculus implementation in Rust"
• lambda list : "lambda is a list in rust"
• quantum lambda : "QM Lambda Calculus in rust"
• lambdaski : "Type level combinators in Rust"
• lcc : "A simple lambda calculus compiler (really an interpreter) written in Rust"
• lam-calc : "An implementation of the untyped λ-calculus[1] in Rust"
• untyped lambda interpreter : "An original untyped lambda interpreter"
• proto-lambda

Uncategorized, but maybe helpful?

• llir
• HM Type Inference : "Hindley-Milner type inference in Rust"
• REPL, untyped Lambda Calculus : "Simple REPL for untyped lambda calculus"
• binlam : "Binary lambda calculus interpreter (and assembler)"
• lambda macro : "A lambda! macro for rust"
• erlang IR (eir) : "Erlang compiler and IR implemented in Rust"