atnos-org/eff

Eff monad for cats - https://atnos-org.github.io/eff

Language: Scala - Size: 3.53 MB - Last synced: about 7 hours ago - Pushed: about 8 hours ago - Stars: 571 - Forks: 78

gigobyte/purify

Functional programming library for TypeScript - https://gigobyte.github.io/purify/

Language: TypeScript - Size: 34.8 MB - Last synced: 4 days ago - Pushed: 22 days ago - Stars: 1,482 - Forks: 56

dmitriz/cpsfy

🚀 Tiny goodies for Continuation-Passing-Style functions, fully tested

Language: JavaScript - Size: 2.74 MB - Last synced: about 13 hours ago - Pushed: about 14 hours ago - Stars: 68 - Forks: 1

louthy/language-ext

C# functional language extensions - a base class library for functional programming

Language: C# - Size: 20.7 MB - Last synced: about 5 hours ago - Pushed: 3 days ago - Stars: 6,182 - Forks: 409

tonivade/purefun

Functional Programming library for Java

Language: Java - Size: 5.69 MB - Last synced: about 16 hours ago - Pushed: about 16 hours ago - Stars: 106 - Forks: 4

ken-okabe/vanfs

🍦 VanFS: 1:1 bindings from F# to 🍦VanJS (an ultra-lightweight , zero-dependency , and unopinionated Reactive UI framework based on pure vanilla JavaScript and DOM without React/JSX) + WebComponents + micro FRP

Language: F# - Size: 478 KB - Last synced: about 15 hours ago - Pushed: 1 day ago - Stars: 12 - Forks: 0

fluture-js/Fluture

🦋 Fantasy Land compliant (monadic) alternative to Promises

Language: JavaScript - Size: 2.11 MB - Last synced: 5 days ago - Pushed: 14 days ago - Stars: 2,472 - Forks: 84

Risto-Stevcev/bastet 📦

A ReasonML/Ocaml library for category theory and abstract algebra

Language: OCaml - Size: 4.52 MB - Last synced: 1 day ago - Pushed: over 1 year ago - Stars: 212 - Forks: 24

rssh/dotty-cps-async

experimental CPS transformer for dotty

Language: Scala - Size: 14.6 MB - Last synced: 1 day ago - Pushed: 1 day ago - Stars: 170 - Forks: 19

ThoughtWorksInc/Dsl.scala

A framework to create embedded Domain-Specific Languages in Scala

Language: Scala - Size: 4.29 MB - Last synced: 1 day ago - Pushed: 1 day ago - Stars: 255 - Forks: 29

badeend/Result

For failures that are not exceptional: `Result<T,E>` for C#.

Language: C# - Size: 46.9 KB - Last synced: 22 days ago - Pushed: 22 days ago - Stars: 1 - Forks: 0

NiclasDimitriadis/TMP_lib

Template metaprogramming library originally spun off from CppOrderBook project.

Language: C++ - Size: 38.1 KB - Last synced: 2 days ago - Pushed: 3 days ago - Stars: 0 - Forks: 0

urielblanco/api-rest-ts

A simple functional programming-based REST API.

Size: 103 KB - Last synced: 3 days ago - Pushed: 3 days ago - Stars: 0 - Forks: 0

TimWSpence/cats-stm

A STM implementation for Cats Effect

Language: Scala - Size: 6.09 MB - Last synced: 3 days ago - Pushed: 3 days ago - Stars: 139 - Forks: 17

hnaderi/edomata

Production ready event-driven automata for Scala, Scala.js and scala native

Language: Scala - Size: 3.21 MB - Last synced: 3 days ago - Pushed: 3 days ago - Stars: 74 - Forks: 9

datashaman/logic

A monad and combinator library. Experimental.

Language: PHP - Size: 4.55 MB - Last synced: 4 days ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

erikd/nested-resource-monad

A Haskell library for managing nested resources.

Language: Haskell - Size: 8.79 KB - Last synced: 4 days ago - Pushed: about 7 years ago - Stars: 2 - Forks: 0

kongware/scriptum

Functional Programming Unorthodoxly Adjusted to Client-/Server-side Javascript

Language: JavaScript - Size: 4.97 MB - Last synced: 4 days ago - Pushed: 4 days ago - Stars: 381 - Forks: 21

masala/masala-parser

Javascript Generalized Parser Combinators

Language: JavaScript - Size: 2.09 MB - Last synced: about 2 hours ago - Pushed: over 1 year ago - Stars: 139 - Forks: 11

