Cats effect

SuprNation

2022-today

SuprNation is a technology company founded in 2015 to serve as a home for some of the most competent and creative people in the iGaming industry. Our first product was launched in the summer of 2016, a casino determined to deliver a better user and gaming experience than what is currently available. SuprNation is a highly ambitious project with 3 casino brands, VoodooDreams, NYSpins and Duelz live …

Logic-based workflows

2009-today

This project aims to enhance the development of process workflows with AI techniques so that various properties of the models are verified as they are being built, i.e. workflows that are correct-by-construction. In particular, we employ the proofs-as-processes paradigm which describes the correspondence between Classical Linear Logic (CLL) proofs with π-calculus processes. This enables us to …

Cats-Actors

2024-today

Cats-Actors 🐱 is a functional programming-based actor system derived from Akka Akka v2.6.21. It is available under the Apache 2.0 License on GitHub: https://github.com/suprnation/cats-actors Description The following text taken from the project README (original author: Mark Galea) introduces Cats-Actors, its main goal and benefits. Introduction Actors are the fundamental units of computation in …

Proter

2019-today

Proter is an open-source discrete event simulation library for workflows, written in Scala. It is part of our WorkflowFM framework for formal workflow modelling and management. It is available under the Apache 2.0 License on GitHub: https://github.com/workflowfm/proter Website and documentation is available here: http://docs.workflowfm.com/proter/ Proter was initially developed for the simulation …

Business Process Simulation

2019-today

Proter is an open-source discrete event simulation library for workflows, written in Scala. It is part of our WorkflowFM framework for formal workflow modelling and management and is available on GitHub: https://github.com/workflowfm/proter Website and documentation is available here: http://docs.workflowfm.com/proter/ Proter was initially developed for the simulation of logic-based workflows in …