Functional programming

In computer science, functional programming is a programming paradigm where programs are constructed by applying and composing functions. It is a declarative programming paradigm in which function definitions are trees of expressions that map values to other values, rather than a sequence of imperative statements which update the running state of the program.

GitHub: https://github.com/topics/functional-programming
Wikipedia: https://en.wikipedia.org/wiki/Functional_programming
Related Topics: oop, declarative-programming, procedural-programming, event-driven-programming,
Last updated: 2026-07-09 00:12:05 UTC
JSON Representation

https://github.com/fr33m0nk/type-driven-functional-programming

Typedriven Functional programming in Typescript targeting Bun runtime

bun functional-programming type-driven-development typescript

Last synced: 12 Oct 2025

https://github.com/edgarberm/pills

A collection of fun JavaScript functions (ES6) 😎🎉🎈

functional functional-js functional-programming javascript pill

Last synced: 13 Oct 2025

https://github.com/elm-athlete/elm-function

Function helpers for elm!

elm function functional-programming

Last synced: 11 Dec 2025

https://github.com/kemsky/stream

ActionScript collection library with modern functionality

actionscript adobe-air adobe-flash adobe-flex collections functional-programming

Last synced: 05 Feb 2026

https://github.com/novid/guide.elm-lang.ir

Elm guide in Persian (fa_IR)

elm functional-programming guide persian

Last synced: 14 Oct 2025

https://github.com/dev-cetera/df_safer_dart

A package inspired by Rust and functional programming, designed to bring structure, clarity, and safety to your Dart applications.

dart flutter functional-programming library option package result rust

Last synced: 11 Jan 2026

https://github.com/chocolateloverraj/observables

A collection of examples of observing different data types in JavaScript.

cspell eslint functional-programming javascript no-class observable react standard-js storybook typescript

Last synced: 30 Dec 2025

https://github.com/slamko/ocadl

Blazingly type safe GPU accelerated Multi-Layer Perceptron

deep-learning dependent-types functional-programming gadt neural-network ocaml type-safe

Last synced: 16 Oct 2025

https://github.com/blakek/curry

🍛 Simple curry functions

curry currying functional functional-programming javascript typescript utility

Last synced: 16 Oct 2025

https://github.com/jackfirth/lambda-calculus

A racket language for lambda calculus

functional-programming lambda-calculus language racket

Last synced: 27 Jan 2026

https://github.com/attack-monkey/zeron

A lightweight functional / reactive application framework in typescript

framework front-end frontend functional functional-programming functional-reactive-programming

Last synced: 19 Oct 2025

https://github.com/coderaiser/currify

translate the evaluation of a function that takes multiple arguments into evaluating a sequence of functions, each with a single or more arguments

curry functional functional-programming

Last synced: 21 Feb 2026

https://github.com/jaalonso/jaalonso.github.io

Índice de repositorios.

coq functional-programming haskell isabelle lean logic-programming prolog proof-assistant

Last synced: 23 Oct 2025

https://github.com/jeltsch/wflp-2019

A Process Calculus for Formally Verifying Blockchain Consensus Protocols (WFLP ’19 invited contribution)

blockchain distributed-computing formal-verification functional-programming higher-order-abstract-syntax process-calculus

Last synced: 24 Feb 2026

https://github.com/camille-hdl/lazy-lists

Lazy list processing toolkit for PHP

functional-programming iteration transducers

Last synced: 27 Oct 2025

https://github.com/sudonatalie/thesis

My now-completed Master's thesis.

compiler-optimization dependent-types functional-programming thesis

Last synced: 06 Feb 2026

https://github.com/ibrahimcesar/category-theory-for-the-javascript-typescript-developers

🔢 Category Theory for JavaScript/TypeScript developers. An embedded DSL making functors, monads, and adjunctions explicit and manipulable.

adjunctions category-theory category-theory-for-programmers composition dsl educational fp-ts functional-programming functor javascript monad typescript

Last synced: 30 Jan 2026

https://github.com/imrafaelmerino/java-fun

java-fun simplifies Property-Based Testing in Java by providing powerful and composable Pseudo Random Generators. These generators enable the creation of diverse test cases effortlessly, making testing more effective and intuitive for developers.

functional-programming generator java jmeter property-based-testing

Last synced: 30 Jan 2026

https://github.com/sajmoni/ts-elm

Elm types in TypeScript

elm fp functional-programming result typescript

