Functional programming | Ecosyste.ms: Awesome

https://github.com/pointfreeco/swift-gen

🎱 Composable, transformable, controllable randomness.

composition functional-programming randomness testing transformation

Last synced: 15 Nov 2024

https://github.com/tylors/typed

Web Applications with Effect-TS

architecture async dom effect effect-ts functional-programming html modular router server state-management streams typescript

Last synced: 13 Nov 2024

https://github.com/TylorS/typed

Web Applications with Effect-TS

architecture async dom effect effect-ts functional-programming html modular router server state-management streams typescript

Last synced: 31 Oct 2024

https://github.com/zio/zio-actors

A high-performance, purely-functional library for building, composing, and supervising typed actors based on ZIO

actor-model functional-programming scala zio

Last synced: 17 Nov 2024

https://github.com/a-synchronous/rubico

[a]synchronous functional programming

async async-await asynchronous combinators concurrent function-composition functional-programming generator iterator javascript monad mux node operator parallel pointfree promise series tacit transducers

Last synced: 01 Nov 2024

https://github.com/dry-python/lambdas

Write short and fully-typed lambdas where you need them.

composition dry-python fp functional-programming lambda lambdas mypy mypy-plugins mypy-stubs python python3

Last synced: 05 Nov 2024

https://github.com/Chymyst/curryhoward

Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism

automated-theorem-provers code-generation curry-howard-isomorphism functional-programming intuitionistic-logic lambda-calculus lambda-terms scala scala-macros theorem-prover

Last synced: 09 Nov 2024

https://github.com/chymyst/curryhoward

Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism

automated-theorem-provers code-generation curry-howard-isomorphism functional-programming intuitionistic-logic lambda-calculus lambda-terms scala scala-macros theorem-prover

Last synced: 18 Nov 2024

https://github.com/smartherd/kotlintutorial

Learn Kotlin programming from scratch

android functional-programming kotlin kotlin-android kotlin-coroutines kotlin-language kotlin-library kotlin-native object-oriented-programming

Last synced: 17 Nov 2024

https://github.com/GregRos/parjs

JavaScript parser-combinator library

functional-programming javascript parse parser parser-combinators parsing text typescript

Last synced: 17 Aug 2024

https://github.com/gregros/parjs

JavaScript parser-combinator library

functional-programming javascript parse parser parser-combinators parsing text typescript

Last synced: 13 Nov 2024

https://github.com/stephencelis/formatting

Type-safe, functional string formatting in Swift.

composability formatter functional-programming string-formatter swift

Last synced: 27 Oct 2024

https://github.com/ronami/typelang

🌳 A tiny language interpreter implemented purely in TypeScript's type-system

compiler functional-programming learning recursion type-system typescript

Last synced: 14 Nov 2024

https://github.com/KindaSloth/Haskell4Noobs

Único roadmap de Haskell possível, do noob ao Thanos

brasil functional-programming haskell portugues portuguese tutorial

Last synced: 07 Nov 2024

https://github.com/hollyoops/recoilswift

A New, Functional, Modern Reactive State Management Library for UIKit and SwiftUI (The iOS implementation of Recoil)

functional-programming ios mvvm recoil redux reswift state-mangement swift swiftui tca

Last synced: 12 Oct 2024

https://github.com/raviqqe/hamt

Immutable and Memory-Efficient Maps and Sets in Go

functional-programming go hamt immutable map set

Last synced: 17 Oct 2024

https://github.com/planttheidea/unchanged

A tiny, fast, unopinionated handler for updating JS objects and arrays immutably

functional-programming immutable javascript

Last synced: 29 Oct 2024

https://github.com/silt-lang/silt

An in-progress fast, dependently typed, functional programming language implemented in Swift.

compiler dependent-types functional-programming swift

Last synced: 18 Oct 2024

https://github.com/joergen7/cuneiform

Cuneiform distributed programming language

bioinformatics distributed-computing erlang functional-programming machine-learning otp parallelization workflow workflow-engine

Last synced: 14 Nov 2024

https://github.com/tomeraberbach/lfi

🦥 A lazy functional iteration library supporting sync, async, and concurrent iteration.

async concurrent functional-programming generator iterable iterator javascript lazy npm-module npm-package promise sync

Last synced: 13 Nov 2024

https://github.com/pure-c/purec

