GitHub topics: monads
slavovojacek/monads
Option, Result, and Either types for TypeScript - Inspired by Rust 🦀
Language: TypeScript - Size: 1.37 MB - Last synced at: about 15 hours ago - Pushed at: about 16 hours ago - Stars: 864 - Forks: 35
louthy/language-ext
C# pure functional programming framework - come and get declarative!
Language: C# - Size: 22.2 MB - Last synced at: 1 day ago - Pushed at: 2 days ago - Stars: 6,761 - Forks: 432
r8vnhill/dibs
Curso sobre diseño e implementación de bibliotecas de software. Incluye sistemas de construcción, testing, OOP, genéricos, programación funcional y más, con Kotlin y Docusaurus.
Language: TypeScript - Size: 3.19 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 0 - Forks: 0
true-myth/true-myth
Safe and idiomatic TypeScript types to handle null, error, and async code handling: Maybe, Result, and Task types that are really nice.
Language: TypeScript - Size: 9.82 MB - Last synced at: 4 days ago - Pushed at: 5 days ago - Stars: 1,145 - Forks: 32
eastcitysoftware/danom
Structures for durable programming patterns in C#.
Language: C# - Size: 228 KB - Last synced at: 5 days ago - Pushed at: 7 days ago - Stars: 21 - Forks: 2
LuCEresearchlab/jtamaro
Educational library designed for our "Composition in Java" textbook
Language: Java - Size: 722 KB - Last synced at: 3 days ago - Pushed at: 4 days ago - Stars: 1 - Forks: 0
tonivade/purefun
Functional Programming library for Java
Language: Java - Size: 5.33 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 132 - Forks: 4
Aero25x/monad-faucet
An automated solution for claiming tokens from the Monad Faucet. Designed specifically for the innovative Monad network—a Layer 1 blockchain and EVM-compatible platform—the script simplifies the token claim process by automating captcha solving, proxy management, and multi-wallet handling.
Language: Python - Size: 7.81 KB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 0 - Forks: 0
dbrattli/OSlash
Functors, Applicatives, And Monads in Python
Language: Python - Size: 222 KB - Last synced at: 7 days ago - Pushed at: about 1 year ago - Stars: 724 - Forks: 49
arrow-kt/arrow
Λrrow - The perfect companion for your Kotlin journey - Inspired by functional, data-oriented and concurrent programming
Language: Kotlin - Size: 55 MB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 6,304 - Forks: 453
pawelrubin/rustshed
Rust types in Python. https://justforfunnoreally.dev/
Language: Python - Size: 121 KB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 74 - Forks: 2
higherkindness/mu-scala
Mu is a purely functional library for building RPC endpoint based services with support for RPC and HTTP/2
Language: Scala - Size: 7.57 MB - Last synced at: 8 days ago - Pushed at: 12 days ago - Stars: 330 - Forks: 34
teach-afp/www
Public webpage for the course AFP (Advanced Functional Programming)
Language: HTML - Size: 21.5 MB - Last synced at: 12 days ago - Pushed at: 13 days ago - Stars: 0 - Forks: 1
draekien-industries/waystone-dotnet
A collection of class libraries which implement useful patterns that can be used in .NET
Language: C# - Size: 97.7 KB - Last synced at: 12 days ago - Pushed at: 27 days ago - Stars: 1 - Forks: 0
moonad-dotnet/moonad
A simple F#'s monads port for C#.
Language: C# - Size: 230 KB - Last synced at: 11 days ago - Pushed at: 14 days ago - Stars: 14 - Forks: 0
fp4php/functional
PHP Functional Programming library. Monads, common use functions and generic collections.
Language: PHP - Size: 2.02 MB - Last synced at: 11 days ago - Pushed at: about 1 month ago - Stars: 194 - Forks: 6
madnight/awesome-category-theory
A curated list of awesome Category Theory resources.
Size: 579 KB - Last synced at: 8 days ago - Pushed at: about 1 year ago - Stars: 116 - Forks: 5
getify/monio
The most powerful IO monad implementation in JS, possibly in any language!
Language: JavaScript - Size: 538 KB - Last synced at: 13 days ago - Pushed at: over 1 year ago - Stars: 1,071 - Forks: 59
swan-io/boxed
Essential building-blocks for functional & safe TypeScript code
Language: TypeScript - Size: 61.4 MB - Last synced at: 7 days ago - Pushed at: 2 months ago - Stars: 715 - Forks: 25
patrickmichalina/typescript-monads
📚Write safer TypeScript using Maybe, List, Result, and Either monads.
Language: TypeScript - Size: 1.53 MB - Last synced at: 14 days ago - Pushed at: 28 days ago - Stars: 121 - Forks: 12
leonovk/simple_monads
Simple monads without DRY dependencies
Language: Ruby - Size: 31.3 KB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 3 - Forks: 0
struktapp/strukt-math
Math Operations
Language: PHP - Size: 29.3 KB - Last synced at: 20 days ago - Pushed at: 20 days ago - Stars: 0 - Forks: 0
Bestboygamer0596/ts-result
TypeScript implementation of Rust's Result type for explicit and type-safe error handling.
Language: TypeScript - Size: 52.7 KB - Last synced at: 22 days ago - Pushed at: 22 days ago - Stars: 0 - Forks: 0
xyzsd/dichotomy
Result, Either, Try, and Maybe monadic types for Java
Language: Java - Size: 315 KB - Last synced at: 10 days ago - Pushed at: 8 months ago - Stars: 33 - Forks: 3
xebia-functional/fetch
Simple & Efficient data access for Scala and Scala.js
Language: Scala - Size: 4.29 MB - Last synced at: 9 days ago - Pushed at: 10 days ago - Stars: 496 - Forks: 50
fulcbicushiuj71/Huereux
Designing and Developing Innovative Modern & Secure Software Applications, Sustainable Software Architecture. Scalable Applications in Kotlin. Write and maintain large software application code bases.
Language: Kotlin - Size: 95.7 KB - Last synced at: 24 days ago - Pushed at: 24 days ago - Stars: 0 - Forks: 0
frees-io/freestyle
A cohesive & pragmatic framework of FP centric Scala libraries
Language: Scala - Size: 8.53 MB - Last synced at: 9 days ago - Pushed at: over 5 years ago - Stars: 614 - Forks: 50
szymdzum/ts-result-monad
TypeScript implementation of the Result monad pattern
Language: TypeScript - Size: 278 KB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 3 - Forks: 0
DevOpsThinh/Huereux
Designing and Developing Innovative Modern & Secure Software Applications, Sustainable Software Architecture. Scalable Applications in Kotlin. Write and maintain large software application code bases.
Size: 59.6 KB - Last synced at: 27 days ago - Pushed at: 27 days ago - Stars: 1 - Forks: 0
pedroteixeiraw/Bridge_and_Lantern_Riddle
This project focus on solving 'The Bridge and Lantern Riddle', while leveraging the use of Cyber-Physical concepts and monads. The programming language of choice was Haskell.
Language: Haskell - Size: 1.81 MB - Last synced at: 14 days ago - Pushed at: 29 days ago - Stars: 0 - Forks: 0
moritzploss/do
Haskell-style type classes for Erlang, including monads, applicatives, functors, and traversables
Language: Erlang - Size: 95.7 KB - Last synced at: 13 days ago - Pushed at: 9 months ago - Stars: 2 - Forks: 0
jeppech/results-ts
Utility functions for creating and handling Rust-like Result and Options types.
Language: TypeScript - Size: 117 KB - Last synced at: 7 days ago - Pushed at: about 1 month ago - Stars: 2 - Forks: 0
inato/fp-ts-cheatsheet
FP-TS Cheat Sheet
Size: 62.5 KB - Last synced at: 6 days ago - Pushed at: over 1 year ago - Stars: 422 - Forks: 32
ungana/i-cant-believe-its-not-rust
A simple set of Rust-like types for JavaScript and TypeScript. Includes Result and Option Types.
Language: JavaScript - Size: 2.93 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0
orakaro/Swift-monad-Maybe-Reader-and-Try
Proof of concept: Maybe, Reader and Try monad
Language: Swift - Size: 14.6 KB - Last synced at: 9 days ago - Pushed at: about 5 years ago - Stars: 166 - Forks: 6
affeldt-aist/monae
Monadic effects and equational reasonig in Coq
Language: Coq - Size: 4.94 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 70 - Forks: 13
rametta/pratica
🥃 Functional Algebraic Data Types
Language: TypeScript - Size: 169 KB - Last synced at: 2 days ago - Pushed at: 11 months ago - Stars: 477 - Forks: 18
higherkindness/mu-haskell 📦
Mu (μ) is a purely functional framework for building micro services.
Language: Haskell - Size: 10.5 MB - Last synced at: about 1 month ago - Pushed at: 9 months ago - Stars: 335 - Forks: 19
kaBeech/monads-are-easy
A brief cheatsheet for monads and related concepts
Size: 52.7 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0
typemeta/funcj
Assorted functional-oriented data structures and algorithms for Java.
Language: Java - Size: 65.5 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 108 - Forks: 15
stadub/PowershellScripts
Monorepo with all my Powershell Scripts
Language: PowerShell - Size: 9.53 MB - Last synced at: 12 days ago - Pushed at: over 2 years ago - Stars: 31 - Forks: 9
ritesh404/kudojs
A utility library to write code in functional programming style in Javascript
Language: TypeScript - Size: 2.01 MB - Last synced at: 11 days ago - Pushed at: about 2 months ago - Stars: 23 - Forks: 1
typelevel/coop
Cooperative multithreading as a pure monad transformer
Language: Scala - Size: 210 KB - Last synced at: 1 day ago - Pushed at: about 1 month ago - Stars: 73 - Forks: 9
MelbourneDeveloper/nadz
Carefully crafted monads, such as Result and Option for exhaustive pattern matching in Dart.
Language: Dart - Size: 344 KB - Last synced at: 3 days ago - Pushed at: 10 months ago - Stars: 4 - Forks: 0
TeaEntityLab/fpEs
Functional Programming for EcmaScript(Javascript)
Language: JavaScript - Size: 2.71 MB - Last synced at: 3 days ago - Pushed at: over 1 year ago - Stars: 42 - Forks: 4
rsdc2/haskell-odt-writer
Interface for composing and writing OpenDocument Text (.odt) files in Haskell
Language: Haskell - Size: 201 KB - Last synced at: 17 days ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0
tchajed/coq-io
Modeling I/O in Coq using free monads
Language: Coq - Size: 19.5 KB - Last synced at: 11 days ago - Pushed at: over 6 years ago - Stars: 10 - Forks: 2
propensive/mercator
Autogeneration of functor and monad instances for Scala types
Language: Scala - Size: 1.23 MB - Last synced at: 5 days ago - Pushed at: 2 months ago - Stars: 2 - Forks: 1
pavelannin/Monadic-Swift
Monadic is a distributed Swift framework that provides a way to write code from functional programming
Language: Swift - Size: 33.2 KB - Last synced at: about 2 months ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0
thma/WhyHaskellMatters
In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distinguishing features and detailing them with working code examples. The presentation aims to be self-contained and does not require any previous knowledge of the language.
Language: Haskell - Size: 480 KB - Last synced at: 15 days ago - Pushed at: over 1 year ago - Stars: 469 - Forks: 14
hrafnthor/retrofit-result-adapter
A small library that wraps Retrofit responses in result monads
Language: Kotlin - Size: 77.1 KB - Last synced at: about 1 month ago - Pushed at: 11 months ago - Stars: 2 - Forks: 0
fmt-Println-MKO/fp_kata
how to apply functional programming paradigm in GO (WIP)
Language: Go - Size: 9.66 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
mmottl/fun-trans
A framework for automated transformation of functional programs (e.g. partial evaluation, common subexpression elimination, etc.) written in LambdaProlog.
Language: Vim Script - Size: 69.3 KB - Last synced at: about 2 months ago - Pushed at: 3 months ago - Stars: 2 - Forks: 0
Phauthentic/php-optional
PHP version of Javas Optional class is used to represent a container object which may or may not contain a non-null value.
Language: PHP - Size: 25.4 KB - Last synced at: 27 days ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0
kavun/blazor-wasm-crud
This is a sample Blazor application showcasing CRUD using dotnet 7, Blazor WASM, ASP.NET Web API, OneOf, monads, EF Core, SQLite, xUnit, bUnit, WebApplicationFactory
Language: C# - Size: 332 KB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 0
hbel/tsmonads
Monads in TypeScript
Language: TypeScript - Size: 527 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 7 - Forks: 0
alexandrepiveteau/functional-kotlin
Functional Programming goodies for Kotlin
Language: Kotlin - Size: 150 KB - Last synced at: 11 days ago - Pushed at: over 6 years ago - Stars: 9 - Forks: 0
vickumar1981/pyeffects
Handle side-effects in Python like a boss. Implements functional types for Either, Option, Try, and Future.
Language: Python - Size: 369 KB - Last synced at: 14 days ago - Pushed at: 9 months ago - Stars: 32 - Forks: 6
ace411/bingo-functional
A simple functional programming library for PHP
Language: PHP - Size: 2.28 MB - Last synced at: 8 days ago - Pushed at: 8 months ago - Stars: 66 - Forks: 8
alhassy/HaskellCheatSheet
A reference sheet for the basics of the mind-expanding Haskell language ^_^
Size: 1.2 MB - Last synced at: 21 days ago - Pushed at: about 5 years ago - Stars: 30 - Forks: 1
DrKillshot/unwrap
A functional programming library for typescript developers
Language: TypeScript - Size: 2.41 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 1 - Forks: 1
aztek/scala-workflow
Boilerplate-free syntax for computations with effects
Language: Scala - Size: 568 KB - Last synced at: 14 days ago - Pushed at: almost 11 years ago - Stars: 175 - Forks: 16
bogoware/Monads
C# Maybe and Result monads
Language: C# - Size: 255 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 3 - Forks: 1
lean-mind/monads
A set of monads created with typescript using an OOP approach
Language: TypeScript - Size: 220 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 6 - Forks: 4
sergv/monad-interleave Fork of patperry/monad-interleave
Monads with an unsaveInterleaveIO-like operation
Language: Haskell - Size: 20.5 KB - Last synced at: about 1 month ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0
uriGrif/scala-parser-combinators
Trabajo practico de la materia TADP de UTN FRBA, con el objetivo de aprender nociones sobre el paradigma de programacion hibrido Objetos-Funcional, utilizando el lenguaje Scala.
Language: Scala - Size: 15.6 KB - Last synced at: 12 days ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0
MatiasJastrebow/TP-Hibrido-Objeto-Funcional
Trabajo Práctico del paradigma hibrido Objeto-Funcional de la materia Técnicas Avanzadas de la Programación (TADP) de la UTN 2024
Language: Scala - Size: 14.6 KB - Last synced at: 16 days ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
santymendez/tp-tadp-hibrido-objetos-funcional
Desarrollo de un Parser para interpretar imágenes realizado en la materia Técnicas Avanzadas de Programación en UTN FRBA
Language: Scala - Size: 298 KB - Last synced at: 27 days ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
GonTurri/tp-tadp-hibrido-objetos-funcional
Trabajo práctico de asignatura técnicas avanzadas de programación de UTN donde el objetivo sumergirse en el paradigma hibrido de objetos y funcional
Language: Scala - Size: 19.5 KB - Last synced at: 27 days ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
sjsyrek/maryamyriameliamurphies.js
A library of Haskell-style morphisms ported to ES2015 JavaScript using Babel.
Language: JavaScript - Size: 6.98 MB - Last synced at: 6 days ago - Pushed at: almost 8 years ago - Stars: 182 - Forks: 10
a-chris/to-result
A wrapper over `dry-monads` to solve its flaws and offer a safe way to implement the Railway pattern.
Language: Ruby - Size: 46.9 KB - Last synced at: 10 days ago - Pushed at: over 1 year ago - Stars: 28 - Forks: 1
rvarago/kitten
A small C++17 library inspired by Category Theory.
Language: C++ - Size: 131 KB - Last synced at: 21 days ago - Pushed at: over 2 years ago - Stars: 16 - Forks: 1
Risto-Stevcev/category-theory-by-example
Explaining category theory by example
Language: PureScript - Size: 5.86 KB - Last synced at: about 2 months ago - Pushed at: almost 8 years ago - Stars: 10 - Forks: 0
hellerve/hawkweed
Yet another implementation of missing functions for Python
Language: Python - Size: 259 KB - Last synced at: 12 days ago - Pushed at: almost 8 years ago - Stars: 20 - Forks: 0
bookshelfdave/monad-transformers-step-by-step
(unofficial) source for Monad Transformers Step by Step by Martin Grabmüller
Language: Haskell - Size: 18.6 KB - Last synced at: 19 days ago - Pushed at: 8 months ago - Stars: 3 - Forks: 3
premshree/monads-typescript
Monadic Types and implementation for TypeScript 🚀
Language: TypeScript - Size: 911 KB - Last synced at: 2 days ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 0
Tomatosoup97/freak
Free as in beer, free as in algebra. Language with (co)algebraic effects and (co)handlers
Language: TeX - Size: 6.45 MB - Last synced at: 4 days ago - Pushed at: over 4 years ago - Stars: 8 - Forks: 0
opeltre/fp
Functional programming in python
Language: Python - Size: 485 KB - Last synced at: 11 days ago - Pushed at: 6 months ago - Stars: 4 - Forks: 0
alex-lairan/monads
Monads for Crystal
Language: Crystal - Size: 113 KB - Last synced at: 21 days ago - Pushed at: over 2 years ago - Stars: 47 - Forks: 3
Fretadao/f_service
Simpler, safer and more composable operations
Language: Ruby - Size: 146 KB - Last synced at: 13 days ago - Pushed at: 6 months ago - Stars: 10 - Forks: 3
TeaEntityLab/fpGo
Monad, Functional Programming features for Golang
Language: Go - Size: 306 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 346 - Forks: 22
chtoucas/Narvalo.NET 📦
Applied functional patterns for C#. Money and Currency types. MVP framework. (Obsolete)
Language: C# - Size: 19.8 MB - Last synced at: 3 days ago - Pushed at: almost 6 years ago - Stars: 18 - Forks: 4
letmaik/monadiccp
Monadic Constraint Programming framework
Language: Haskell - Size: 286 KB - Last synced at: 1 day ago - Pushed at: almost 7 years ago - Stars: 28 - Forks: 10
diego-vicente/monadic-gcd
Learning exercise (GCD) with explanation about monads
Language: Haskell - Size: 8.79 KB - Last synced at: 9 days ago - Pushed at: almost 8 years ago - Stars: 5 - Forks: 0
benrutter/ufo-tools
Simple implementation of monad containers for functional programming in python
Language: Python - Size: 666 KB - Last synced at: 11 days ago - Pushed at: 4 months ago - Stars: 27 - Forks: 3
bolshakov/fear
Ruby port of some Scala's monads
Language: Ruby - Size: 613 KB - Last synced at: 6 months ago - Pushed at: 8 months ago - Stars: 63 - Forks: 9
rodrigovilina/muina
Monads for Ruby.
Language: Ruby - Size: 981 KB - Last synced at: 7 days ago - Pushed at: 7 months ago - Stars: 5 - Forks: 0
ELKADUSUNhalifesi/unnamedWebProgrammingLanguage
If Most Sacred gives permission His Servant I will make an event based asynchronous **_monadic_** purely functional paradigm web programming language for controlling **_side effect orders/hustles_** of asynchronous event based/driven web page and application needs!
Size: 11.7 KB - Last synced at: 6 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
fogfish/datum
pure functional and generic programming for Erlang
Language: Erlang - Size: 476 KB - Last synced at: 6 months ago - Pushed at: over 1 year ago - Stars: 124 - Forks: 9
Grouloo/shulk
Write beautiful code that won't crash.
Language: TypeScript - Size: 354 KB - Last synced at: 28 days ago - Pushed at: 8 months ago - Stars: 3 - Forks: 0
UnoSD/ResultMonad
C# implementation of the result and other monads with query syntax support and extensions for Tasks and IEnumerable
Language: C# - Size: 25.4 KB - Last synced at: about 1 month ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0
marco3724/TPFI-4
Fourth homework of the course "programmazione funzionale", the topic is Applicative Functors , Monads and IO
Language: Haskell - Size: 1.95 KB - Last synced at: 8 months ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0
Zeta611/inventing-monads
🧙🏻♂️ 모나드 발명하기 세미나 자료
Language: TeX - Size: 1.44 MB - Last synced at: 7 days ago - Pushed at: over 2 years ago - Stars: 7 - Forks: 1
i-walker/arrow-docset 📦
A Dash-docset for Λrrow
Language: HTML - Size: 100 MB - Last synced at: 15 days ago - Pushed at: over 1 year ago - Stars: 6 - Forks: 0
Diego15wp/functional_programming_tinkering
Building Foundational Knowledge on Functional Programming
Language: Scala - Size: 478 KB - Last synced at: 28 days ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0
katsaii/gml-prelude 📦
A simple functional programming library for GameMaker.
Language: Game Maker Language - Size: 206 KB - Last synced at: 9 months ago - Pushed at: about 4 years ago - Stars: 15 - Forks: 4
jericirenej/typescript-monads-chaining
Chain callbacks in Typescript with integrated nullish checks and strong typing using the monad design pattern
Language: TypeScript - Size: 118 KB - Last synced at: 4 months ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0
bellroy/dry-monads-sorbet 📦
Sorbet type hints for Dry::Monads.
Language: Ruby - Size: 1.03 MB - Last synced at: about 15 hours ago - Pushed at: about 2 years ago - Stars: 30 - Forks: 4
alice-biometrics/meiga
🧙 meiga is a Python µframework that provides a simple, fully typed, monad-based result type ➡️ Result[Value, Error].
Language: Python - Size: 531 KB - Last synced at: 12 months ago - Pushed at: about 1 year ago - Stars: 74 - Forks: 1
OlegStotsky/go-monads
experimental implementation of basic monads based on go2 generics draft
Language: Go - Size: 32.2 KB - Last synced at: 10 months ago - Pushed at: almost 3 years ago - Stars: 115 - Forks: 5
