Most popular functional-programming repositories and open source projects

luarrow.lua aiya000 Lua

True pipeline operators and elegant Haskell-style function composition for Lua

46 1 0

optiscope etiamz C

A Lévy-optimal lambda calculus reducer with a backdoor to C

46 0 2

cpp-functional-programming wzxzhuxi C++

c++函数式编程教程

46 1 0

curry.py christianscott Python

:curry: Utility for currying functions

45 13 3

AndroidFunctionalValidation dcampogiani Kotlin

Simple form validation using Arrow

45 4 3

momento mccraveiro JavaScript

Functional moment.js

45 6 1

calculator panayi JavaScript

A calculator built with React, Redux and Ramda

45 16 3

kleisli-ts YBogomolov TypeScript

Kleisli arrows for bifunctor IO

45 5 4

docker-ocaml-jupyter-datascience akabe Jupyter Notebook

Dockerfiles for data science in OCaml on Jupyter

45 4 6

absent rvarago C++

A small C++17 library meant to simplify the composition of nullable types in a generic, type-safe, and declarative way.

45 8 3

learn-xquery joewiz

A list of great articles, blog posts, and books for learning XQuery

45 6 8

malgo takoeight0821 Lean

A statically typed functional programming language.

45 0 2

effect-getting-started SandroMaglione TypeScript

Example apps to get started using all the features of effect: Context, Layer, Runtime, Scope and more 🪄

45 2 3

legacy smlnj Standard ML

This project is the legacy version of Standard ML of New Jersey that continues to support older systems (e.g., 32-bit machines).

45 11 7

bidi kwanghoon Haskell

bidirectional type checking algorithms for higher-ranked polymorphism

45 16 1

bluebird-promisell zhangchiqing JavaScript

A practical functional programming library for promises

44 4 8

ftor kongware JavaScript

ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.

44 1 44

metaprogramming max7patek Python

CS 1501 Student-Taught-Class at the University of Virginia

44 10 1

ftl ftlorg C++

Functional Template Library for Modern C++

44 0 8

super-ts antl3x TypeScript

🦸 λΔ providing super powers to Typescript.

44 0 3

leema mdg Rust

A functional programming language designed for concurrency and failure

44 1 2

differentiable-idris doofin Idris

dependent types meets deep learning

44 7 5

whitepaper ambientsprotocol CSS

📄 The Ambients protocol white paper

44 4 7

Fae Jozty TypeScript

A functional module for Deno inspired from Ramda.

44 7 2

FSTan thautwarm F#

Higher abstraction infrastructures in F#(ad-hoc polymorphism, subtypeclassing, monad, hkt...), exactly what we've dreamed about for so long

44 3 4

curious-ocaml lukstafi HTML

A curious book about OCaml: logic (types), algebra (values), computation (semantics), functions (lambda calculus), constraints, monads, algebraic effe...

44 1 2

react-compose-hooks lucasconstantino JavaScript

React Hooks composition library.

43 3 2

RemoteDataK mercari Kotlin

Algebraic data type (ADT) to represent the state of data that is loading from/to remote sources/destinations

43 2 3

type-theory-compiler andgate Haskell

Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficient LLVM IR.

43 1 3

functional-go rShetty Go

Functional Programming Higher order functions in golang

43 2 1

fpEs TeaEntityLab JavaScript

Functional Programming for EcmaScript(Javascript)

43 4 1

invokable delonnewman Ruby

Objects are functions! Treat any Object or Class as a Proc (like Enumerable but for Procs).

43 0 1

okasaki KamchatkaLtd Scala

Scala implementation of data structures from Chris Okasaki's book

43 6 1

jingle jingle-lang C#

🔔 Jingle is a dynamically-typed, multi-paradigm programming language designed for humans and machines.

43 1 1

array-mixer teles HTML

Powerful, super tiny and easy to use lib to reorder your javascript arrays.

43 77 3

functionaljs akimichi JavaScript

「関数型プログラミングの基礎」サンプルコード

43 9 3

gleam_synapses mrdimosthenis Gleam

A plug-and-play library for neural networks written in Gleam

43 1 3

prowl UberPyro OCaml

WIP stack language that uses regex for control flow

43 1 3

Theta ThetaLang C++

θ A statically typed, functional programming language that compiles to WebAssembly

43 9 2

iterium mowshon Go

🚀 Python itertools for Go: lazy iterator utilities for Golang with range, map, filter, product, combinations, permutations, and for-range pipelines.

43 2 1

gala martianoff Go

Scala on Go. Sealed types, exhaustive pattern matching, Option/Either/Try, bind/also do-notation, and compile-time data-race safety — transpiled to pl...

43 1 0