C backend for PureScript

backends c clang functional-programming native programming-language purescript

Last synced: 12 Nov 2024

https://github.com/lonelyenvoy/python-memoization

A powerful caching library for Python, with TTL support and multiple algorithm options.

algorithm cache cache-python decorator extendable extensible fifo fifo-cache functional-programming lfu lfu-cache lru lru-cache memoization memoization-library memoize-decorator python-memoization ttl ttl-cache ttl-support

Last synced: 14 Nov 2024

https://github.com/thesephist/oak

An expressive, simple, dynamic programming language.

functional-programming ink-programming-language oaklang programming-language scripting-language

Last synced: 18 Nov 2024

https://github.com/VladKopanev/zio-saga

Purely Functional Transaction Management In Scala With ZIO

concurrency distributed-systems fp functional-programming saga saga-pattern sagas scala zio

Last synced: 09 Nov 2024

https://github.com/evancz/functional-programming-in-elm

DRAFT outlining some techniques of functional programming

elm functional-programming recursion

Last synced: 12 Oct 2024

https://github.com/dadhi/imtools

Fast and memory-efficient immutable collections and helper data structures

2-3-tree avl-tree compare-and-swap data-structures dictionary effects functional-programming hashmap hashtable immutable lock-free map memory-efficient open-addressing performance persistent reference-semantics robinhood-hashmap sum-types value-semantics

Last synced: 16 Nov 2024

https://github.com/dadhi/ImTools

Fast and memory-efficient immutable collections and helper data structures

2-3-tree avl-tree compare-and-swap data-structures dictionary effects functional-programming hashmap hashtable immutable lock-free map memory-efficient open-addressing performance persistent reference-semantics robinhood-hashmap sum-types value-semantics

Last synced: 13 Nov 2024

https://github.com/comcast/ip4s

Defines immutable, safe data structures for describing IP addresses, multicast joins, socket addresses and similar IP & network related data types

functional-programming scala scalajs

Last synced: 14 Nov 2024

https://github.com/juspay/purescript-presto

Write Apps like Mathematical Equations!

app-development functional-programming native purescript

Last synced: 12 Nov 2024

https://github.com/royalicing/react-organism

Dead simple React state management to bring pure components alive

async functional-programming promise react state state-management

Last synced: 18 Nov 2024

https://github.com/RoyalIcing/react-organism

Dead simple React state management to bring pure components alive

async functional-programming promise react state state-management

Last synced: 28 Aug 2024

https://github.com/selfrefactor/rambdax

Extended version of Rambda

functional-programming lodash rambda ramda utils

Last synced: 13 Nov 2024

https://github.com/nickslevine/zebras

Data analysis library for JavaScript built with Ramda

data-analysis data-science functional-programming javascript pandas ramda

Last synced: 07 Nov 2024

https://github.com/johnynek/bosatsu

A python-ish pure and total functional programming language

functional-programming language

Last synced: 17 Nov 2024

https://github.com/pine-vm/pine

Cross-platform runtime environment for the Elm programming language.

backend database dbms declarative-programming elm event-sourcing full-stack functional-programming runtime virtual-machine

Last synced: 12 Nov 2024

https://github.com/elm-fullstack/elm-fullstack

Cross-platform runtime environment for the Elm programming language.

backend database dbms declarative-programming elm event-sourcing full-stack functional-programming runtime virtual-machine

Last synced: 10 Aug 2024

https://github.com/phenax/algebraic-effects

Manage side-effects in your javascript application cleanly with algebraic effects

algebraic-effects effects functional-programming generators javascript side-effects

Last synced: 16 Nov 2024

https://github.com/ivanperez-keera/dunai

Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions

abstraction arrows frp frp-library functional-programming functional-reactive-programming game games haskell haskell-library monad yampa

Last synced: 14 Nov 2024

https://github.com/Andrea/FunctionalProgrammingInGames

Functional Programming in Games Resources

clojure elm frp-game-engine functional-programming game-development haskell rust

Last synced: 12 Nov 2024

https://github.com/slorber/combine-promises

Like Promise.all(array) but with an object instead of an array.

async await ecmascript functional-js functional-programming javascript promise promises

Last synced: 29 Oct 2024

https://github.com/cognate-lang/cognate

A human readable quasi-concatenative programming language

