Converting Petri nets to finite state automata in the GAP computer algebra system

The repository for the Functional Scala workshop.

Basic semigroup library. Work in progress.

A sample implementation of a Semigroup.

Little Monad Tutorial in Scala

Explore opportunities of functional programming through the prism of typescript and `fp-ts`

Explores usage of type classes defined in cats library

Program to generate random semigroup

Fun with functional programming in JavaScript (2)

Working through the book "Get Programming with Haskell" by Will Kurt

Kolmogorov semigroups are a natural way to combine MCMC methods with Stochastic Gradient Descent.

Functional Data Validation in Haskell (Examples of my talk in Eindhoven, NL on June 2017)

Repository holding various talks.

Implementation and property-based verification of functional programming abstractions' laws

A Data.Map wrapper with a Monoid instance that delegates to the individual keys

Multiple typeclass instances, selected by explicit application of a phantom type parameter

GAP package for enumerating subsemigroups of semigroups by several different search algorithms.

Presentations on functional programming in Scala

Test lattice identity holding in lattice of congruences of an act (automaton)

Python bindings for the C++ library libsemigroups