GitHub topics: monoid
libsemigroups/libsemigroups
C++ library for semigroups and monoids
Language: C++ - Size: 39.6 MB - Last synced at: about 9 hours ago - Pushed at: about 10 hours ago - Stars: 46 - Forks: 30
samber/mo
🦄 Monads and popular FP abstractions, powered by Go 1.18+ Generics (Option, Result, Either...)
Language: Go - Size: 185 KB - Last synced at: about 23 hours ago - Pushed at: about 1 month ago - Stars: 2,937 - Forks: 96
louthy/language-ext
C# pure functional programming framework - come and get declarative!
Language: C# - Size: 22.1 MB - Last synced at: 3 days ago - Pushed at: 7 days ago - Stars: 6,776 - Forks: 433
jonathanknowles/monoidmap
Monoidal map type with support for semigroup and monoid subclasses.
Language: Haskell - Size: 2.48 MB - Last synced at: 1 day ago - Pushed at: 27 days ago - Stars: 19 - Forks: 1
jwiegley/category-theory
An axiom-free formalization of category theory in Coq for personal study and practical work
Language: Coq - Size: 3.27 MB - Last synced at: 18 days ago - Pushed at: about 1 month ago - Stars: 767 - Forks: 72
mahmoudparsian/big-data-mapreduce-course
Big Data Modeling, MapReduce, Spark, PySpark @ Santa Clara University
Language: HTML - Size: 601 MB - Last synced at: 19 days ago - Pushed at: 5 months ago - Stars: 155 - Forks: 142
functionaljava/functionaljava
Functional programming in Java
Language: Java - Size: 3.57 MB - Last synced at: 18 days ago - Pushed at: about 2 years ago - Stars: 1,612 - Forks: 253
JasonShin/fp-core.rs
A library for functional programming in Rust
Language: Rust - Size: 271 KB - Last synced at: 23 days ago - Pushed at: almost 3 years ago - Stars: 1,371 - Forks: 65
uncomplicate/fluokitten
Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.
Language: Clojure - Size: 705 KB - Last synced at: 23 days ago - Pushed at: 12 months ago - Stars: 470 - Forks: 35
evilsoft/crocks
A collection of well known Algebraic Data Types for your utter enjoyment.
Language: JavaScript - Size: 10.4 MB - Last synced at: 5 days ago - Pushed at: over 2 years ago - Stars: 1,591 - Forks: 102
palatable/lambda
Functional patterns for Java
Language: Java - Size: 5.57 MB - Last synced at: 6 days ago - Pushed at: almost 2 years ago - Stars: 871 - Forks: 85
fantasyland/static-land
Specification for common algebraic structures in JavaScript based on Fantasy Land
Language: JavaScript - Size: 117 KB - Last synced at: 6 days ago - Pushed at: over 5 years ago - Stars: 775 - Forks: 41
aol/cyclops
An advanced, but easy to use, platform for writing functional applications in Java 8.
Language: Java - Size: 26.7 MB - Last synced at: 17 days ago - Pushed at: about 2 years ago - Stars: 1,323 - Forks: 137
mahmoudparsian/pyspark-algorithms
PySpark Algorithms Book: https://www.amazon.com/dp/B07X4B2218/ref=sr_1_2
Language: Python - Size: 40.5 MB - Last synced at: 24 days ago - Pushed at: over 5 years ago - Stars: 84 - Forks: 44
mahmoudparsian/data-algorithms-with-spark
O'Reilly Book: [Data Algorithms with Spark] by Mahmoud Parsian
Language: Python - Size: 44.9 MB - Last synced at: 24 days ago - Pushed at: almost 2 years ago - Stars: 213 - Forks: 93
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
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.9 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 13 - Forks: 2
cicada-lang/inet-cute
An implementation of interaction nets in JS.
Language: TypeScript - Size: 3.42 MB - Last synced at: 4 days ago - Pushed at: 4 months ago - Stars: 132 - Forks: 3
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 at: 22 days ago - Pushed at: almost 4 years ago - Stars: 111 - Forks: 2
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 at: 22 days ago - Pushed at: over 4 years ago - Stars: 7 - Forks: 0
chapiteau-team/rust2fun
A library for functional programming in Rust
Language: Rust - Size: 164 KB - Last synced at: 3 months ago - Pushed at: about 1 year ago - Stars: 27 - Forks: 2
Risto-Stevcev/bastet 📦
A ReasonML/Ocaml library for category theory and abstract algebra
Language: OCaml - Size: 4.52 MB - Last synced at: 2 days ago - Pushed at: about 2 years ago - Stars: 214 - Forks: 26
jpneto/topicsInPython
Jupyter notebooks about Programming, Statistics and Math
Language: Jupyter Notebook - Size: 3.39 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 3 - Forks: 1
benwr/bromberg_sl2
Cayley hashing as in "Navigating in the Cayley Graph of SL₂(𝔽ₚ)"
Language: Rust - Size: 98.6 KB - Last synced at: 5 days ago - Pushed at: over 3 years ago - Stars: 55 - Forks: 6
Adversing/monoid.scala
Scala-based Haskell monoid implementation
Language: Scala - Size: 6.84 KB - Last synced at: 25 days ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
thefrontside/funcadelic.js
Functional programming and category theory for everyday JavaScript development
Language: JavaScript - Size: 214 KB - Last synced at: 16 days ago - Pushed at: about 6 years ago - Stars: 199 - Forks: 16
mmenestret/fp-resources
Functional programming great resources
Size: 104 KB - Last synced at: 6 months ago - Pushed at: about 5 years ago - Stars: 488 - Forks: 49
Skippia/fp-playground
Explore opportunities of functional programming through the prism of typescript and `fp-ts`
Language: TypeScript - Size: 350 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0
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: 368 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 9 - Forks: 3
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 2 months ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0
NiclasDimitriadis/TMP_lib
Template metaprogramming library originally spun off from CppOrderBook project.
Language: C++ - Size: 57.6 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
flpStrri/tupperware
🍯 Very opinionated Python monads
Language: Python - Size: 203 KB - Last synced at: 12 months ago - Pushed at: almost 5 years ago - Stars: 4 - Forks: 0
TimLavers/semigroups_kotlin
Basic semigroup library. Work in progress.
Language: Kotlin - Size: 126 KB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0
sekwiatkowski/js-fp 📦
A pragmatic functional programming library for JavaScript/TypeScript
Language: TypeScript - Size: 487 KB - Last synced at: 1 day ago - Pushed at: over 4 years ago - Stars: 4 - Forks: 0
cedrickchee/xi-editor Fork of xi-editor/xi-editor
A modern editor with a backend written in Rust.
Size: 8.82 MB - Last synced at: about 1 year ago - Pushed at: over 5 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 at: about 1 year ago - Pushed at: about 5 years ago - Stars: 605 - Forks: 128
atopuzov/presentations
Repository holding various talks.
Language: Nix - Size: 2.07 MB - Last synced at: about 1 year ago - Pushed at: about 2 years ago - Stars: 2 - Forks: 0
hermannhueck/monoids-in-scala
Monoids in Scala - My first (wrong) Approach
Language: Scala - Size: 38.1 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
hermannhueck/little-monad-tutorial
Little Monad Tutorial in Scala
Language: Scala - Size: 296 KB - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0
evturn/haskellbook
Solutions to exercises from the book Haskell Programming
Language: Haskell - Size: 603 KB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 26 - Forks: 8
lewismj/functional_scala
Presentations on functional programming in Scala
Size: 1.33 MB - Last synced at: about 2 months ago - Pushed at: over 7 years ago - Stars: 4 - Forks: 0
hermannhueck/composing-functions
From Function1#apply to Kleisli - Different Ways of Function Composition in Scala
Language: Scala - Size: 2.98 MB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
modulovalue/abstract_dart
A collection of algebraic structures borrowed from abstract algebra. Semigroup, Monoid, Group & Field.
Language: Dart - Size: 109 KB - Last synced at: 18 days ago - Pushed at: about 5 years ago - Stars: 10 - Forks: 0
davidchase/elmentary
Your one-stop shop for Algebraic Data Types (ADT) in elm :deciduous_tree:
Language: Elm - Size: 26.4 KB - Last synced at: 20 days ago - Pushed at: about 8 years ago - Stars: 7 - Forks: 0
VAlux/stack-vm
Stack virtual machine based on the monoid composition
Language: Scala - Size: 41 KB - Last synced at: over 1 year ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
rlucha/purescript-threejs-archived
Purescript simple scene model and geometric operations.
Language: PureScript - Size: 3.42 MB - Last synced at: over 1 year ago - Pushed at: over 6 years ago - Stars: 15 - Forks: 2
cesarcolle/algezebra
famous algorithm in abstract algebra with cats
Language: Scala - Size: 58.6 KB - Last synced at: over 1 year ago - Pushed at: almost 6 years ago - Stars: 2 - Forks: 0
jdevuyst/rekenaar 📦
Idris tactics for (commutative) monoids
Language: Idris - Size: 39.1 KB - Last synced at: almost 2 years ago - Pushed at: almost 5 years ago - Stars: 20 - Forks: 1
kigichang/goscala 📦
用 Go 1.18 的 generic 仿造 Scala 功能。
Language: Go - Size: 281 KB - Last synced at: 10 months ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0
kowainik/treap
:leaves: :deciduous_tree: :fallen_leaf: Efficient implementation of the implicit treap data structure
Language: Haskell - Size: 65.4 KB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 63 - Forks: 1
isarn/isarn-sketches-algebird-api
Type-classes to interface isarn-sketches with Algebird
Language: Scala - Size: 301 KB - Last synced at: 2 months ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 2
libsemigroups/libsemigroups-python-bindings 📦
Python bindings for the C++ library libsemigroups
Language: Python - Size: 157 KB - Last synced at: 5 months ago - Pushed at: almost 7 years ago - Stars: 4 - Forks: 4
raini-dev/pipes 📦
Simple and reusable pipelines for function composition.
Language: TypeScript - Size: 148 KB - Last synced at: about 2 years ago - Pushed at: almost 5 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 at: about 1 hour ago - Pushed at: about 4 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 at: about 1 month ago - Pushed at: over 2 years 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 at: about 2 years ago - Pushed at: about 4 years ago - Stars: 19 - Forks: 3
thenjip/nimonoid
A monoid library for Nim
Language: Nim - Size: 89.8 KB - Last synced at: about 2 years ago - Pushed at: almost 3 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 at: 24 days ago - Pushed at: about 3 years ago - Stars: 3 - Forks: 0
betafcc/red
Type-safe, composable, boilerplateless reducers
Language: TypeScript - Size: 3.95 MB - Last synced at: 6 days ago - Pushed at: almost 5 years ago - Stars: 3 - 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 at: 8 days ago - Pushed at: almost 7 years ago - Stars: 4 - Forks: 1
trskop/endo
Endomorphism utilities.
Language: Haskell - Size: 107 KB - Last synced at: 5 months ago - Pushed at: almost 2 years 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 at: 21 days ago - Pushed at: about 1 year 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 at: over 1 year ago - Pushed at: over 8 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 at: 28 days ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 1
gergoerdi/cubical-freemonoids
Free monoids take a price HIT
Language: TeX - Size: 148 KB - Last synced at: about 2 months ago - Pushed at: over 5 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 at: 10 days ago - Pushed at: almost 4 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 at: about 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 1
zouzias/algebird-examples
Examples using Twitter's Algebird library
Language: Scala - Size: 75.2 KB - Last synced at: about 2 years ago - Pushed at: about 2 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 at: 28 days ago - Pushed at: over 8 years ago - Stars: 1 - Forks: 1
athanclark/monadoid
Every applicative of monoids is a monoid
Language: Haskell - Size: 5.86 KB - Last synced at: 2 months ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
ankitku/Twisted_Functor_Verification
Language: HTML - Size: 22.5 KB - Last synced at: about 2 years ago - Pushed at: almost 8 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 at: about 2 years ago - Pushed at: about 8 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 at: 8 days ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
jbgi/functionaljava Fork of functionaljava/functionaljava
Functional programming in Java
Language: Java - Size: 3.11 MB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
