Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

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.

https://github.com/mchav/froid

A library for using the Frege programming language in Android development.

android android-development frege frege-programming-language functional-programming

Last synced: 09 Oct 2024

https://github.com/MilesMcBain/fnmate

A function definition generator.

functional-programming functions rstats

Last synced: 04 Dec 2024

https://github.com/nullobject/risk

A game of Risk played on a hexgrid.

functional-programming game javascript reactive-programming risk

Last synced: 06 Dec 2024

https://github.com/keithasaurus/koda

Type-safe functional tools for Python.

functional-programming python tagged-unions type-safety

Last synced: 08 Nov 2024

https://github.com/esimov/gogu

A comprehensive, reusable and efficient concurrent-safe generics utility functions and data structures library.

data-structures datastructures functional functional-programming generics go golang programming trie

Last synced: 27 Oct 2024

https://github.com/yallop/ocaml-asp

Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc

functional-programming high-performance metaocaml ocaml parser-combinators parsing

Last synced: 27 Oct 2024

https://github.com/robertvazan/noexception

Java library for handling exceptions in concise, unified, and architecturally clean way.

exception-handler exceptions functional-programming java-8 java-library noexception

Last synced: 25 Dec 2024

https://github.com/mrdimosthenis/emel

A simple and functional machine learning library for the Erlang ecosystem

elixir erlang functional-programming gleam machine-learning

Last synced: 27 Oct 2024

https://github.com/milesmcbain/fnmate

A function definition generator.

functional-programming functions rstats

Last synced: 27 Oct 2024

https://github.com/nythrox/effects.js

Algebraic effects in javascript with scoped handlers, multishot delimited continuations, stack safety, do notation and higher-order effects

algebraic-effects effects functional-programming javascript

Last synced: 14 Nov 2024

https://github.com/ideos/gloe

A general-purpose library designed to guide developers in expressing their code as a flow.

clean-code data-science flow functional-programming machine-learning python typing

Last synced: 30 Oct 2024

https://github.com/laserdisc-io/laserdisc

A Future-free Fs2 native pure FP Redis client

fp fs2 functional-programming mtl redis redis-client scala

Last synced: 21 Dec 2024

https://github.com/neysofu/tyche

Statistics utilities for the JVM - in Scala!

functional-programming probability-calculator probability-distribution statistics

Last synced: 26 Dec 2024

https://github.com/Banno/kafka4s

Functional programming with Kafka and Scala

cats cats-effect fp fs2 functional-programming kafka scala stream-processing

Last synced: 04 Nov 2024

https://github.com/chromium/subspace

A concept-centered standard library for C++20, enabling safer and more reliable products and a more modern feel for C++ code.; Also home of Subdoc the code-documentation generator.

cxx cxx20 functional-programming safety standard-library

Last synced: 24 Dec 2024

https://github.com/IMax153/expressive-ts

A functional programming library designed to simplify building complex regular expressions

functional-programming javascript regex regular-expressions typescript

Last synced: 31 Oct 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: 22 Dec 2024

https://github.com/tamizhvendan/cafeapp

A Real World Business Application using F# and Suave

cqrs docker event-sourcing fsharp functional-programming suave

Last synced: 23 Nov 2024

https://github.com/imax153/expressive-ts

A functional programming library designed to simplify building complex regular expressions

functional-programming javascript regex regular-expressions typescript

Last synced: 09 Nov 2024

https://github.com/yannickdot/taskorama

⚙ A Task/Future data type for JavaScript

async functional-programming javascript promise tasks

Last synced: 07 Nov 2024

https://github.com/svenssonjoel/lispBM

An interpreter for a concurrent lisp-like language with message-passing and pattern-matching implemented in C.

chibios concurrency esp32 freertos functional-programming interpreter language lisp microcontroller nrf52 pattern-matching programming-language quasiquotation repl riscv32 stm32f4 zephyr

Last synced: 14 Nov 2024

https://github.com/svenssonjoel/lispbm

An interpreter for a concurrent lisp-like language with message-passing and pattern-matching implemented in C.

chibios concurrency esp32 freertos functional-programming interpreter language lisp microcontroller nrf52 pattern-matching programming-language quasiquotation repl riscv32 stm32f4 zephyr

