GitHub topics: semigroup
egri-nagy/kigen 📦
Computational Semigroup Theory Software System written in Clojure
Language: Clojure - Size: 1010 KB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 10 - Forks: 0
gap-packages/subsemi
GAP package for enumerating subsemigroups of semigroups by several different search algorithms.
Language: GAP - Size: 1020 KB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 3 - Forks: 0
libsemigroups/libsemigroups
C++ library for semigroups and monoids
Language: C++ - Size: 47.1 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 62 - Forks: 31
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: 92.6 MB - Last synced at: 12 days ago - Pushed at: 13 days ago - Stars: 20 - Forks: 4
louthy/language-ext
C# pure functional programming framework - come and get declarative!
Language: C# - Size: 22.5 MB - Last synced at: 21 days ago - Pushed at: 21 days ago - Stars: 6,896 - Forks: 440
tureluren/refql
A library for composing and running database queries with rich IntelliSense and type safety
Language: TypeScript - Size: 8.25 MB - Last synced at: 2 days ago - Pushed at: 26 days ago - Stars: 17 - Forks: 0
co-log/co-log
📓 Flexible and configurable modern #Haskell logging framework
Language: Haskell - Size: 501 KB - Last synced at: 26 days ago - Pushed at: 26 days ago - Stars: 262 - Forks: 51
palatable/lambda
Functional patterns for Java
Language: Java - Size: 5.57 MB - Last synced at: 8 days ago - Pushed at: over 2 years ago - Stars: 875 - Forks: 85
thefrontside/funcadelic.js
Functional programming and category theory for everyday JavaScript development
Language: JavaScript - Size: 214 KB - Last synced at: 7 days ago - Pushed at: over 6 years ago - Stars: 201 - Forks: 16
mplex/multiplex
multiplex: algebraic tools for the analysis of multiple social networks
Language: R - Size: 1020 KB - Last synced at: 4 days ago - Pushed at: 7 months ago - Stars: 25 - Forks: 4
pmalex/congruencer
Test lattice identity holding in lattice of congruences of automaton
Language: Rust - Size: 103 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 3 - Forks: 0
Risto-Stevcev/bastet 📦
A ReasonML/Ocaml library for category theory and abstract algebra
Language: OCaml - Size: 4.52 MB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 214 - Forks: 27
Skippia/fp-playground
Explore opportunities of functional programming through the prism of typescript and `fp-ts`
Language: TypeScript - Size: 467 KB - Last synced at: 3 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0
typeclasses/partial-semigroup
A partial binary associative operator (appendMaybe :: a → a → Maybe a)
Language: Haskell - Size: 95.7 KB - Last synced at: 24 days ago - Pushed at: 11 months ago - Stars: 13 - Forks: 4
TimLavers/semigroups_kotlin
Basic semigroup library. Work in progress.
Language: Kotlin - Size: 126 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
atopuzov/presentations
Repository holding various talks.
Language: Nix - Size: 2.07 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0
hermannhueck/little-monad-tutorial
Little Monad Tutorial in Scala
Language: Scala - Size: 296 KB - Last synced at: over 1 year ago - Pushed at: over 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: over 1 year ago - Pushed at: about 4 years ago - Stars: 26 - Forks: 8
lewismj/functional_scala
Presentations on functional programming in Scala
Size: 1.33 MB - Last synced at: 3 months ago - Pushed at: about 8 years ago - Stars: 4 - 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: 15 days ago - Pushed at: over 5 years ago - Stars: 10 - Forks: 0
suhassatish/functional-scala Fork of jdegoes/functional-scala
The repository for the Functional Scala workshop.
Language: Scala - Size: 200 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
wedgeCountry/Stochastic-Gradient-Monte-Carlo
Kolmogorov semigroups are a natural way to combine MCMC methods with Stochastic Gradient Descent.
Language: Python - Size: 859 KB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0
egri-nagy/pn2a
Converting Petri nets to finite state automata in the GAP computer algebra system
Language: GAP - Size: 694 KB - Last synced at: 5 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
libsemigroups/libsemigroups-python-bindings 📦
Python bindings for the C++ library libsemigroups
Language: Python - Size: 157 KB - Last synced at: 9 months ago - Pushed at: over 7 years ago - Stars: 4 - Forks: 4
spamegg1/haskell-prog
Working through the book "Get Programming with Haskell" by Will Kurt
Language: Haskell - Size: 2.64 MB - Last synced at: 6 months ago - Pushed at: almost 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 at: 5 months ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 3
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: 5 months ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 0
RPallas92/Swiftz-Validation
A data structure for validations. It implements the applicative functor interface
Language: Swift - Size: 22.5 KB - Last synced at: over 1 year ago - Pushed at: almost 8 years ago - Stars: 15 - 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: 23 days ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0
hadronized/non-empty
Efficient non-empty vectors in Rust
Language: Rust - Size: 1.95 KB - Last synced at: 6 months ago - Pushed at: about 7 years ago - Stars: 3 - Forks: 1
gvolpe/functional-data-validation
Functional Data Validation in Haskell (Examples of my talk in Eindhoven, NL on June 2017)
Language: Haskell - Size: 1.95 KB - Last synced at: 8 days ago - Pushed at: over 8 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: over 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 1
nem035/js-function-fun-2
Fun with functional programming in JavaScript (2)
Language: JavaScript - Size: 52.7 KB - Last synced at: 2 months ago - Pushed at: almost 9 years ago - Stars: 1 - Forks: 1
Freshwood/scala-semigroup
A sample implementation of a Semigroup.
Language: Scala - Size: 4.88 KB - Last synced at: 3 months ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