gusty/ScrapeM

A monadic web scraping library

Language: F# - Size: 88.9 KB - Last synced: 4 days ago - Pushed: over 5 years ago - Stars: 17 - Forks: 2

ivanperez-keera/dunai

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

Language: Haskell - Size: 17.2 MB - Last synced: 3 days ago - Pushed: 13 days ago - Stars: 191 - Forks: 29

DerYeger/resumon 📦

A tiny TypeScript result monad.

Language: TypeScript - Size: 1.96 MB - Last synced: 5 days ago - Pushed: over 1 year ago - Stars: 2 - Forks: 2

getify/monio

The most powerful IO monad implementation in JS, possibly in any language!

Language: JavaScript - Size: 538 KB - Last synced: 4 days ago - Pushed: 4 months ago - Stars: 1,041 - Forks: 58

samber/mo

🦄 Monads and popular FP abstractions, powered by Go 1.18+ Generics (Option, Result, Either...)

Language: Go - Size: 101 KB - Last synced: 4 days ago - Pushed: 6 months ago - Stars: 2,266 - Forks: 73

leftaroundabout/beamonad

A Yesod-based server for screen presentations. Somewhat like LaTeX Beamer, but interactive.

Language: Haskell - Size: 435 KB - Last synced: about 2 months ago - Pushed: 3 months ago - Stars: 10 - Forks: 2

BowenFu/hspp

hspp: An experimental library to bring Haskell Style Programming to C++.

Language: C++ - Size: 438 KB - Last synced: 5 days ago - Pushed: over 1 year ago - Stars: 155 - Forks: 0

OctoD/tiinvo

Simplify your TypeScript and JavaScript code. Use this lib and functional programming.

Language: TypeScript - Size: 2.56 MB - Last synced: 6 days ago - Pushed: about 1 month ago - Stars: 40 - Forks: 1

JasonShin/fp-core.rs

A library for functional programming in Rust

Language: Rust - Size: 271 KB - Last synced: 6 days ago - Pushed: almost 2 years ago - Stars: 1,296 - Forks: 63

xuwei-k/httpz

purely functional http client with scalaz.Free

Language: Scala - Size: 313 KB - Last synced: 5 days ago - Pushed: 6 days ago - Stars: 66 - Forks: 3

fantasyland/static-land

Specification for common algebraic structures in JavaScript based on Fantasy Land

Language: JavaScript - Size: 117 KB - Last synced: about 16 hours ago - Pushed: over 4 years ago - Stars: 768 - Forks: 39

IBM/fp-go

functional programming library for golang

Language: Go - Size: 6.72 MB - Last synced: 7 days ago - Pushed: 7 days ago - Stars: 1,491 - Forks: 40

doubleloop-io/applied-fp-workshop-kotlin

Applied Functional Programming Workshop, Kotlin Edition

Language: Kotlin - Size: 176 KB - Last synced: 7 days ago - Pushed: 7 days ago - Stars: 1 - Forks: 0

witchcrafters/witchcraft

Monads and other dark magic for Elixir

Language: Elixir - Size: 6.42 MB - Last synced: 5 days ago - Pushed: 8 months ago - Stars: 1,177 - Forks: 60

franzose/lemonad

Yet another monads implementation written in PHP

Language: PHP - Size: 42 KB - Last synced: 8 days ago - Pushed: over 5 years ago - Stars: 2 - Forks: 0

LeakyAbstractions/result

🎱 A Java library to handle success and failure without exceptions

Language: Java - Size: 1.33 MB - Last synced: 5 days ago - Pushed: 7 days ago - Stars: 8 - Forks: 0

LeakyAbstractions/result-api

🎱 Result library API

Language: Java - Size: 281 KB - Last synced: 5 days ago - Pushed: 7 days ago - Stars: 0 - Forks: 0

cevr/ftld

A pragmatic entry into a functional fantasy land.

Language: TypeScript - Size: 737 KB - Last synced: 7 days ago - Pushed: 8 days ago - Stars: 54 - Forks: 4

LeakyAbstractions/result-lazy

🎱 Lazy Result Library for Java

Language: Java - Size: 374 KB - Last synced: 4 days ago - Pushed: 7 days ago - Stars: 0 - Forks: 0

sidmishraw/muunads

Monadic Java

Language: Java - Size: 110 KB - Last synced: 8 days ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

TylorS/typed

Web Applications with Effect-TS

Language: TypeScript - Size: 13.9 MB - Last synced: 13 days ago - Pushed: 14 days ago - Stars: 193 - Forks: 12