based-stack-based-language c closures combinatorics compiler forth forth-like functional-programming interpreter lambda-calculus language natural-language prefix-notation proglangs-discord programming-language stack-based-language stack-language

Last synced: 07 Nov 2024

https://github.com/cboudereau/category-theory-for-dotnet-programmers

This repo contains all c++ / haskell samples from Bartosz Milewski's book (Category Theory for Programmers) converted to csharp and fsharp

csharp fsharp fsharp-exercises fsharp-practice functional-programming

Last synced: 12 Oct 2024

https://github.com/andrea/functionalprogrammingingames

Functional Programming in Games Resources

clojure elm frp-game-engine functional-programming game-development haskell rust

Last synced: 12 Oct 2024

https://github.com/lucaong/immutable

Thread-safe, persistent, immutable collections for the Crystal language

crystal data-structures functional-programming hash immutable-collections persistent-data-structure vector

Last synced: 31 Oct 2024

https://github.com/cognitedata/oryx

.NET Cross platform and highly composable middleware for building web request handlers in F#

dotnet dotnet-standard fsharp functional-programming middleware web-client

Last synced: 13 Nov 2024

https://github.com/antonioru/deep-waters

🔥Deep Waters is an easy-to-compose functional validation system for javascript developers 🔥

deep-waters functional functional-programming javascript nodejs validation validation-library validators

Last synced: 17 Nov 2024

https://github.com/gvolpe/pfps-examples

:izakaya_lantern: Standalone examples shown in the book "Practical FP in Scala: A hands-on approach"

cats cats-effect cats-mtl fp fs2 functional-programming monocle newtypes refined

Last synced: 17 Nov 2024

https://github.com/thefrontside/funcadelic.js

Functional programming and category theory for everyday JavaScript development

functional-js functional-programming functor monad monoid semigroup typeclass

Last synced: 16 Nov 2024

https://github.com/avast/scala-server-toolkit

Functional programming toolkit for building server applications in Scala.

cats-effect functional-programming scala server toolkit

Last synced: 13 Nov 2024

https://github.com/bow-swift/bow-arch

🏛 Functional Architecture in Swift using Bow

architecture bow fp functional-programming hacktoberfest swift swift-package

Last synced: 09 Aug 2024

https://github.com/lfkdsk/SICP-Magical-Book

Magical Book The book uses dialects Scheme in the programming language Lisp to explain the core concepts of computer science, including abstraction, recursion, interpreters, and metalinguistic abstraction. Specific and micro-macroscopical to microcosmic to give a clear outline and context.

compilers functional-programming gitbook interpreters open-course sicp

Last synced: 11 Nov 2024

https://github.com/xodio/hm-def

Runtime type checking for JS with Hindley Milner signatures

functional-programming hindley-milner invariant javascript type-checking

Last synced: 15 Nov 2024

https://github.com/kickstarter/kickstarter-reactiveextensions

A collection of extensions to the ReactiveSwift framework.

frp functional-programming functional-reactive-programming ios reactivecocoa reactiveswift swift swift-language

Last synced: 12 Oct 2024

https://github.com/lfkdsk/sicp-magical-book

Magical Book The book uses dialects Scheme in the programming language Lisp to explain the core concepts of computer science, including abstraction, recursion, interpreters, and metalinguistic abstraction. Specific and micro-macroscopical to microcosmic to give a clear outline and context.

compilers functional-programming gitbook interpreters open-course sicp

Last synced: 05 Nov 2024

https://github.com/ast-al/rangeless

c++ LINQ -like library of higher-order functions for data manipulation

cpp cpp11 functional functional-programming itertools lazy-evaluation linq parallel pipeline range streaming-algorithms streaming-data

Last synced: 14 Nov 2024

https://github.com/gcanti/parser-ts

String parser combinators for TypeScript

fp-ts functional-programming parser-combinators typescript

Last synced: 15 Nov 2024

https://github.com/adityaathalye/shite

The little hot-reloadin' static site maker from shell.

bash bash-script every-layout functional-programming markdown org-mode shell shell-script static-site static-site-generator

Last synced: 13 Nov 2024

https://github.com/fp4php/functional

PHP Functional Programming library. Monads, common use functions and generic collections.

collections collections-framework function functional functional-programming functions immutable monads php psalm psalm-plugin static-analysis streams

Last synced: 08 Nov 2024

