-
Updated
Jun 20, 2020 - C#
#
semigroup
Here are 30 public repositories matching this topic...
C# functional language extensions - a base class library for functional programming
c-sharp
monads
functional-programming
records
functional-languages
equality
generic
f-sharp
monad
functor
lenses
monoid
semigroup
monad-transformers
applicative
immutable-collections
bcl
immutable-types
higher-kinded-types
language-ext
ad-hoc-polymorphism
structural-equality
Functional patterns for Java
java
lambda
functional-programming
tuples
io-monad
algebraic-data-types
monad
functor
lenses
monoid
semigroup
optics
either
hlist
profunctors
traversable
coproduct
maybe-monad
bifunctors
try-monad
-
Updated
Jun 18, 2020 - Java
A ReasonML/Ocaml library for category theory and abstract algebra
algebra
monad
category-theory
monoid
semigroup
bucklescript
theory
prelude
reasonml
abstract
category
semiring
abstract-algebra
reason
semigroupoid
-
Updated
May 25, 2020 - Reason
chshersh
commented
Nov 16, 2018
Currently all tutorials are here: https://github.com/kowainik/co-log/tree/master/co-log/example
Proposed by @vrom911. Basically, have examples directory with different complete usage examples of co-log library. I propose to have the following examples:
- Basic example where you pass
LogAction IO Stringas an argument and feed messages to it with<&operator - Same example
C++ library for semigroups and monoids
-
Updated
Jun 23, 2020 - C++
A data structure for validations. It implements the applicative functor interface
-
Updated
Sep 24, 2017 - Swift
A partial binary associative operator (appendMaybe :: a → a → Maybe a)
-
Updated
Jun 3, 2020 - Haskell
Solutions to exercises from the book Haskell Programming
haskell
parser-combinators
solutions
algebraic-data-types
monad
functor
monoid
semigroup
abstract-data-types
monad-transformers
applicative
traversable
sum-types
haskell-book
foldable
haskellbook
newtype
haskell-programming
product-type
-
Updated
Jul 28, 2019 - Haskell
multiplex: algebraic tools for the analysis of multiple social networks
-
Updated
Apr 3, 2020 - R
A collection of algebraic structures borrowed from abstract algebra. Semigroup, Monoid, Group & Field.
dart
algebra
functional-programming
monoid
semigroup
pub
field
group
dartlang
abstractalgebra
vectorspace
-
Updated
Mar 28, 2020 - Dart
Presentations on functional programming in Scala
-
Updated
Aug 11, 2017
Python bindings for the C++ library libsemigroups
-
Updated
May 4, 2018 - Python
Computational Semigroup Theory Software System written in Clojure
clojure
computer-algebra
mathematics
semigroup
computer-algebra-system
abstract-algebra
diagram-semigroups
-
Updated
Aug 5, 2019 - Clojure
Multiple typeclass instances, selected by explicit application of a phantom type parameter
-
Updated
Feb 14, 2019 - Haskell
Implementation and property-based verification of functional programming abstractions' laws
-
Updated
May 31, 2020 - Scala
GAP package for enumerating subsemigroups of semigroups by several different search algorithms.
-
Updated
Mar 27, 2019 - GAP
Fun with functional programming in JavaScript (2)
-
Updated
Sep 27, 2016 - JavaScript
Explores usage of type classes defined in cats library
-
Updated
Jan 18, 2019 - Scala
Functional Data Validation in Haskell (Examples of my talk in Eindhoven, NL on June 2017)
-
Updated
May 30, 2017 - Haskell
Program to generate random semigroup
-
Updated
Jan 31, 2020 - Python
A Data.Map wrapper with a Monoid instance that delegates to the individual keys
-
Updated
Nov 2, 2018 - Haskell
Basic semigroup library. Work in progress.
-
Updated
Dec 31, 2019 - Kotlin
A sample implementation of a Semigroup.
-
Updated
Feb 19, 2018 - Scala
Improve this page
Add a description, image, and links to the semigroup topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the semigroup topic, visit your repo's landing page and select "manage topics."
Filterable is pretty straightforward, but it's the only typeclass that's missing from the documentation. I would write the description for it, but the rest was written in Charles' words. So, it'd be good for consistency to have it written by Charles.