a-synchronous/rubico

[a]synchronous functional programming

Language: JavaScript - Size: 3.58 MB - Last synced: 13 days ago - Pushed: 29 days ago - Stars: 267 - Forks: 17

dry-rb/dry-monads

Useful, common monads in idiomatic Ruby

Language: Ruby - Size: 1.12 MB - Last synced: 3 days ago - Pushed: 4 months ago - Stars: 715 - Forks: 133

CrowdHailer/OK

Elegant error/exception handling in Elixir, with result monads.

Language: Elixir - Size: 119 KB - Last synced: 4 days ago - Pushed: over 4 years ago - Stars: 599 - Forks: 20

mobily/ts-belt

🔧 Fast, modern, and practical utility library for FP in TypeScript.

Language: TypeScript - Size: 16.2 MB - Last synced: 8 days ago - Pushed: about 2 months ago - Stars: 1,037 - Forks: 29

ashr123/option

DOP version of Optional

Language: Java - Size: 74.2 KB - Last synced: 11 days ago - Pushed: 11 days ago - Stars: 0 - Forks: 0

ArcaneMage/javalaboratories-java-extensions

This is a library of utilities to encourage functional programming in Java, particularly for Java-8 developers but not exclusively.

Language: Java - Size: 1.78 MB - Last synced: 6 days ago - Pushed: 8 days ago - Stars: 2 - Forks: 0

aol/cyclops

An advanced, but easy to use, platform for writing functional applications in Java 8.

Language: Java - Size: 26.7 MB - Last synced: about 17 hours ago - Pushed: about 1 year ago - Stars: 1,301 - Forks: 137

ridhu-web/Boolean-Algebra-with-OOP

One can create classes, objects, abstract class, conditional statements using the language designed to perform boolean operation. The language also has partial evaluation implemented in it using monad.

Language: Scala - Size: 133 MB - Last synced: 12 days ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

writeonly/linkchecker

Write Only Link Checker

Language: Scala - Size: 78.1 KB - Last synced: 12 days ago - Pushed: over 3 years ago - Stars: 1 - Forks: 0

chapiteau-team/rust2fun

A library for functional programming in Rust

Language: Rust - Size: 164 KB - Last synced: 12 days ago - Pushed: 12 days ago - Stars: 26 - Forks: 2

bow-swift/bow

🏹 Bow is a cross-platform library for Typed Functional Programming in Swift

Language: Swift - Size: 726 MB - Last synced: 5 days ago - Pushed: over 1 year ago - Stars: 641 - Forks: 32

TeaEntityLab/fpGo

Monad, Functional Programming features for Golang

Language: Go - Size: 299 KB - Last synced: 6 days ago - Pushed: 6 months ago - Stars: 341 - Forks: 21

erikjuhani/go-fp

The `go-fp` library provides functional programming concepts for Go programming language.

Language: Go - Size: 14.6 KB - Last synced: 14 days ago - Pushed: 11 months ago - Stars: 0 - Forks: 0

VKTRenokh/duck-fp

Monads and other in typescript

Language: TypeScript - Size: 551 KB - Last synced: 3 days ago - Pushed: 14 days ago - Stars: 3 - Forks: 0

michaelbull/kotlin-result

A multiplatform Result monad for modelling success or failure operations.

Language: Kotlin - Size: 888 KB - Last synced: 16 days ago - Pushed: 16 days ago - Stars: 936 - Forks: 54

HKGx/perhaps

Save your time when dealing with data that perhaps may exist.

Language: Python - Size: 530 KB - Last synced: 16 days ago - Pushed: about 2 months ago - Stars: 5 - Forks: 1

arafatamim/rescript-these

An "either-or-both" monadic type implementation in ReScript.

Language: ReScript - Size: 6.84 KB - Last synced: 16 days ago - Pushed: almost 2 years ago - Stars: 1 - Forks: 0

paulmunyao/Knight-s-Tour

A program that solves the knight tour problem

Language: Scala - Size: 5.19 MB - Last synced: 17 days ago - Pushed: 17 days ago - Stars: 0 - Forks: 0

jwiegley/category-theory

An axiom-free formalization of category theory in Coq for personal study and practical work

Language: Coq - Size: 3.21 MB - Last synced: 3 days ago - Pushed: 21 days ago - Stars: 734 - Forks: 67

dehun/learn-fp

learn-by-doing course/tutorial for functional programming on scala