https://github.com/sksamuel/tribune

Kotlin 'parse not validate'

arrow-kt functional-programming kotlin ktor validation

Last synced: 17 Nov 2024

https://github.com/stefano-regosa-deel/pattern-matching-ts

⚡ Pattern Matching in Typescript

fp fp-ts functional-programming matching option-monad pattern pattern-matching typescript typescript-pattern-matching

Last synced: 31 Oct 2024

https://github.com/nrdlab/pattern-matching-ts

⚡ Pattern Matching in Typescript

fp fp-ts functional-programming matching option-monad pattern pattern-matching typescript typescript-pattern-matching

Last synced: 17 Aug 2024

https://github.com/japgolly/nyaya

Random Data Generation and/or Property Testing in Scala & Scala.JS.

fp functional-programming property-based-testing property-testing random random-data-generation scala scalajs

Last synced: 15 Nov 2024

https://github.com/kubukoz/sup

Composable, purely functional healthchecks in Scala.

cats cats-effect fp functional functional-programming health healthcheck scala typelevel

Last synced: 16 Nov 2024

https://github.com/marcinmoskala/kotlindiscretemathtoolkit

Set of extensions for Kotlin that provides Discrete math functionalities

discrete-math-functionalities extension-methods fun functional-programming kotlin

Last synced: 14 Nov 2024

https://github.com/MarcinMoskala/KotlinDiscreteMathToolkit

Set of extensions for Kotlin that provides Discrete math functionalities

discrete-math-functionalities extension-methods fun functional-programming kotlin

Last synced: 27 Oct 2024

https://github.com/xebia-functional/nine-cards-v2

An Open Source Android Launcher built with Scala on Android

android cats functional-programming launcher monix scala

Last synced: 04 Aug 2024

https://github.com/ruiaaperes/optionalextensions

Swift µframework with extensions for the Optional Type

functional-programming swift swift-extensions

Last synced: 30 Oct 2024

https://github.com/RuiAAPeres/OptionalExtensions

Swift µframework with extensions for the Optional Type

functional-programming swift swift-extensions

Last synced: 13 Aug 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: 07 Nov 2024

https://github.com/sjsyrek/maryamyriameliamurphies.js

A library of Haskell-style morphisms ported to ES2015 JavaScript using Babel.

es2015 functional-programming haskell javascript monads

Last synced: 26 Oct 2024

https://github.com/dmitriz/functional-examples

Examples with Functional JavaScript, following Professor Frisby's course

category-theory functional-js functional-programming functor monad

Last synced: 30 Oct 2024

https://github.com/systemfw/upperbound

A purely functional rate limiter

functional-programming rate-limiter scala

Last synced: 16 Nov 2024

https://github.com/timandy/linq

LINQ to Objects for Java.

android functional-programming java lambda linq linq4j stream-api tuple

Last synced: 29 Oct 2024

https://github.com/frees-io/iota

Fast [co]product types with a clean syntax. For Cats & Scalaz.

algebra coproduct functional-programming iota performance-tuning scala

Last synced: 14 Nov 2024

https://github.com/nunomaduro/curryable

An elegant and simple curry(f) implementation in PHP.

curry functional-programming laravel php

Last synced: 14 Nov 2024

https://github.com/vincentjouanne/flutter-bloc-clean-architecture

🏛 Flutter clean architecture using the bloc library for state management. This repository aims to help people to architecture their Flutter apps by providing an opinionated example.

bloc clean-architecture dartz emulator firebase flutter functional-programming port-adapter tdd tests ui

Last synced: 15 Nov 2024

https://github.com/augustjune/canoe

Functional Telegram Bot API for Scala

bot cats cats-effect fs2 functional-programming scala telegram

Last synced: 06 Nov 2024

https://github.com/aztek/scala-workflow

Boilerplate-free syntax for computations with effects

applicative-functors functional-programming functors monads scala scala-macros

Last synced: 06 Aug 2024

https://github.com/leobenkel/Zparkio

Boiler plate framework to use Spark and ZIO together.

boiler-plate functional-programming helpers scala spark template zio

Last synced: 09 Nov 2024

https://github.com/zio/zio-logging

Powerful logging for ZIO 2.0 applications, with compatibility with many logging backends out-of-the-box.

fp functional-programming logging scala slf4j tracing zio

Last synced: 17 Nov 2024

