Beast code in Giters

Denis Buzdalov's repositories

A Matthias Mann's continuations library fork

Language:Java7 20

Discrete finite probability distribution monad and arrrow

Language:ScalaNOASSERTION1 2 12

Instances of cats typeclasses for squants library

Language:ScalaApache-2.01 20

CBT - fun, fast, intuitive, compositional, statically checked builds written in Scala

Language:ScalaNOASSERTION020

Flexible law checking for Scala

Language:ScalaMIT020

Functional JDBC layer for Scala.

Language:ScalaMIT020

A Java Immutable object Relational Mapper focused on simplicity, convenience, and thread safety.

Language:JavaApache-2.0020

A gently curated list of companies using verification formal methods in industry

020

The Scala programming language

Language:ScalaApache-2.0020

Operations for primitive and String singleton types

Language:ScalaApache-2.0000

An example of small bad monad implementation and its tests with cats-laws and specs2

Language:Scala020

The Scala API for Quantities, Units of Measure and Dimensional Analysis

Language:ScalaApache-2.0020

A collection of ebuilds for various software packages

Language:Shell020