Top 6 Rust Functional Projects

enso

13 6,614 0.0 Rust

Hybrid visual and textual functional programming.

Project mention: Show HN: Ezno, a TypeScript checker written in Rust, is now open source | news.ycombinator.com | 2023-06-07

I think Enso is already taken by a YC company [0]. Could get confusing.
[0] https://enso.org
gluon

5 2,970 0.0 Rust

A static, type inferred and embeddable language written in Rust.

Project mention: Gluon is a static, type inferred and embeddabble language written in Rust | news.ycombinator.com | 2023-07-01
SonarLint

www.sonarlint.org
sponsored

Clean code begins in your IDE with SonarLint. Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today.
tao

3 998 0.0 Rust

A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc. (by zesterer)

Project mention: What backwards-incompatible changes would you make in a hypothetical Rust 2.0? | /r/rust | 2023-04-19

If you want some prior work on this, I've implemented effect-objects-as-return-values in my own language Tao, using uniqueness types. There's still work to be done, but I think it's sufficient as a proof of concept that this approach is viable without type soup.
kcl

40 761 10.0 Rust

A constraint-based record & functional language mainly used in configuration and policy scenarios. https://kcl-lang.io

Project mention: KCL: A Python Like Configuration Programming Language written in Rust and Python | /r/Python | 2023-08-22

Rust Ver. here
pen

0 414 0.0 Rust

The parallel, concurrent, and functional programming language for scalable software development (by pen-lang)
letlang

9 110 0.0 Rust

Functional language with a powerful type system.

Project mention: Letlang — Roadblocks and how to overcome them - My programming language targeting Rust | /r/programming | 2023-06-07

That works for any types (except the functional types), and even the generic ones. During code generation, I create structs that implement the Type trait.

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020). The latest post mention was on 2023-08-22.