https://github.com/leobenkel/zparkio

Boiler plate framework to use Spark and ZIO together.

boiler-plate functional-programming helpers scala spark template zio

Last synced: 11 Oct 2024

https://github.com/munusphp/munus

Power of object-oriented programming with the elegance of functional programming in PHP.

functional-programming hacktoberfest immutable-collections immutable-objects object-functional php stream

Last synced: 04 Aug 2024

https://github.com/qingmei2/mvi-architecture

The practice of MVI + Jetpack architecture in Android.

android-jetpack functional-programming mvi mvi-android mvi-architecture reactive-programming

Last synced: 11 Nov 2024

https://github.com/gcanti/retry-ts

Retry combinators for monadic actions that may fail

fp-ts functional-programming typescript

Last synced: 16 Nov 2024

https://github.com/47degrees/helios

A purely functional JSON library for Kotlin built on Λrrow

functional functional-programming json json-parser kotlin kotlin-dsl kotlin-library

Last synced: 07 Nov 2024

https://github.com/tommmyy/ramda-extension

🤘Utility library for functional JavaScript. With ❤️ to Ramda.

extensions functional-programming pointfree ramda ramda-extension ramda-functions tools toolset utilities utils

Last synced: 06 Nov 2024

https://github.com/neotypes/neotypes

Scala lightweight, type-safe, asynchronous driver for neo4j

database functional-programming graph neo4j scala streaming

Last synced: 13 Oct 2024

https://github.com/zio/zio-akka-cluster

ZIO wrapper for Akka Cluster

akka functional-programming scala zio

Last synced: 17 Nov 2024

https://github.com/oleg-py/meow-mtl

Next Level MTL for Scala

cats functional-programming mtl scala

Last synced: 12 Nov 2024

https://github.com/demystifyfp/FsConfig

FsConfig is a F# library for reading configuration data from environment variables and AppSettings with type safety.

12-factor appsettings configuration configuration-management environment-variables fsharp functional-programming generic-programming

Last synced: 17 Nov 2024

https://github.com/chibicode/y-combinator-for-non-programmers

🍱 Y Combinator for Non-programmers: A Wild Introduction to Computer Science

functional-programming lambda-calculus react reactjs typescript y-combinator

Last synced: 31 Oct 2024

https://github.com/lettier/lambda-lantern

🧙 ‎‎ A 3D game about functional programming patterns. Uses PureScript Native, C++, and Panda3D.

bindings cpp cpp11 desktop-app functional functional-language functional-programming functional-reactive-programming game game-development game-engine gamedev haskell indiegame native native-apps panda3d purescript purescript-native video-game

Last synced: 30 Oct 2024

https://github.com/akabe/evilml

A compiler from ML to C++ template language

cpp functional-programming ocaml

Last synced: 30 Oct 2024

https://github.com/disco-lang/disco

Functional teaching language for use in a discrete mathematics course

discrete-mathematics functional-programming programming-language teaching

Last synced: 04 Aug 2024

https://github.com/chymyst/chymyst-core

Declarative concurrency in Scala - The implementation of the chemical machine

actor-model async-channels asynchronous-programming chemical-machine concurrency concurrent-programming csp declarative dsl functional-programming join-calculus jvm multicore multithreading parallelism scala

Last synced: 15 Nov 2024

https://github.com/suned/pfun

Functional, composable, asynchronous, type-safe Python.

async asyncio curry currying effect-system effects functional-programming immutable immutable-collections immutable-datastructures immutable-objects mypy python-3 python3 static-code-analysis type-safety types zio

Last synced: 31 Oct 2024

https://github.com/zio/zio-query

Add efficient pipelining, batching, and caching to any data source

functional-programming query-optimization scala zio

Last synced: 17 Nov 2024

https://github.com/zio/zio-direct

Direct-Style Programming for ZIO

async-await effect-system functional-programming meta-programming scala

Last synced: 10 Nov 2024

https://github.com/xvw/preface

Preface is an opinionated library designed to facilitate the handling of recurring functional programming idioms in OCaml.

category-theory functional-programming ocaml stdlib

Last synced: 27 Oct 2024

https://github.com/cmditch/elm-ethereum

dApps in Elm

elm elm-lang ethereum ethereumjs functional-programming web3 web3js

Last synced: 12 Oct 2024