Last synced: 15 Apr 2026

https://github.com/fernandoareias/web-server-erl

Web server implemented with erlang and staged event-driven architecture

eda erlang event-driven-architecture functional-programming seda staged-event-driven-architecture webserver

Last synced: 25 Feb 2026

https://github.com/reussir-lang/reussir-playground

A programming language with region-based memory management

functional-programming llvm memory-management mlir

Last synced: 25 Feb 2026

https://github.com/muddassir235/tilawa

An Android Library, written in Kotlin, for streaming tilawa of the Qur'an from the web. Currently mp3quran.net is supported

android android-library functional functional-programming kotlin kotlin-library quran tilawa

Last synced: 01 Feb 2026

https://github.com/muhammadhassanraza25/todo-app-firebase

A dynamic Todo App built with HTML, CSS, and JavaScript, integrated with Firebase for real-time data management. Features include seamless editing and deleting of tasks for efficient list management.

creative-coding css3 firebase functional-programming html5 javascript todoapp

Last synced: 26 Feb 2026

https://github.com/yurrriq/tdd-with-idris

:book: Working through Type-Driven Development with Idris

dependent-types functional-programming idris learning theorem-proving type-driven-development

Last synced: 08 Feb 2026

https://github.com/gillchristian/fp-for-the-people-v2

functional-programming javascript slides

Last synced: 09 Feb 2026

https://github.com/narimiran/adventofcode2019

My OCaml solutions for Advent of Code 2019

advent advent-of-code advent-of-code-2019 adventofcode adventofcode2019 functional functional-programming ocaml

Last synced: 10 Feb 2026

https://github.com/imrafaelmerino/vertx-effect

Vertx-effect brings functional effects to the Vert.x ecosystem and is inspired by Erlang’s actor model. Its manifesto emphasizes principles such as maximizing the use of verticles for scalability, maintaining single responsibility for each verticle, and prioritizing simplicity to enhance reliability and ease debugging.

erlang functional-programming java json-values persistent-data-structure vertx vertx-values vertx3

Last synced: 27 Feb 2026

https://github.com/erthium/boids

Simulation of Boid artificial life program

agent-based-simulation boids boids-behaviour boids-simulation cpp cpp11 flocking flocking-agents flocking-simulation functional-programming makefile sdl sdl2 sdl2-image simulation

Last synced: 11 Feb 2026

https://github.com/pertsevds/predicate_dispatch

Predicative dispatch decorator for Python, based on idea from book "Functional Programming in Python"

dispatch functional-programming python

Last synced: 11 Feb 2026

https://github.com/gregros/zenesis

Revolutionary generator for type declarations.

code-generation framework functional-programming incomplete interesting javascript package type-declarations typescript

Last synced: 27 Feb 2026

https://github.com/sandromaglione/supabase-ts

Use supabase with Functional Programming and fp-ts

fp-ts functional-programming io-ts javascript supabase supabase-js typescript

Last synced: 11 Feb 2026

https://github.com/niqdev/kotlin-fun

Kotlin notes

aws functional-programming json-schema kotlin ktor recursion-schemes serverless

Last synced: 01 Mar 2026

https://github.com/anser624/text-utils-app

My First React App

components functional-programming git js jsx-syntax react reactdom usestate-hook

Last synced: 16 Apr 2026

https://github.com/jottenlips/deprecated-jottenlips.github.io

📃 ReasonML markdown blog engine, turn an S3 bucket into a Github Pages blog

blog-engine experiment functional-programming jamstack javascript markdown ocaml react reason reasonml webpack

Last synced: 12 Feb 2026

https://github.com/daretodave/zurch

JavaScript library for common FP patterns

functional-programming functions tacit typescript-library

Last synced: 14 Feb 2026

https://github.com/aygp-dr/scheme-llm-toolkit

Composable Guile Scheme library for LLM integration featuring functional APIs, type-safe bindings, and meta-programming support for AI-powered development

functional-programming guile llm scheme

Last synced: 14 Feb 2026

https://github.com/iamfarrokhnejad/swiftshare

A file sharing app.

async asynchronous asynchronous-programming encryption end-to-end-encryption functional-programming nextjs postgres postgresql react reactjs rust rust-lang saas saas-application typescript

Last synced: 16 Feb 2026

https://github.com/rborovina/scala-minesweeper

