Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: monoid
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
libsemigroups/libsemigroups
C++ library for semigroups and monoids
Language: C++ - Size: 19.6 MB - Last synced: 6 days ago - Pushed: 6 days ago - Stars: 41 - Forks: 27
samber/mo
π¦ Monads and popular FP abstractions, powered by Go 1.18+ Generics (Option, Result, Either...)
Language: Go - Size: 101 KB - Last synced: about 3 hours ago - Pushed: 6 months ago - Stars: 2,266 - Forks: 73
Cobord/Hypergraph
Utilities for cospans, wiring diagrams, frobenius algebras , spans, en operads and petri nets along with more basic utilities for morphisms in (symmetric) monoidal categories, flavors of FinSet, operads and nicely presented monoids
Language: Rust - Size: 326 KB - Last synced: 1 day ago - Pushed: 1 day ago - Stars: 6 - Forks: 3
JasonShin/fp-core.rs
A library for functional programming in Rust
Language: Rust - Size: 271 KB - Last synced: 2 days ago - Pushed: almost 2 years ago - Stars: 1,296 - Forks: 63
fantasyland/static-land
Specification for common algebraic structures in JavaScript based on Fantasy Land
Language: JavaScript - Size: 117 KB - Last synced: 1 day ago - Pushed: over 4 years ago - Stars: 768 - Forks: 39
louthy/language-ext
C# functional language extensions - a base class library for functional programming
Language: C# - Size: 20.7 MB - Last synced: 5 days ago - Pushed: 10 days ago - Stars: 6,164 - Forks: 408
alreich/abstract_algebra
Abstract Algebra: An implementation of Finite Algebras: Groups, Rings, Fields, Vector Spaces, Modules, Monoids, Semigroups, and Magmas. See the ReadTheDocs link.
Language: Jupyter Notebook - Size: 91.4 MB - Last synced: 6 days ago - Pushed: 6 days ago - Stars: 11 - Forks: 2
aol/cyclops
An advanced, but easy to use, platform for writing functional applications in Java 8.
Language: Java - Size: 26.7 MB - Last synced: 1 day ago - Pushed: about 1 year ago - Stars: 1,301 - Forks: 137
chapiteau-team/rust2fun
A library for functional programming in Rust
Language: Rust - Size: 164 KB - Last synced: 8 days ago - Pushed: 8 days ago - Stars: 26 - Forks: 2
jonathanknowles/monoidmap
Monoidal map type with support for semigroup and monoid subclasses.
Language: Haskell - Size: 1.67 MB - Last synced: 8 days ago - Pushed: 8 days ago - Stars: 15 - Forks: 1
cedrickchee/xi-editor Fork of xi-editor/xi-editor
A modern editor with a backend written in Rust.
Size: 8.82 MB - Last synced: 12 days ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0
dehun/learn-fp
learn-by-doing course/tutorial for functional programming on scala
Language: Scala - Size: 1.19 MB - Last synced: 10 days ago - Pushed: about 4 years ago - Stars: 605 - Forks: 128
atopuzov/presentations
Repository holding various talks.
Language: Nix - Size: 2.07 MB - Last synced: 15 days ago - Pushed: about 1 year ago - Stars: 2 - 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: 17 days ago - Pushed: 17 days ago - Stars: 733 - Forks: 67
evilsoft/crocks
A collection of well known Algebraic Data Types for your utter enjoyment.
Language: JavaScript - Size: 10.4 MB - Last synced: 3 days ago - Pushed: over 1 year ago - Stars: 1,583 - Forks: 102
functionalland/functional-http-server
A simple HTTP server inspired by Express and in tune with Functional Programming principles in JavaScript for Deno.
Language: JavaScript - Size: 31.3 KB - Last synced: about 2 hours ago - Pushed: over 3 years ago - Stars: 6 - Forks: 0
mahmoudparsian/big-data-mapreduce-course
Big Data Modeling, MapReduce, Spark, PySpark @ Santa Clara University
Language: HTML - Size: 549 MB - Last synced: 14 days ago - Pushed: 14 days ago - Stars: 141 - Forks: 142
palatable/lambda
Functional patterns for Java
Language: Java - Size: 5.57 MB - Last synced: about 1 month ago - Pushed: about 1 year ago - Stars: 855 - Forks: 86
cicada-lang/inet-cute
An implementation of interaction nets. -- ASCII art inspired syntax. -- Pure postfix expression. -- Using a stack-based low-layer language to build nets.
Language: TypeScript - Size: 3.32 MB - Last synced: 8 days ago - Pushed: 6 months ago - Stars: 126 - Forks: 2
functionaljava/functionaljava
Functional programming in Java
Language: Java - Size: 3.57 MB - Last synced: about 1 month ago - Pushed: about 1 year ago - Stars: 1,584 - Forks: 288
hermannhueck/monoids-in-scala
Monoids in Scala - My first (wrong) Approach
Language: Scala - Size: 38.1 KB - Last synced: about 1 month ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0
hermannhueck/little-monad-tutorial
Little Monad Tutorial in Scala
Language: Scala - Size: 296 KB - Last synced: about 1 month ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0
mahmoudparsian/data-algorithms-with-spark
O'Reilly Book: [Data Algorithms with Spark] by Mahmoud Parsian
Language: Python - Size: 44.9 MB - Last synced: about 1 month ago - Pushed: 10 months ago - Stars: 180 - Forks: 82
mahmoudparsian/pyspark-algorithms
PySpark Algorithms Book: https://www.amazon.com/dp/B07X4B2218/ref=sr_1_2
Language: Python - Size: 40.5 MB - Last synced: about 1 month ago - Pushed: over 4 years ago - Stars: 79 - Forks: 90
functionalland/functional
Common Functional Programming Algebraic data types for JavaScript that is compatible with most modern browsers and Deno.
Language: JavaScript - Size: 297 KB - Last synced: about 2 hours ago - Pushed: almost 3 years ago - Stars: 109 - Forks: 2
benwr/bromberg_sl2
Cayley hashing as in "Navigating in the Cayley Graph of SLβ(π½β)"
Language: Rust - Size: 98.6 KB - Last synced: 21 days ago - Pushed: over 2 years ago - Stars: 52 - Forks: 6
evturn/haskellbook
Solutions to exercises from the book Haskell Programming
Language: Haskell - Size: 603 KB - Last synced: 17 days ago - Pushed: over 2 years ago - Stars: 26 - Forks: 8
mmenestret/fp-resources
Functional programming great resources
Size: 104 KB - Last synced: about 2 months ago - Pushed: about 4 years ago - Stars: 483 - Forks: 51
Risto-Stevcev/bastet π¦
A ReasonML/Ocaml library for category theory and abstract algebra
Language: OCaml - Size: 4.52 MB - Last synced: about 2 months ago - Pushed: about 1 year ago - Stars: 212 - Forks: 22
hermannhueck/composing-functions
From Function1#apply to Kleisli - Different Ways of Function Composition in Scala
Language: Scala - Size: 2.98 MB - Last synced: about 1 month ago - Pushed: over 1 year ago - Stars: 1 - Forks: 0
jpneto/topicsInPython
Jupyter notebooks about Programming, Statistics and Math
Language: Jupyter Notebook - Size: 2.48 MB - Last synced: 25 days ago - Pushed: 25 days ago - Stars: 0 - Forks: 1
davidchase/elmentary
Your one-stop shop for Algebraic Data Types (ADT) in elm :deciduous_tree:
Language: Elm - Size: 26.4 KB - Last synced: 17 days ago - Pushed: about 7 years ago - Stars: 7 - Forks: 0
VAlux/stack-vm
Stack virtual machine based on the monoid composition
Language: Scala - Size: 41 KB - Last synced: 8 months ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0
thefrontside/funcadelic.js
Functional programming and category theory for everyday JavaScript development
Language: JavaScript - Size: 214 KB - Last synced: 17 days ago - Pushed: about 5 years ago - Stars: 194 - Forks: 16
rlucha/purescript-threejs-archived
Purescript simple scene model and geometric operations.
Language: PureScript - Size: 3.42 MB - Last synced: 9 months ago - Pushed: over 5 years ago - Stars: 15 - Forks: 2
cesarcolle/algezebra
famous algorithm in abstract algebra with cats
Language: Scala - Size: 58.6 KB - Last synced: 9 months ago - Pushed: almost 5 years ago - Stars: 2 - Forks: 0
jdevuyst/rekenaar π¦
Idris tactics for (commutative) monoids
Language: Idris - Size: 39.1 KB - Last synced: 9 months ago - Pushed: almost 4 years ago - Stars: 20 - Forks: 1
modulovalue/abstract_dart
A collection of algebraic structures borrowed from abstract algebra. Semigroup, Monoid, Group & Field.
Language: Dart - Size: 109 KB - Last synced: 9 months ago - Pushed: about 4 years ago - Stars: 9 - Forks: 0
kigichang/goscala π¦
η¨ Go 1.18 η generic δ»Ώι Scala εθ½γ
Language: Go - Size: 281 KB - Last synced: 2 days ago - Pushed: over 2 years ago - Stars: 1 - Forks: 0
isarn/isarn-sketches-algebird-api
Type-classes to interface isarn-sketches with Algebird
Language: Scala - Size: 301 KB - Last synced: 10 months ago - Pushed: over 5 years ago - Stars: 0 - Forks: 2
kowainik/treap
:leaves: :deciduous_tree: :fallen_leaf: Efficient implementation of the implicit treap data structure
Language: Haskell - Size: 65.4 KB - Last synced: about 15 hours ago - Pushed: over 2 years ago - Stars: 63 - Forks: 1
libsemigroups/libsemigroups-python-bindings π¦
Python bindings for the C++ library libsemigroups
Language: Python - Size: 157 KB - Last synced: about 1 month ago - Pushed: almost 6 years ago - Stars: 4 - Forks: 4
raini-dev/pipes π¦
Simple and reusable pipelines for function composition.
Language: TypeScript - Size: 148 KB - Last synced: about 1 year ago - Pushed: almost 4 years ago - Stars: 3 - Forks: 0
sekwiatkowski/js-fp π¦
A pragmatic functional programming library for JavaScript/TypeScript
Language: TypeScript - Size: 487 KB - Last synced: 7 days ago - Pushed: over 3 years ago - Stars: 3 - Forks: 0
orlowdev/pipeline π¦
DEPRECATED: This package is no longer supported. Use @raini/pipes instead.
Language: TypeScript - Size: 146 KB - Last synced: 14 days ago - Pushed: about 3 years ago - Stars: 1 - Forks: 0
barambani/laws π¦
Implementation and property-based verification of functional programming abstractions' laws
Language: Scala - Size: 147 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 2 - Forks: 3
cyriux/Monoidz-kata
Various kata & content to learn and practice design with monoidz inside
Size: 74.2 KB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 19 - Forks: 3
TimLavers/semigroups_kotlin
Basic semigroup library. Work in progress.
Language: Kotlin - Size: 112 KB - Last synced: 8 months ago - Pushed: 8 months ago - Stars: 0 - Forks: 0
thenjip/nimonoid
A monoid library for Nim
Language: Nim - Size: 89.8 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0
chris-martin/multi-instance
Multiple typeclass instances, selected by explicit application of a phantom type parameter
Language: Haskell - Size: 26.4 KB - Last synced: 27 days ago - Pushed: about 2 years ago - Stars: 3 - Forks: 0
betafcc/red
Type-safe, composable, boilerplateless reducers
Language: TypeScript - Size: 3.95 MB - Last synced: 14 days ago - Pushed: almost 4 years ago - Stars: 3 - Forks: 0
flpStrri/tupperware
π― Very opinionated Python monads
Language: Python - Size: 203 KB - Last synced: about 1 year ago - Pushed: almost 4 years ago - Stars: 4 - Forks: 0
timeline-monoid/timeline-monoid
Super simple yet versatile Functional Reactive Programming(FRP) framework with a minimal implementation for monoidal Timeline datatype
Language: JavaScript - Size: 183 KB - Last synced: 3 days ago - Pushed: almost 6 years ago - Stars: 4 - Forks: 1
trskop/endo
Endomorphism utilities.
Language: Haskell - Size: 107 KB - Last synced: 6 days ago - Pushed: 10 months ago - Stars: 4 - Forks: 2
koterpillar/appendmap
A Data.Map wrapper with a Monoid instance that delegates to the individual keys
Language: Haskell - Size: 23.4 KB - Last synced: 6 days ago - Pushed: 2 months ago - Stars: 2 - Forks: 0
alskipp/Monoid
A binary operation meets an identity element, much fun ensuesβ¦
Language: Swift - Size: 77.1 KB - Last synced: 6 months ago - Pushed: over 7 years ago - Stars: 45 - Forks: 1
functionalland/functional-redis
A simple Redis client in tune with Functional Programming principles in JavaScript for Deno.
Language: JavaScript - Size: 70.3 KB - Last synced: about 2 hours ago - Pushed: over 3 years ago - Stars: 2 - Forks: 1
gergoerdi/cubical-freemonoids
Free monoids take a price HIT
Language: TeX - Size: 148 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 3 - Forks: 0
WichardRiezebos/limonad
Set of majestic monad and monoid functions wrapped into a strongly-typed jacket to perform state of the art functional programming with a OOP twist.
Language: TypeScript - Size: 385 KB - Last synced: 4 days ago - Pushed: almost 3 years ago - Stars: 1 - Forks: 0
viswanath7/herding-cats
Explores usage of type classes defined in cats library
Language: Scala - Size: 21.5 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 1 - Forks: 1
zouzias/algebird-examples
Examples using Twitter's Algebird library
Language: Scala - Size: 75.2 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 4 - Forks: 0
lewismj/functional-scala
Presentations on functional programming in Scala
Size: 1.33 MB - Last synced: 12 months ago - Pushed: over 6 years ago - Stars: 4 - Forks: 0
nem035/js-function-fun-2
Fun with functional programming in JavaScript (2)
Language: JavaScript - Size: 52.7 KB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 1 - Forks: 1
athanclark/monadoid
Every applicative of monoids is a monoid
Language: Haskell - Size: 5.86 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 0 - 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: 3 days ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0
ankitku/Twisted_Functor_Verification
Language: HTML - Size: 22.5 KB - Last synced: about 1 year ago - Pushed: almost 7 years ago - Stars: 0 - Forks: 0
cruizh/functor-docs
DocumentaciΓ³n para explicar el funcionamiento de funtores, funtores aplicativos y monoides
Size: 4.88 KB - Last synced: about 1 year ago - Pushed: about 7 years ago - Stars: 1 - Forks: 0
lastland/MergeSort
A demo of using ad-hoc polymorphism to implement merge sort in Scala.
Language: Scala - Size: 2.93 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0
jbgi/functionaljava Fork of functionaljava/functionaljava
Functional programming in Java
Language: Java - Size: 3.11 MB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0