Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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: 2024-11-18 00:10:57 UTC
- JSON Representation
https://github.com/ekdohibs/joujou
A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a static type system with inference of types and effects, with subtyping.
algebraic-effects compiler continuations functional-programming handlers type-inference
Last synced: 27 Oct 2024
https://github.com/sjsyrek/malc
Make a lambda calculus.
elixir functional-programming haskell javascript lambda-calculus lambda-expressions lambda-functions perl6 python ruby
Last synced: 10 Oct 2024
https://github.com/danielnixon/eslint-plugin-total-functions
An ESLint plugin to enforce the use of total functions (and prevent the use of partial functions) in TypeScript.
eslint eslint-plugin functional-programming partial-functions type-safety typescript
Last synced: 11 Oct 2024
https://github.com/pthom/cleantype
Readable and consistent C++ type introspection - Compiler Decipherer
c-plus-plus c-plus-plus-14 cpp cpp14 functional-programming header-only library reflection type types
Last synced: 07 Nov 2024
https://github.com/zio/zio-cache
A ZIO native cache with a simple and compositional interface
asynchronicity asynchronous-programming asyncronous cache concurrency concurrent concurrent-data-structure concurrent-programming effects functional-programming scala zio
Last synced: 13 Nov 2024
https://github.com/marcoturi/fastify-boilerplate
Fastify 5 application boilerplate based on clean architecture, domain-driven design, CQRS, functional programming, vertical slice architecture for building production-grade applications 🚀
backend bdd clean-architecture cqrs cucumber ddd fastify functional-programming graphql hexagonal-architecture mercurius nodejs onion-architecture typescript vitest
Last synced: 11 Oct 2024
https://github.com/agrafix/funblog
A simple blog software written in Haskell
blog blog-engine functional-programming haskell spock
Last synced: 28 Oct 2024
https://github.com/GetStream/stream-result
🚊 Railway-oriented library to easily model and handle success/failure for Kotlin, Android, and Retrofit.
android coroutines functional-programming kotlin kotlin-result railway-oriented-programming result retrofit2
Last synced: 07 Nov 2024
https://github.com/pakoito/functionalrx2
FunctionalRx2 is a collection of constructs to simplify a functional programming approach to Java and Android [STABLE]
functional-programming java rxjava2
Last synced: 08 Nov 2024
https://github.com/pakoito/FunctionalRx2
FunctionalRx2 is a collection of constructs to simplify a functional programming approach to Java and Android [STABLE]
functional-programming java rxjava2
Last synced: 30 Oct 2024
https://github.com/nullobject/bulb
A reactive programming library for JavaScript.
functional functional-programming javascript reactive reactive-programming
Last synced: 07 Nov 2024
https://github.com/monix/monix-bio
Asynchronous data type with typed errors.
cats-effect functional-programming monix scala typelevel
Last synced: 13 Nov 2024
https://github.com/hanbings/alkaid
🌟 Alkaid - 摇光 一只可以帮助你进行 Bukkit 插件开发的狼龙！A kemono wolf-dragon that can help you with Bukkit plugin development !
alkaid bukkit bungeecord functional-programming java lambda library minecraft mongodb paper redis spigot spigot-plugin stream tool
Last synced: 11 Nov 2024
https://github.com/zio/zio-sqs
ZIO-powered client for AWS SQS
aws-sdk connector functional-programming scala sqs stream zio
Last synced: 17 Nov 2024
https://github.com/dejvokep/boosted-yaml
A simple-to-use standalone Java library delivering boosted experience while working with YAML documents.
automation bukkit file functional-programming java spigot standalone yaml
Last synced: 13 Nov 2024
https://github.com/wahani/modules
Modules in R
cran functional-programming module r
Last synced: 13 Aug 2024
https://github.com/bespoyasov/explicit-design
Source code for the “Explicit Design” post series.
architecture cohesion coupling domain-modelling explicit-architecture explicit-intents functional-architecture functional-core functional-programming inversion-of-control javascript multiparadigm react software-design type-safety typescript vertical-slices
Last synced: 13 Nov 2024
https://github.com/crowdhailer/eyg-lang
Experiments in building "better" languages and tools; for some measure of better.
functional-programming gleam programming
Last synced: 27 Oct 2024
https://github.com/TimTeaFan/loopurrr
Translate purrr functions into regular for loops
functional-programming purrr r
Last synced: 13 Aug 2024
https://github.com/perkss/clojure-kafka-examples
Clojure examples for Kafka and Kafka Streams (JAVA Interop)
avro-kafka clojure functional-programming java kafka kafka-streams kafka-topic testcontainers
Last synced: 17 Nov 2024
https://github.com/przemyslawjanpietrzak/rembrandt
Simple UI framework written in Reasonml.
bucklescript functional-programming javascript ocaml reason reasonml
Last synced: 14 Nov 2024
https://github.com/voltrevo/valuescript
A dialect of TypeScript with value semantics.
functional-programming javascript rust typescript
Last synced: 05 Nov 2024
https://github.com/egel-lang/egel
The Egel Programming Language
c-plus-plus egel-language functional-programming interpreter programming-language
Last synced: 07 Nov 2024
https://github.com/fastify/fastify-funky
Make fastify functional! Plugin, adding support for fastify routes returning functional structures, such as Either, Task or plain parameterless function.
fastify fastify-plugin functional-programming
Last synced: 07 Oct 2024
https://github.com/codeinred/recursive-variant
Recursive Variant: A simple library for Recursive Variant Types
cpp cpp20 functional-programming header-only header-only-library recursion recursive-types sum-types variant variants
Last synced: 26 Oct 2024
https://github.com/thosakwe/bullseye
[WIP] A pure functional language that compiles to Dart.
compiler dart functional-programming programming-language
Last synced: 09 Nov 2024
https://github.com/drizzer14/fnts
λ Minimal Functional Programming Utilities for TypeScript & JavaScript
fp function functional functional-programming functions javascript monad types typescript typescript-library
Last synced: 17 Aug 2024
https://github.com/digital-fabric/affect
Algebraic effects for Ruby
algebraic-effects functional-programming ruby
Last synced: 06 Aug 2024
https://github.com/jbakouny/scallina
A Coq-based synthesis of Scala programs which are correct-by-construction
coq formal-methods functional-programming scala synthesis
Last synced: 10 Oct 2024
https://github.com/chkoreff/Fexl
Function EXpression Language (interpreter for functional programs)
c functional-programming interpreter
Last synced: 17 Nov 2024
https://github.com/cdiggins/plato
A simple and efficient cross-platform programming language.
functional-programming learn-to-code programming-language teaching
Last synced: 11 Nov 2024
https://github.com/xgrommx/practical-functional-programming
beginner-friendly fp fun functional-programming javascript js paradigm
Last synced: 22 Oct 2024
https://github.com/blackmatov/kari.hpp
Experimental library for currying in C++17
c-plus-plus c-plus-plus-17 cpp cpp17 curry currying functional functional-programming
Last synced: 27 Oct 2024
https://github.com/jwiegley/putting-lenses-to-work
A presentation for BayHac 2017 on how I uses lenses at work
functional-programming haskell lens lenses practical
Last synced: 28 Oct 2024
https://github.com/derive4j/hkt
Higher Kinded Type machinery for Java
annotation-processor functional-programming hk-encoding hkt java-8 typechecker
Last synced: 08 Nov 2024
https://github.com/venil7/json-decoder
Type safe JSON decoder for TypeScript
composition decoder elm elm-lang functional-programming json typescript
Last synced: 12 Oct 2024
https://github.com/landawn/abacusutil
Release the power in Java programming
android functional-programming http-client java jdbc json-parser matrix nosql orm sql sql-builder xml-parser
Last synced: 14 Nov 2024
https://github.com/hamler-lang/docs
Documentation of Hamler
erlang functional-programming hamler haskell
Last synced: 10 Nov 2024
https://github.com/mohamedsabry0/functional_programming_examples
Community implementations of Functional Programming paradigm in several languages as explained by Eng. Mohamed Hammad
Last synced: 22 Oct 2024
https://github.com/mit-plv/timl
TiML: A Functional Programming Language with Time Complexity
functional-programming mlton sml standard-ml time-complexity
Last synced: 10 Nov 2024
https://github.com/serradura/request_via
RequestVia: A Functional HTTP Client That Wraps Net::HTTP
functional functional-programming http http-client nethttp ruby uri
Last synced: 31 Oct 2024
https://github.com/semiversus/python-broqer
Carefully crafted library to operate with continuous streams of data in a reactive style with publish/subscribe, asyncio support and broker functionality.
broker functional-programming publish-subscribe python reactive
Last synced: 30 Oct 2024
https://github.com/orsinium-labs/python-lambda-calculus
Lambda Calculus things implemented on Python
combinator functional-programming lambda lambda-calculus python ycombinator
Last synced: 16 Nov 2024
https://github.com/gregziegan/goat
Annotate Images (or goats) On The Web™
annotations elm functional-programming image-annotation image-editing svg
Last synced: 19 Oct 2024
https://github.com/dedbox/racket-algebraic
Algebraic structures for untyped Racket
algebraic functional-programming racket
Last synced: 15 Oct 2024
https://github.com/davidchase/ramtuary
Ramda + Ramda Fantasy + Sanctuary REPL :herb:
functional functional-programming ramda ramda-fantasy repl sanctuary
Last synced: 27 Oct 2024
https://github.com/openmole/mgo
Purely functional genetic algorithms for multi-objective optimisation
functional-programming genetic-algorithm hyperparameter-optimization hyperparameter-tuning hyperparameters optimisation parameter-tuning scala
Last synced: 04 Aug 2024
https://github.com/dmitriz/cpsfy
🚀 Tiny goodies for Continuation-Passing-Style functions, fully tested
applicative asynchronous asynchronous-programming asynchronous-tasks callback callback-manager composition continuation continuation-passing continuation-passing-style continuation-tasks control-flow curried-functions functional-programming functor monad point-free reducer stream variadic
Last synced: 30 Oct 2024
https://github.com/jaalonso/lecturas_glc
Readings on computational logic, interactive theorem proving and functional programming.
coq functional-programming haskell isabelle-hol itp leanprover logic logic-programming prolog
Last synced: 12 Nov 2024
https://github.com/ecyrbe/typeskell
Functional programming in Typescript
functional-programming typeclass typescript
Last synced: 31 Oct 2024
https://github.com/tkgalk/denofun
Small utility library containing functions, monads and other fun stuff.
deno functional-programming typescript
Last synced: 08 Aug 2024
https://github.com/mrdimosthenis/synapses
A group of neural-network libraries for functional and mainstream languages
clojure csharp deep-learning elixir fsharp functional-programming gleam java javascript lightweight machine-learning neural-network python scala
Last synced: 07 Nov 2024
https://github.com/mrdimosthenis/Synapses
A group of neural-network libraries for functional and mainstream languages
clojure csharp deep-learning elixir fsharp functional-programming gleam java javascript lightweight machine-learning neural-network python scala
Last synced: 02 Nov 2024
https://mrdimosthenis.github.io/Synapses/?elixir
A group of neural-network libraries for functional and mainstream languages
clojure csharp deep-learning elixir fsharp functional-programming gleam java javascript lightweight machine-learning neural-network python scala
Last synced: 04 Nov 2024
https://mrdimosthenis.github.io/Synapses/
A group of neural-network libraries for functional and mainstream languages
clojure csharp deep-learning elixir fsharp functional-programming gleam java javascript lightweight machine-learning neural-network python scala
Last synced: 30 Oct 2024
https://github.com/suned/stateless
Statically typed, purely functional effects for Python.
algebraic-effects functional-programming python
Last synced: 13 Nov 2024
https://github.com/ehmicky/fast-cartesian
Fast cartesian product
algorithm cartesian cartesian-product cartesian-products combinations combinatorics data-structures es6 functional functional-programming iterable javascript library lodash lodash-fp nodejs performance product sets typescript
Last synced: 15 Nov 2024
https://github.com/slavaganzin/ramda.py
Python clone of Ramda.js
curry fp functional-programming itertools python ramda toolz
Last synced: 07 Nov 2024
https://github.com/WaldoJeffers/conductor
Mix both synchronous and asynchronous code without hassle
async asynchronous functional-programming javascript utility-library
Last synced: 07 Nov 2024
https://github.com/ace411/bingo-functional
A simple functional programming library for PHP
bingo-framework either-monad fp functional functional-php functional-programming functors helpers immutability immutable io-monad maybe-monad monads php php-library php7 reader-monad state-monad writer-monad
Last synced: 15 Nov 2024
https://github.com/gvolpe/shopping-cart-haskell
:gem: Haskell version of the Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"
functional-programming http newtypes postgresql refined servant
Last synced: 28 Oct 2024
https://github.com/hulang1024/Scheme
A Scheme interpreter written in C.
c compiler functional functional-programming interpreter language lisp scheme
Last synced: 17 Nov 2024
https://github.com/datadog4s/datadog4s
Making great monitoring easy in functional Scala
cats cats-effect datadog datadog-metrics functional-programming http4s monitoring scala
Last synced: 15 Nov 2024
https://github.com/metarhia/common
Metarhia Common Library 🗜️
array callback cluster common curry date eventemitter functional-programming globalstorage impress javascript js jstp metarhia node nodejs server strings tools utilities
Last synced: 12 Nov 2024
https://github.com/ditto-lang/ditto
👌 A smol functional language that targets other languages
compiler ditto ditto-lang functional-programming
Last synced: 18 Nov 2024
https://github.com/hufeng/iflux
iflux = immer.js + react.js
functional-programming immer react reactive
Last synced: 31 Oct 2024
https://github.com/michael-klein/hookuspocus
hooks for all the functions!
functional functional-js functional-programming hooks javascript react
Last synced: 10 Nov 2024
https://github.com/vitorluizc/normalize-text
:memo: Provides a simple API to normalize texts, whitespaces, paragraphs & diacritics.
compose functional-programming javascript normalize normalize-text string string-manipulation
Last synced: 15 Nov 2024
https://github.com/rusini/manool
Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with scalability
compiler development dynamically-typed functional functional-core functional-language functional-programming general-purpose homoiconic imperative imperative-programming interpreter multi-paradigm practical procedural procedural-programming programming programming-language software-development strongly-typed
Last synced: 07 Nov 2024
https://github.com/symentis/corridor
A Coreader-like Dependency Injection μFramework
coreader dependency-injection functional-programming ios swift swift-4 swift-framework
Last synced: 12 Oct 2024
https://github.com/symentis/Corridor
A Coreader-like Dependency Injection μFramework
coreader dependency-injection functional-programming ios swift swift-4 swift-framework
Last synced: 29 Oct 2024
https://github.com/evandrolg/array.lua
A small library with useful methods to handle Lua's table when it's working like an Array
array functional-programming lua table
Last synced: 15 Nov 2024
https://github.com/EvandroLG/array.lua
A small library with useful methods to handle Lua's table when it's working like an Array
array functional-programming lua table
Last synced: 31 Oct 2024
https://github.com/geirolz/advxml
A lightweight, simple and functional DSL library to work with XML in Scala with Cats
cats dsl functional functional-programming library lightweight scala scala-library scala-xml xml
Last synced: 14 Nov 2024
https://github.com/Subito-it/Esito
Esito ambition is to be your return type for suspending functions.
android functional-programming kotlin result retrofit
Last synced: 07 Nov 2024
https://github.com/neko-kai/fp-dictionary
FP category theory jargon explained on a single A4 page
category-theory fp functional-programming
Last synced: 08 Nov 2024
https://github.com/sanmai/pipeline
Build streaming pipelines in PHP. The missing pipe operator. General-purpose collection pipeline. Since 2017.
chain collections functional-programming php-library pipeline stream-processing
Last synced: 15 Oct 2024
https://github.com/briancavalier/fx-ts
Computational environments and effects for TypeScript
algebraic-effects effects functional-programming typescript
Last synced: 27 Oct 2024
https://github.com/csabahruska/jhc-components
JHC Haskell compiler split into reusable components
c c-backend compiler functional-programming grin haskell jhc multiplatform optimizer
Last synced: 28 Oct 2024
https://github.com/mikesol/purescript-ocarina
Web audio graphs as a stream
functional-programming purescript web-audio
Last synced: 27 Oct 2024
https://github.com/AluVM/rust-aluvm
Rust implementation of AluVM (RISC functional machine)
blockchain edge-computing embedded-systems functional-programming instruction-set-architecture microcontrollers risc rust smart-contracts virtual-machine
Last synced: 04 Nov 2024
https://github.com/timjs/elm-collage
Create interactive vector graphics and position them relative to each other
composition elm functional-programming graphics svg
Last synced: 04 Nov 2024
https://github.com/geirolz/fly4s
A lightweight, simple and functional wrapper of Flyway using cats effect.
cats cats-effect data database database-migrations db flyway flyway-migrations flywaydb functional-programming persistence scala
Last synced: 31 Oct 2024
https://github.com/supermacro/elm-antd
The official Ant Design UI Kit for Elm
ant-design antd components design-systems elm fp functional-programming hacktoberfest ui-kit
Last synced: 07 Nov 2024
https://github.com/saschagrunert/func
Functional additions to C
c cpp either functional-programming maybe
Last synced: 28 Oct 2024
https://github.com/marceloboeira/sre
📚 Index for my study topics
coursera courses distributed-systems functional-programming infrastructure-as-code nosql oncall operating-systems site-reliability-engineering software-engineering sre system-programming terraform
Last synced: 26 Oct 2024
https://github.com/orsinium-labs/rlci
🦀 λ Overly-documented Rust-powered Lambda Calculus Interpreter.
fp functional-programming interpreter lambda lambda-calculus programming-language rust
Last synced: 16 Nov 2024
https://github.com/typelead/sbt-eta
An sbt plugin that integrates Eta into Scala projects.
eta functional-programming sbt sbt-plugin scala
Last synced: 13 Nov 2024
https://github.com/tpolecat/tuco
Reasonable telnet server for Scala.
fp functional-programming scala telnet telnet-server
Last synced: 20 Oct 2024
https://github.com/teves-castro/ts-do
Do like notation for typescript using fp-ts
do-notation fp-ts functional-programming
Last synced: 31 Oct 2024
https://github.com/Jyothsnasrinivas/eta-android-2048
Android 2048 game using Yampa FRP library in Eta
android eta frp functional-programming haskell
Last synced: 07 Nov 2024
https://github.com/zio/zio-optics
Easily modify parts of larger data structures
functional-programming optics scala zio
Last synced: 17 Nov 2024
https://github.com/ronanyeah/elm-phoenix-example
minimum elm + phoenix setup, with webpack
elixir elm functional-programming phoenix postgresql webpack
Last synced: 16 Nov 2024
https://github.com/carlosmchica/haskell-book-readers-exercises
Exercises from the readers of the Haskell Book
functional-programming haskell haskellbook
Last synced: 01 Nov 2024
https://github.com/querycert/qcert
Compilation and Verification of Data-Centric Languages
compiler coq-proof-assistant functional-programming query-engine query-language sql verification verified-compiler
Last synced: 04 Aug 2024
https://github.com/bcherny/tsoption
Correct, easy to use Option type for TypeScript. 🦄
functional-programming monad scala typescript
Last synced: 01 Nov 2024
https://github.com/lac-dcc/wyvern
Automatic conversion of call by value into call by need in the LLVM IR.
closures code-generation compiler functional-programming lazy-evaluation llvm optimization outlining
Last synced: 07 Nov 2024
https://github.com/pyx/hymn
Hy Monad Notation - a monad library for Hy
functional-programming hy lisp macros monad python
Last synced: 11 Nov 2024
https://github.com/arosien/cats-cheatsheets
cats cheatsheets functional-programming scala
Last synced: 02 Nov 2024