Language: Scala - Size: 1.19 MB - Last synced: 14 days ago - Pushed: about 4 years ago - Stars: 605 - Forks: 128

TeaEntityLab/fpRust

Monad/MonadIO, Handler, Coroutine/doNotation, Functional Programming features for Rust

Language: Rust - Size: 375 KB - Last synced: 6 days ago - Pushed: over 2 years ago - Stars: 115 - Forks: 7

tap349/hayase

Simple monads for Elixir

Language: Elixir - Size: 21.5 KB - Last synced: 18 days ago - Pushed: almost 3 years ago - Stars: 1 - Forks: 0

jyoo980/maybe

an implementation of the Maybe monad in Scala

Language: Scala - Size: 25.4 KB - Last synced: 19 days ago - Pushed: about 3 years ago - Stars: 2 - Forks: 0

AIRTucha/amonad

Experimental implementation of Maybe and Result monads compatible with await.

Language: TypeScript - Size: 74.2 KB - Last synced: 1 day ago - Pushed: over 3 years ago - Stars: 29 - Forks: 1

eckelon/functional-api-example

Safe way of starting an express server. It'll start only when express and pino dependencies are satisfied

Language: JavaScript - Size: 2.93 KB - Last synced: 19 days ago - Pushed: almost 4 years ago - Stars: 1 - Forks: 0

respawn-app/ApiResult

ApiResult is a Kotlin Multiplatform declarative error handling framework that is performant, easy to use and feature-rich.

Language: Kotlin - Size: 254 KB - Last synced: 20 days ago - Pushed: 21 days ago - Stars: 26 - Forks: 1

zavvdev/fp-js

Collection of some functions used in FP

Language: JavaScript - Size: 0 Bytes - Last synced: 20 days ago - Pushed: 4 months ago - Stars: 0 - Forks: 0

doubleloop-io/applied-fp-workshop-ts

Applied Functional Programming Workshop, Typescript Edition

Language: TypeScript - Size: 2.21 MB - Last synced: 28 days ago - Pushed: 28 days ago - Stars: 4 - Forks: 5

typelevel/cats-mtl

cats transformer type classes.

Language: Scala - Size: 5.66 MB - Last synced: 23 days ago - Pushed: 25 days ago - Stars: 304 - Forks: 61

softwareventures/chain

A simple identity monad to enable function chaining

Language: TypeScript - Size: 2.38 MB - Last synced: 25 days ago - Pushed: 26 days ago - Stars: 0 - Forks: 0

softwareventures/result

A Rust-like Result type representing the result of a fallible computation

Language: TypeScript - Size: 143 KB - Last synced: 22 days ago - Pushed: 23 days ago - Stars: 0 - Forks: 0

moonad-dotnet/moonad

A simple F#'s monads port for C#.

Language: C# - Size: 204 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 9 - Forks: 0

TeaEntityLab/fpEs

Functional Programming for EcmaScript(Javascript)

Language: JavaScript - Size: 2.71 MB - Last synced: 2 days ago - Pushed: 7 months ago - Stars: 43 - Forks: 4

antononcube/WL-MonadicGeometricNearestNeighbors-paclet

Wolfram Language (aka Mathematica) paclet with a software monad for Geometric Nearest Neighbors (GNN) workflows.

Language: Mathematica - Size: 829 KB - Last synced: 17 days ago - Pushed: 21 days ago - Stars: 0 - Forks: 0

uncomplicate/fluokitten

Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.

Language: Clojure - Size: 684 KB - Last synced: 4 days ago - Pushed: 2 months ago - Stars: 455 - Forks: 35

iskyzh/jackcompiler.hs

⌨️ Jack Language Compiler in Haskell

Language: Haskell - Size: 61.5 KB - Last synced: 22 days ago - Pushed: about 5 years ago - Stars: 2 - Forks: 0

iskyzh/monadic-parsing

Monadic parsing implemented after "Monadic Parsing in Haskell"

Language: Haskell - Size: 3.91 KB - Last synced: 22 days ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

dbrack/maybe

Maybe monad for TypeScript

Language: TypeScript - Size: 17.6 KB - Last synced: 22 days ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0

jcouyang/grokking-monad

购买 :point_right: https://gum.co/grokking-monad 在线阅读 :point_right:

Language: TeX - Size: 5.8 MB - Last synced: 4 days ago - Pushed: 4 months ago - Stars: 98 - Forks: 4

lagenorhynque/mp-in-clojure

Monadic programming examples in Clojure