This is a Scala implementation of the classic Minesweeper game. The project features different difficulty levels, the ability to save and load games, hints, and a scoring system that takes into account the number of bombs, hints used, elapsed time, and user actions.

functional-programming scala

Last synced: 02 Mar 2026

https://github.com/vonzhou/scalaimpatient

Scala for the Impatient 《快学Scala》第一版习题代码

functional-programming scala

Last synced: 16 Apr 2026

https://github.com/papilo-cloud/mern-skeleton

This skeleton application will encapsulate rudimentary features and a workflow that's repeated for most MERN applications.

crud expressjs functional-programming javascript mern-stack mongodb mongoose nodejs tailwindcss

Last synced: 27 Mar 2026

https://github.com/joggrdocs/funkai

A composable AI microframework built on ai-sdk, curried with funk-tional programming flair.

agents ai ai-sdk functional-programming microframework nodejs prompts typescript vercel-ai-sdk workflows

Last synced: 01 Apr 2026

https://github.com/noyzys/nautchkafe-vanish

A simple bukkit/spigot plugin 1.21 :: vanish moderation system.

adventure bukkit bukkit-plugin fp functional-programming java kyori spigot spigot-plugin vanish vanishing

Last synced: 05 Mar 2026

https://github.com/leakyabstractions/result-api

🎱 Result library API

error-handling exception-handling exceptions functional-programming java java-library library monad result

Last synced: 06 Mar 2026

https://github.com/b-gran/reducer-redux

Beautiful, functional redux reducers

action fp function functional functional-programming pure reducer reducer-redux redux

Last synced: 17 Apr 2026

https://github.com/crvouga/simon-says

Implementation of the game Simon Says. Test your memory by seeing how long of a button press sequence your can remember.

firebase functional-programming game-simon material-ui react redux-saga simon tonejs

Last synced: 17 Apr 2026

https://github.com/egorkhaklin/glass

A pure functional language whose compiler is written in Glass and self-compiles to byte-identical C, carrying a from-scratch zero-knowledge STARK prover: write a function, get a proof of its result. Hindley-Milner types, effects, exhaustive matching.

algebraic-data-types compiler cryptography effect-system fri functional-programming hindley-milner interpreter pattern-matching programming-language programming-language-design refinement-types self-hosting stark type-inference type-system zero-knowledge zero-knowledge-proofs zk zk-stark

Last synced: 10 Jun 2026

https://github.com/ken-okabe/vscode-lambda-for-fun-fsharp

Write Haskell style lambda expression in F#, `\` instead of `fun `

dotnet dotnet-framework fsharp functional-programming haskell lambda lambda-calculus lambda-expressions lambda-functions visual-studio-code

Last synced: 18 Apr 2026

https://github.com/garciparedes/scala-examples

Set of awesome Scala Examples

breeze functional-programming java scala spark

Last synced: 18 Apr 2026

https://github.com/manojpawar94/spring-boot-reactive-restapi-mongodb-webflux

Spring boot reactive (Non-blocking) programming using Spring boot Webflux and Spring boot Reactive MongoDB.

functional-programming java8 mongodb reactive reactive-programming restapi restful-api spring-boot webflux

Last synced: 19 Apr 2026

https://github.com/markomitranic/ts-pipe

Simplify data transformations and debugging - ts-pipe is a type-safe implementation of a pipeline in TS, inspired by good stdlib design of Elixir.

developer-experience elixir functional-programming javascript pipeline typescript utility-library

Last synced: 19 Apr 2026

https://github.com/louisjenkinscs/functional-jvm-bytecode-interpreter

Proof-of-Concept Java Virtual Machine (JVM) Bytecode Interpreter written in Haskell

bytecode-interpreter functional-programming haskell interpreter java jvm jvm-bytecode proof-of-concept scala

Last synced: 20 Apr 2026

https://github.com/nicholastd07/nick-learns

Fun projects/ideas/playgrounds

fun functional-programming python ruby swift

Last synced: 20 Apr 2026

https://github.com/mc-cat-tty/complementiprogrammazione

Appunti del corso di Complementi di Programmazione. UniMoRe. 2023-2024.

functional-programming garbage-collection garbage-collector map-reduce object-oriented-programming oop python python3 reference-counting unit-testing

Last synced: 21 Apr 2026

https://github.com/nem035/youtube-monad-ish

Simple Youtube watcher app built using functional programming paradigms

bacon functional-js functional-programming javascript monad ramda youtube

Last synced: 22 Apr 2026

