|
|
Haskell |
11 |
Pure functional programming language |
Aug 27, 2022 |
|
|
Haskell |
2 |
Pure Functional Joke Programming Language |
Aug 27, 2022 |
|
|
JavaScript |
6 |
spinoza pure functional programming language |
Dec 16, 2022 |
|
|
Rust |
2 |
A mostly pure functional programming language |
Jun 13, 2022 |
|
|
Rust |
23 |
A (nearly) pure functional programming language. |
Mar 03, 2023 |
|
|
Java |
8 |
Fault-Tolerant Pure Functional Programming Language For JVM |
May 29, 2022 |
|
|
C# |
41 |
A pure functional programming language based on C#. |
Apr 24, 2023 |
|
|
Scala |
211 |
A python-ish pure and total functional programming language |
Oct 08, 2022 |
|
|
Rust |
296 |
A pure functional language for type-level programming in Rust |
Apr 26, 2023 |
|
|
Haskell |
5 |
A pure functional language that compiles to PHP |
Jul 09, 2020 |
|
|
Python |
7 |
Proof of concept for a visual functional programming language in Blender |
Feb 04, 2022 |
|
|
JavaScript |
90 |
Functional programming language |
Jul 01, 2022 |
|
|
Haskell |
24 |
Auto-parallelizing Pure Functional Language |
Mar 19, 2020 |
|
|
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 |
|
|
OCaml |
3 |
A pure embeddable functional programming language with direct access to evaluation environments |
Apr 24, 2023 |
|
|
GDScript |
2 |
Proof of concept Godot Functional Reactive Programming |
Jan 28, 2023 |
|
|
Rust |
11 |
A proof assistant that is also a programming language. |
Aug 06, 2022 |
|
|
F* |
2314 |
A Proof-oriented Programming Language |
Oct 20, 2022 |
|
|
Elm |
68 |
Lemur: visual functional programming language that compiles to Python |
Apr 29, 2022 |
|
|
PureScript |
40 |
Visual programming UI and framework driven by pure functional language and data streams |
Apr 04, 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 |
|
|
TypeScript |
6 |
Just a Functional Programming Language |
Jul 04, 2022 |
|
|
Scala |
2 |
Small Functional Programming Language #2 |
Feb 15, 2023 |
|
|
Haskell |
5 |
A purely functional programming language |
Mar 24, 2023 |
|
|
Haskell |
2 |
A pedagogical functional programming language. |
Jul 01, 2023 |
|
|
Lua |
12 |
Functional programming utilities implemented in pure Lua. |
Oct 10, 2021 |
|
|
Erlang |
116 |
pure functional and generic programming for Erlang |
Apr 24, 2023 |
|
|
Go |
18 |
pure functional and generic programming for Go |
Apr 24, 2023 |
|
|
Racket |
3 |
Proof that programming language X can implement a pacman game. |
Nov 06, 2019 |
|
|
Scala |
2 |
Simple pure functional language with static typing. |
May 25, 2014 |
|
|
CoffeeScript |
3 |
Functional and statically-typed programming language that transcompiles to Javascript |
May 28, 2017 |
|
|
Scala |
527 |
Data structures for pure functional programming in Scala |
Aug 02, 2022 |
|
|
None |
4 |
( 狐 ) A functional declarative programming language |
Jul 20, 2021 |
|
|
None |
7 |
A Dependently Typed Functional Programming Language |
Jul 12, 2022 |
|
|
Haskell |
7 |
A Dependently Typed Functional Programming Language |
Jul 17, 2019 |
|
|
C |
10 |
a dynamic functional programming language experiment |
Aug 28, 2018 |
|
|
Haskell |
3363 |
A Dependently Typed Functional Programming Language |
Aug 22, 2022 |
|
|
Haskell |
2 |
A functional-objective-lenticular programming language |
Sep 20, 2020 |
|
|
Haskell |
2 |
a typed, functional, concurrent programming language |
Jan 29, 2023 |
|
|
Haskell |
2 |
Experimental: An eager functional programming language |
Sep 14, 2014 |