rametta/pratica

🥃 Functional Algebraic Data Types

Language: TypeScript - Size: 169 KB - Last synced at: about 8 hours ago - Pushed at: over 1 year ago - Stars: 486 - Forks: 19

libsemigroups/libsemigroups_pybind11

Python bindings for the libsemigroups C++ library for semigroups and monoids

Language: C++ - Size: 9.06 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 6 - Forks: 8

semigroups/Semigroups

The GAP package Semigroups

Language: GAP - Size: 76.4 MB - Last synced at: about 20 hours ago - Pushed at: 5 days ago - Stars: 26 - Forks: 37

MartinSeeler/category-theory-typescript

My notes / implementations to Bartosz Milewski's "Category Theory for Programmers"

Language: TypeScript - Size: 7.81 KB - Last synced at: about 5 hours ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

madnight/awesome-category-theory

A curated list of awesome Category Theory resources.

Size: 602 KB - Last synced at: 14 days ago - Pushed at: 4 months ago - Stars: 121 - Forks: 6

sjbiaga/kittens

Lessons of Scala Cats

Language: Scala - Size: 752 KB - Last synced at: 23 days ago - Pushed at: 24 days ago - Stars: 0 - Forks: 0

functional-abstraction/measure

:straight_ruler: Monoids and measures for JavaScript

Language: JavaScript - Size: 3.34 MB - Last synced at: 28 days ago - Pushed at: 28 days ago - Stars: 3 - Forks: 1

TheCedarPrince/C3T

C3T: Crash Course Category Theory - A friendly non-mathematician's approach to beginners of Category Theory. 🐱

Language: TeX - Size: 1.93 MB - Last synced at: 2 days ago - Pushed at: over 2 years ago - Stars: 36 - Forks: 3

rsdc2/haskell-odt-writer

Interface for composing and writing OpenDocument Text (.odt) files in Haskell

Language: Haskell - Size: 212 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

Ilham-2423/Algebraic-Structures

Simulations and theoretical insights on acts over monoids from abstract algebra.

Language: Jupyter Notebook - Size: 9.77 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

esapulkkinen/cifl-math-library

Basic mathematics library

Language: Haskell - Size: 38.3 MB - Last synced at: 3 days ago - Pushed at: 3 months ago - Stars: 12 - Forks: 0

thma/LtuPatternFactory

Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns

Language: Haskell - Size: 588 KB - Last synced at: 4 months ago - Pushed at: over 1 year ago - Stars: 1,000 - Forks: 37

thautwarm/FSTan

Higher abstraction infrastructures in F#(ad-hoc polymorphism, subtypeclassing, monad, hkt...), exactly what we've dreamed about for so long

Language: F# - Size: 76.2 KB - Last synced at: 27 days ago - Pushed at: over 6 years ago - Stars: 43 - Forks: 4

kaBeech/monads-are-easy

A brief cheatsheet for monads and related concepts

Size: 52.7 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

mtumilowicz/scala213-functional-programming-functor-monoid-monad-workshop

Functor, Monoid, Monads in practice.

Language: Scala - Size: 159 KB - Last synced at: 5 months ago - Pushed at: 8 months ago - Stars: 1 - Forks: 1

kalmarek/GroupsCore.jl

Interface for abstract groups

Language: Julia - Size: 605 KB - Last synced at: 3 days ago - Pushed at: 10 months ago - Stars: 5 - 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: 21 days ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 0

Diego15wp/functional_programming_tinkering

Building Foundational Knowledge on Functional Programming

Language: Scala - Size: 478 KB - Last synced at: 6 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

annenkov/trace-monoids

Trace monoids in Cubical Agda

Language: Agda - Size: 64.5 KB - Last synced at: 5 months ago - Pushed at: over 1 year ago - Stars: 8 - Forks: 0

numfin/kirka

Algebraic data types Rust-style for Typescript

Language: TypeScript - Size: 443 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 17 - Forks: 1

kelecorix/mule

monoidal machine learning library

Size: 1000 Bytes - Last synced at: over 1 year ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0

ritesh277coe/Monoids

Size: 1.95 KB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

ColOfAbRiX/monad-study

Studying monads in Scala

Language: Scala - Size: 82 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 1 - 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

urbandrone/futils

Utilities for generic functional programming

Language: JavaScript - Size: 9.58 MB - Last synced at: about 4 hours ago - Pushed at: over 2 years ago - Stars: 22 - Forks: 0

marlycormar/find_u_k

R script that finds $U_k$ for a specific Puiseux monoid.

Language: R - Size: 43.9 KB - Last synced at: 5 months ago - Pushed at: about 6 years ago - Stars: 1 - Forks: 0

minenux/minetest-mod-armor_monoid Fork of minetest-mods/armor_monoid

monoids API for armor damage and status management

Language: Lua - Size: 7.81 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

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.

Language: Haskell - Size: 8.21 MB - Last synced at: over 2 years ago - Pushed at: over 8 years ago - Stars: 1 - Forks: 1

jsemric/linecounter

counting lines with monoids

Language: Scala - Size: 16.6 KB - Last synced at: over 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0

Shemplo/Functional-Java

Functional programming style in Java

Language: Java - Size: 38.1 KB - Last synced at: about 2 years ago - Pushed at: about 7 years ago - Stars: 5 - Forks: 1

FunctionalKotlin/5-monoid

5 - Monoid

Language: Kotlin - Size: 361 KB - Last synced at: over 2 years ago - Pushed at: almost 8 years ago - Stars: 1 - Forks: 0

danwerner/scala-advanced-talk

Scala Advanced Features Talk, as held at Süddeutsche Zeitung in January 2018

Language: Scala - Size: 8.79 KB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

ashwanthkumar/large-scale-business-stats-talk

References to Using Monoids for Large Scale Business Stats

Size: 4.88 KB - Last synced at: 2 months ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0

ktec/comonads-monoids-trees

A exploration of Comonads, Monoids and Trees using Elixir

Language: Elixir - Size: 9.77 KB - Last synced at: 7 days ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0