|
Idris |
53 |
A purely functional programming language with first class types |
Jun 04, 2022 |
|
Haskell |
4 |
A purely functional programming language with support for substructural types. |
Apr 16, 2023 |
|
Haskell |
5 |
A purely functional programming language |
Mar 24, 2023 |
|
TypeScript |
2 |
Statically-typed purely functional programming language |
Nov 19, 2021 |
|
Haskell |
6 |
An experimental purely functional programming language |
Jan 10, 2019 |
|
Haskell |
5 |
Dependently typed purely functional programming language |
Sep 08, 2020 |
|
Python |
12 |
Mutagen, a purely functional programming language with Pythonic syntax |
Aug 13, 2021 |
|
Kotlin |
4 |
Statically-typed, strict, purely functional programming language |
Mar 29, 2022 |
|
Haskell |
2 |
A small, purely functional programming language. For learning. |
Sep 10, 2022 |
|
TypeScript |
2 |
Purely functional programming language based on term rewriting |
Apr 23, 2023 |
|
Haskell |
2 |
Compiler frontend for a small, purely functional programming language |
Apr 26, 2023 |
|
Python |
851 |
Functional language with intensional polymorphism and first-class staging. |
Jul 24, 2022 |
|
Haskell |
4 |
A purely-functional programming language with Hindley-Milner type inference and `callcc`. |
May 18, 2022 |
|
OCaml |
12 |
Grimheart is a purely functional programming language with a rich type system. |
Jan 21, 2022 |
|
Scala |
7 |
Prototype functional programming language with refinement types, powered by Inox |
Jul 17, 2020 |
|
Rust |
8 |
🍋 A Rust/Swift-like modern interpreted programming language. First-class functions, first-class expressions, and functional techniques included! |
Apr 01, 2022 |
|
Haskell |
35 |
A purely functional, dynamically typed, parallel evaluated Lisp-like programming language |
Apr 15, 2023 |
|
C# |
4832 |
C# functional language extensions - a base class library for functional programming |
Aug 29, 2022 |
|
Haskell |
5 |
A purely functional programming language based on higher-order polymorphic lambda calculus |
Nov 27, 2022 |
|
Rust |
911 |
A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, … |
Apr 28, 2023 |
|
Rust |
4 |
Purely functional language which compiles to Lua |
May 08, 2023 |
|
Swift |
40 |
An experimental functional programming language with dependent types, inspired by Swift and Idris. |
Apr 13, 2022 |
|
JavaScript |
90 |
Functional programming language |
Jul 01, 2022 |
|
Rust |
4 |
An experimental programming language for exploring first class iterators. |
Nov 23, 2021 |
|
Haskell |
3 |
Simple purely functional language based on lambda-calculus. |
Feb 11, 2022 |
|
Haskell |
11 |
Pure functional programming language |
Aug 27, 2022 |
|
None |
2 |
A functional programming language. |
Apr 15, 2022 |
|
Rust |
2 |
Simple functional programming language |
Dec 30, 2020 |
|
Python |
2 |
Simple functional programming language |
Mar 18, 2014 |
|
C# |
3 |
Functional script programming language |
Apr 07, 2022 |
|
Go |
195 |
Functional Go Programming Language |
Dec 18, 2021 |
|
Rust |
47 |
A functional programming language |
Jan 28, 2023 |
|
C++ |
167 |
A functional programming language |
May 11, 2022 |
|
Rust |
7 |
A functional programming language |
Jan 11, 2023 |
|
C |
2 |
Cosmos - Functional Programming Language |
Jan 28, 2023 |
|
Haskell |
72 |
Purely functional objects |
Aug 06, 2022 |
|
Scala |
66 |
purely functional http client with scalaz.Free |
Jan 11, 2022 |
|
OCaml |
4 |
Prototype functional programming language with nested inductive / coinductive types, with totality checking using the … |
Jun 02, 2019 |
|
JavaScript |
3 |
a lightweight, interpreted, or just-in-time compiled programming language with first-class functions. |
Apr 11, 2023 |
|
Standard ML |
76 |
TiML: A Functional Programming Language with Time Complexity |
Mar 11, 2022 |
|
OCaml |
19 |
A functional programming language with shell scripting capabilities |
Apr 23, 2023 |
|
Haskell |
111 |
theseus, functional programming language with fully reversible computation |
Apr 17, 2023 |
|
Go |
5 |
A toy functional programming language |
Sep 05, 2021 |
|
None |
5 |
The Barely Functional Programming Language |
Aug 30, 2022 |
|
Nim |
10 |
Minimalist functional esoteric programming language |
May 01, 2022 |
|
Haskell |
2 |
Pure Functional Joke Programming Language |
Aug 27, 2022 |
|
TypeScript |
6 |
Just a Functional Programming Language |
Jul 04, 2022 |
|
Scala |
2 |
Small Functional Programming Language #2 |
Feb 15, 2023 |
|
JavaScript |
6 |
spinoza pure functional programming language |
Dec 16, 2022 |
|
Haskell |
2 |
A pedagogical functional programming language. |
Jul 01, 2023 |