https://github.com/olaoluwam/todo-app-api

A todo app API written in fp-ts

fp-ts functional-programming nodejs

Last synced: 22 Apr 2026

https://github.com/hablapps/pureflow

Spark ETLs, in a purely functional way

functional-programming pipelines scala spark typeclasses

Last synced: 25 Apr 2026

https://github.com/pfpack/pfpack-linq

PrimeFuncPack Linq - a functional programming pack for .NET

csharp dotnet dotnet-core foreach foreach-loop functional-programming linq linq-expressions linq-extensions linq-methods

Last synced: 07 Jun 2026

https://github.com/nashtech-labs/functional-programming

functional-compositons functional-programming java-8 lambda-expressions lambda-functions lazy-evaluation pure-function scala streams

Last synced: 27 Apr 2026

https://github.com/chinmaymahajan/react-redux

This repository contains the setup and basic code to get started with Redux with React.

functional-programming functional-reactive-programming helloworldredux javascript react react-redux react-redux-demo reactjs reactjs-components redux-components redux-container

Last synced: 27 Apr 2026

https://github.com/jonnor/hangdrum

Electronic percussive instrument using capacitive touch (firmware)

arduino cplusplus-11 embedded-systems firmware functional-programming midi

Last synced: 27 Apr 2026

https://github.com/dotpep/cli-weather-app

Weather Apps in CLI with third party API and GPS tracking ps scripts, Clean Architecure and Software Design using Type Hintings in Python.

clean-architecture clean-code cli-application functional-programming gps-tracker oop-python openweathermap-api powershell-script python typed-python weather-app

Last synced: 28 Apr 2026

https://github.com/culturehq/react-state-mutations

Modify component state without race conditions.

functional-programming react

Last synced: 28 Apr 2026

https://github.com/daggerok/spring-kotlin-examples

This repository contains some my kotlin examples and links to other my repos with kotlin projects

functional functional-programming functional-reactive-programming kotlin reactive reactive-programming security spring-5 spring-boot spring-kotlin webclient webflux

Last synced: 28 Apr 2026

https://github.com/phenax/ts-types-runtime

A runtime for typescript's type system that turns it into a general purpose, purely functional programming language with effects!

effects functional-programming type-level-programming typescript

Last synced: 29 Apr 2026

https://github.com/softinio/duck4s

Scala 3 wrapper library for DuckDB

database duckdb functional-programming jvm millbuild munit scala

Last synced: 29 Apr 2026

https://github.com/mesteche/react_stream

sample demo app of react and async iterators

async-iterators functional-programming react stream

Last synced: 01 May 2026

https://github.com/olian04/simply-result

Simply typesafe Result and Option monads in typescript and javascript.

fp functional-programming javascript monad monad-types monads option option-type result result-type typescript

Last synced: 01 May 2026

https://github.com/dangvanthanh/elm-practice

Practice Elm

elm functional-programming

Last synced: 08 Jun 2026

https://github.com/elias8/outcome

A dart library that provides a functional approach to error handling.

dart either-monad flutter functional-programming

Last synced: 01 May 2026

https://github.com/armcn/quone-lang

A statically typed functional language that compiles to readable R code

functional-programming rstats

Last synced: 08 Jun 2026

https://github.com/astridlyre/fp

fp - My little functional programming library

functional-programming iterable javascript multimethods observable stream

Last synced: 01 May 2026

https://github.com/codelytv/scala-cellular_automata-kata

Cellular Automata Kata writen in Scala

codelytv functional-programming kata sample sbt scala scalatest

Last synced: 09 Jun 2026

https://github.com/pedro-gutierrez/elementary

Elixir web framework

beam elixir elm erlang functional-programming metaprogramming pure yaml

Last synced: 03 May 2026

https://github.com/ziv/swiss-knife

My utilities collection

async fp functional-programming https json nodejs process reflect streams strings time typescript utilities

Last synced: 05 May 2026

https://github.com/brettchalupa/result

Type-safe Result pattern for TypeScript, inspired by Rust

bun deno error-handling functional-programming jsr monads result rust-inspired type-safe typescript

Last synced: 05 May 2026

https://github.com/functionalland/functional-redis

A simple Redis client in tune with Functional Programming principles in JavaScript for Deno.

deno denoland functional functional-programming functor monoid redis

Last synced: 05 May 2026

https://github.com/sean-clayton/ls-react

A little library to make writing React code in LiveScript a little nicer.