Last synced: 25 Dec 2024

https://github.com/timkindberg/egghead-recompose

Master Higher Order Components with Functional Patterns Using Recompose

course eggheadio functional-programming higher-order-component lesson react recompose

Last synced: 15 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: 24 Dec 2024

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/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/agrafix/funblog

A simple blog software written in Haskell

blog blog-engine functional-programming haskell spock

Last synced: 28 Oct 2024

https://github.com/voltrevo/valuescript

A dialect of TypeScript with value semantics.

functional-programming javascript rust typescript

Last synced: 25 Dec 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: 24 Dec 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/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/nullobject/bulb

A reactive programming library for JavaScript.

functional functional-programming javascript reactive reactive-programming

Last synced: 06 Dec 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/zio/zio-sqs

ZIO-powered client for AWS SQS

aws-sdk connector functional-programming scala sqs stream zio

Last synced: 22 Dec 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: 27 Dec 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: 21 Dec 2024

https://github.com/TimTeaFan/loopurrr

Translate purrr functions into regular for loops

functional-programming purrr r

Last synced: 04 Dec 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/monix/monix-bio

Asynchronous data type with typed errors.

cats-effect functional-programming monix scala typelevel

Last synced: 21 Dec 2024

https://github.com/cdiggins/plato

A simple and efficient cross-platform programming language.

functional-programming learn-to-code programming-language teaching

Last synced: 25 Dec 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/drizzer14/fnts

λ Minimal Functional Programming Utilities for TypeScript & JavaScript

fp function functional functional-programming functions javascript monad types typescript typescript-library

Last synced: 09 Dec 2024

https://github.com/digital-fabric/affect

Algebraic effects for Ruby

algebraic-effects functional-programming ruby

Last synced: 24 Nov 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/zanettin/incompose

A inferno utility belt for function components and higher-order components

functional-components functional-programming higher-order-component hoc inferno inferno-js javascript npm npm-package recompose

Last synced: 06 Dec 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/venil7/json-decoder

Type safe JSON decoder for TypeScript

composition decoder elm elm-lang functional-programming json typescript

Last synced: 19 Dec 2024

https://github.com/hamler-lang/docs

Documentation of Hamler

erlang functional-programming hamler haskell

Last synced: 10 Nov 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/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/dedbox/racket-algebraic

Algebraic structures for untyped Racket

algebraic functional-programming racket

Last synced: 03 Dec 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/mohamedsabry0/functional_programming_examples

Community implementations of Functional Programming paradigm in several languages as explained by Eng. Mohamed Hammad

functional-programming

Last synced: 10 Dec 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/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/davidchase/ramtuary

Ramda + Ramda Fantasy + Sanctuary REPL :herb:

functional functional-programming ramda ramda-fantasy repl sanctuary

Last synced: 27 Oct 2024

https://github.com/ecyrbe/typeskell

Functional programming in Typescript

functional-programming typeclass typescript

Last synced: 26 Dec 2024

https://github.com/caiogondim/tubo.js

:surfer: Your functional (sync/async) pipe | operator

functional-programming javascript js pipe

Last synced: 24 Nov 2024

https://github.com/suned/stateless

Statically typed, purely functional effects for Python.

algebraic-effects functional-programming python

Last synced: 20 Dec 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: 25 Dec 2024

https://github.com/galkowskit/denofun

Small utility library containing functions, monads and other fun stuff.

deno functional-programming typescript

Last synced: 20 Nov 2024

https://github.com/tkgalk/denofun

Small utility library containing functions, monads and other fun stuff.

deno functional-programming typescript

Last synced: 28 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/

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/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/champii/rock

Native language with Rust & LLVM

ast functional-programming langage llvm llvm-ir low-level rust

Last synced: 18 Dec 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: 25 Dec 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/vitorluizc/normalize-text

📝 Provides a simple functions to normalize texts, whitespaces, paragraphs & diacritics.

compose functional-programming javascript normalize normalize-text string string-manipulation

Last synced: 26 Dec 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/hufeng/iflux

iflux = immer.js + react.js

functional-programming immer react reactive

Last synced: 31 Oct 2024