monoids

There are 0 repository under monoids topic.

thma / LtuPatternFactory
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
functional-languages factory-pattern strategy-pattern builder-pattern function-composition iterator-pattern monad haskell design-patterns gof-patterns category-theory typeclasses typeclassopedia pattern-language traversable functors monoids functor reader-monad monad-transformers
Language:Haskell 976
rametta / pratica
🥃 Functional Algebraic Data Types
functional-programming monads monoids utilities fp typescript
Language:TypeScript 441
madnight / awesome-category-theory
A curated list of awesome Category Theory resources.
applicative awesome-list category-theory category-theory-for-programmers functors monads natural-transformations applied-category-theory category monoids functor abstract-algebra type-theory mathematics
50
thautwarm / FSTan
Higher abstraction infrastructures in F#(ad-hoc polymorphism, subtypeclassing, monad, hkt...), exactly what we've dreamed about for so long
typeclasses subtypeclassing higher-kinded-types monad monoids functional-programming
Language:F# 42
TheCedarPrince / C3T
C3T: Crash Course Category Theory - A friendly non-mathematician's approach to beginners of Category Theory. 🐱
category-theory mathematics monoids categories orders julia-language literate-programming
Language:TeX 28
semigroups / Semigroups
The GAP package Semigroups
semigroups monoids enumeration greens-relations congruences maximal-subsemigroups finitely-presented-semigroups gap orb digraphs
Language:GAP 23
urbandrone / futils
Utilities for generic functional programming
functional toolset combinators decorators monads monoids lenses trampolines es6
Language:JavaScript 22
numfin / kirka
Algebraic data types Rust-style for Typescript
javascript monoids rust typescript fp-ts js ts sweet-monoids
Language:TypeScript 17
esapulkkinen / cifl-math-library
Basic mathematics library
haskell-library mathematics matrix graph-algorithms graph real-number generating-function streams category-theory monoids vector-math units-of-measurement haskell cabal-package
Language:Haskell 12
annenkov / trace-monoids
Trace monoids in Cubical Agda
trace-monoids homotopy-type-theory concurrency partially-commutative-monoids monoids
Language:Agda 7
libsemigroups / libsemigroups_pybind11
Python bindings for the libsemigroups C++ library for semigroups and monoids
python semigroups monoids algebra
Language:C++ 6
Shemplo / Functional-Java
Functional programming style in Java
abstraction alternative compile-time framework functional functional-programming haskell java library monad monoids types
Language:Java 5
functional-abstraction / measure
:straight_ruler: Monoids and measures for JavaScript
monoids measures javascript functional data-structures agpl
Language:JavaScript 3
ColOfAbRiX / monad-study
Studying monads in Scala
functional-programming scala functors monad comonads monoids monad-transformers trampoline
Language:Scala 1
danielapochini / ITE-005
Projetos desenvolvidos utilizando a linguagem Haskell para a matéria "Tópicos Especiais de Sistemas para Internet III" da Fatec Rubens Lara.
haskell yesod typeclasses aulas fatec pattern-matching monoids
Language:Haskell 1
FunctionalKotlin / 5-monoid
5 - Monoid
functional-programming kotlin monoids
Language:Kotlin 1
marlycormar / find_u_k
R script that finds $U_k$ for a specific Puiseux monoid.
puiseux monoids factorization-theory r union-of-set-of-lengths elasticities
Language:R 1
mtumilowicz / scala213-functional-programming-functor-monoid-monad-workshop
Functor, Monoid, Monads in practice.
applicative-functors functional-programming functors monad-laws monoids scala workshop workshop-materials
Language:Scala 1
FunctionalSwift / 5-monoid
5 - Monoid
functional-programming monoids swift
Language:Swift 0
minenux / minetest-mod-armor_monoid
monoids API for armor damage and status management
venenux minetest minetest-mods minetest-mod monoids
Language:Lua 0
UnoSD / ResultMonad
C# implementation of the result and other monads with query syntax support and extensions for Tasks and IEnumerable
async csharp functional functional-programming functor functors monad monads monoid monoids netcore2 netstandard result task tpl
Language:C# 0
ashwanthkumar / large-scale-business-stats-talk
References to Using Monoids for Large Scale Business Stats
scala monoids kafka talk abel
danwerner / scala-advanced-talk
Scala Advanced Features Talk, as held at Süddeutsche Zeitung in January 2018
scala implicits scalaz manifests type-tagging tagged-types monoids
Language:Scala
jsemric / linecounter
counting lines with monoids
scala monoids
Language:Scala
kelecorix / mule
monoidal machine learning library
machine-learning monoids haskell
ktec / comonads-monoids-trees
A exploration of Comonads, Monoids and Trees using Elixir
elixir comonads monoids trees
Language:Elixir
MartinSeeler / category-theory-typescript
My notes / implementations to Bartosz Milewski's "Category Theory for Programmers"
category category-theory composition free-category function-composition functional functional-programming functors monoids typescript
Language:TypeScript
ritesh277coe / Monoids
monoids
suhassatish / functional-scala
The repository for the Functional Scala workshop.
scala functional-programing monads monoids functors semigroup
Language:Scala
swiftfuncional / 6-monoides
Módulo 6: Patrones funcionales: Monoides.
swift functional-programming monoids monoid
Language:Swift