functional-programming javascript livescript react

Last synced: 06 May 2026

https://github.com/kavignon/.netdemocode

Demo code used in talks, blog posts etc

csharp demo-app fsharp functional-programming netcore reactjs slides

Last synced: 07 May 2026

https://github.com/paule96/azurefunctiondownloader

A Azure Function you can send http url's of files that put it in a zip Archiv.

azure azure-functions azurefunctions dotnet-core downloader functional-programming zip

Last synced: 07 May 2026

https://github.com/pedro-gutierrez/elementaryjs

Declarative and functional UIs with a hint of Elm

elementaryjs elm es6 functional-programming incremental-dom js json scheme

Last synced: 07 May 2026

https://github.com/josephgoksu/reactive-microservices

This project epitome of reactive microservice architecture. Protocols, transports, unit/e2e tests and implementations are all in the same place.

functional-programming functional-reactive-programming microservice microservices microservices-architecture nestjs rxjs

Last synced: 08 May 2026

https://github.com/marceloboeira/euler

ƛ Project Euler solved in some different languages

c challenge euler euler-exercises euler-solutions functional-programming haskell math ruby

Last synced: 09 May 2026

https://github.com/ldaniels528/lollypop

Lollypop is a development platform built to suit the needs of developers of small to medium software projects, and features an integrated database, web services, scenario-driven test suite, and more.

csv dataframe declarative-programming etl functional-programming java json json-parser jvm kafka lollypop matrix matrix-calculations matrix-multiplication reactive-programming scala scripting-language spark sql

Last synced: 28 Jan 2026

https://github.com/damiancipolat/documenting_js_functions

This repository was created to show anothers JS developers a way of how to document javascript functions at the moment to start coding.

amazon functional-programming functional-programming-examples js node

Last synced: 09 May 2026

https://github.com/solangeug/lambdas-and-streams

Project based on Oracle's Introduction to Lambda Expressions and the Streams API MOOC.

functional-programming java-8 lambda-expressions oracle-mooc streams-api

Last synced: 09 May 2026

https://github.com/mohammadsafia/focus-time-react-native

This application makes you focus on specific tasks for a time and acts as an alarm to notify you of the end of the time allocated to the task

clean-architecture clean-code functional-programming hooks react-native typescript

Last synced: 09 May 2026

https://github.com/easimonenko/programming-languages-and-systems-course

Course "Programming Languages and Systems" (in Russian language).

course elm functional-programming haskell logic-programming prolog russian-specific

Last synced: 10 May 2026

https://github.com/eliphatfs/2us

Glueing functionals by `import __` for python!

functional-programming python

Last synced: 10 Jun 2026

https://github.com/kzemlyak/brain-games

braingames functional-programming javascript js

Last synced: 12 May 2026

https://github.com/monksc/cacheskell

This is my functional programming language that looks like Haskell but it cache every function.

custom-language functional-programming haskell interpreter language programming-languages rust rust-lang

Last synced: 14 May 2026

https://github.com/andersontr15/ramda-lite

ramdaLite - Minimalist version of Ramda.js

functional functional-js functional-programming ramda ramda-lite ramdajs ramdalite

Last synced: 12 Jun 2026

https://github.com/deepcloudlabs/dcl113-2020-jun-04

DCL-113: Functional Programming in C++17

cpp11 cpp14 cpp17 cpp20 functional-programming lambda-expressions stl stl-containers

Last synced: 13 Jun 2026

https://github.com/rcardin/scalar-2026

Material for my talk at the Scalar 2026 conference

continuations coroutines functional-programming java kotlin scala virtual-threads

Last synced: 14 Jun 2026

https://github.com/itemconsulting/enonic-fp

Functional programming helpers for Enonic XP

enonic enonic-xp fp-ts functional-programming typescript

Last synced: 16 Jun 2026

https://github.com/dlemel8/network_parser_combinator

POC of parsing network protocols using parser combinators pattern

dtls12 functional-programming network-protocols parser-combinator rust tdd tls12 tls13

Last synced: 21 Jun 2026

https://github.com/pyrex41/shen-rust

Shen language port in Rust — 134/134 kernel conformance; tree-walker + AOT-compiled kernel + bytecode VM + opt-in GC; first-class AWS Cedar authorization integration.

authorization bytecode-vm cedar compiler functional-programming garbage-collector interpreter klambda programming-language rust shen theorem-prover