Language: Clojure - Size: 19.5 KB - Last synced: 22 days ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0

JohSand/Orsak

Language: F# - Size: 539 KB - Last synced: 4 days ago - Pushed: 5 days ago - Stars: 39 - Forks: 2

evilsoft/crocks

A collection of well known Algebraic Data Types for your utter enjoyment.

Language: JavaScript - Size: 10.4 MB - Last synced: 4 days ago - Pushed: over 1 year ago - Stars: 1,583 - Forks: 102

c-cube/iter

Simple iterator abstract datatype, intended to iterate efficiently on collections while performing some transformations.

Language: OCaml - Size: 1.38 MB - Last synced: 16 days ago - Pushed: 4 months ago - Stars: 117 - Forks: 11

awto/effectfuljs

JavaScript embedded effects compiler

Language: JavaScript - Size: 14.1 MB - Last synced: 22 days ago - Pushed: 8 months ago - Stars: 327 - Forks: 17

pelotom/burrido

Do-notation for JavaScript

Language: JavaScript - Size: 16.6 KB - Last synced: 22 days ago - Pushed: about 7 years ago - Stars: 174 - Forks: 2

eratio08/kpars

Very simple parser combinator library in Kotlin

Language: Kotlin - Size: 72.3 KB - Last synced: 28 days ago - Pushed: 28 days ago - Stars: 1 - Forks: 0

vadage/Oxidize

PHP adaptation of some great concepts on which Rust was built.

Language: PHP - Size: 13.7 KB - Last synced: 29 days ago - Pushed: 30 days ago - Stars: 0 - Forks: 0

weak-head/hffp-book 📦

:hatched_chick: :baby_bottle: Haskell programming from first principles: source code, exercises, related topics and more.

Language: Haskell - Size: 259 KB - Last synced: 29 days ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

Smallibs/feng

A Dart library providing some functional programming idioms.

Language: Dart - Size: 76.2 KB - Last synced: 29 days ago - Pushed: 29 days ago - Stars: 2 - Forks: 0

h0tk3y/kotlin-monads

Monads for Kotlin

Language: Kotlin - Size: 88.9 KB - Last synced: 30 days ago - Pushed: over 5 years ago - Stars: 118 - Forks: 8

lucasteles/Resulteles

A practical Result data structure implementation for C#

Language: C# - Size: 73.2 KB - Last synced: 9 days ago - Pushed: about 1 month ago - Stars: 4 - Forks: 0

pavelannin/Monadic-Kotlin

Monadic is a distributed multiplatform Kotlin framework that provides a way to write code from functional programming

Language: Kotlin - Size: 66.4 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 0 - Forks: 0

13d-io/maybe-just-maybe

A Maybe monad specifically designed for use with Ramda

Language: JavaScript - Size: 1.96 MB - Last synced: 9 days ago - Pushed: about 1 year ago - Stars: 4 - Forks: 0

coq-community/alea

Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]

Language: Coq - Size: 139 KB - Last synced: 13 days ago - Pushed: over 2 years ago - Stars: 23 - Forks: 0

baetheus/fun

A collection of algebraic data types, optics, and data structures based on a light weight higher kinded type implementation. Written for deno.

Language: TypeScript - Size: 1.49 MB - Last synced: 23 days ago - Pushed: about 2 months ago - Stars: 96 - Forks: 6

PureEval/PureEval

A powerful JavaScript functional programming toolset, including utility functions and abstract data structures.

Language: JavaScript - Size: 217 KB - Last synced: 18 days ago - Pushed: 2 months ago - Stars: 33 - Forks: 3

JefvdA/php-result-monad

The PHP Result Monad library provides a simple and effective way to handle the results of actions, offering an alternative approach to exception handling without the need for throwing exceptions.

Language: PHP - Size: 28.3 KB - Last synced: about 1 month ago - Pushed: 5 months ago - Stars: 0 - Forks: 1

MystPi/act

🎬 Compose stateful actions to simulate mutable state

Language: Gleam - Size: 16.6 KB - Last synced: 18 days ago - Pushed: 18 days ago - Stars: 9 - Forks: 0

bwireman/gleither

A small data-structure for representing Left or Right. ↔️

Language: Gleam - Size: 7.81 KB - Last synced: 26 days ago - Pushed: about 1 month ago - Stars: 1 - Forks: 1

igrishaev/f

Functional stuff for Python

Language: Python - Size: 51.8 KB - Last synced: about 17 hours ago - Pushed: almost 8 years ago - Stars: 116 - Forks: 16