An authoring, teaching and learning environment: An AGPL-licensed open source LMS.

A free programming font with cursive italics and ligatures. Donations welcome ❤️

This is an experiment in bootstrapping some sort of programming language/environment from a clean MS-DOS install.

SL(1): Cure your bad habit of mistyping

A tool to analyse JFR trace data and identify CPU and allocation hot-spots

Fast, secure JSON library with tight ZIO integration.

The Scala programming language

Small collection of {git, github, scala}-fu

Monads, Do style

Isomorphic Reasoning: Counting with Types

Unsynchronized Memory Access Detector

Type-safe, persistent storage for values of arbitrary types

The Pact Smart Contract Language

Java trivia questions

Full program static analysis for Scala

Resources for the aspiring optician

Official upstream development repository for Cabal and cabal-install

Monospaced font with programming ligatures incl scala/scalaz

Fyne Thyngges provided by Learning Objects, for Use with ScalaZ and Libraries of a similar Nature and Quality.

With way too messy gist.github pages this is an attempt to organise my snippets

For-Yield in JS, via Do-While

Principled, fast, typeclass derivation.

Functional UUID's for Scala

A compiler plugin that will improve on the scala compiler on the assumption that the user is using the Scalazzi-safe subset of Scala.

Static site generator for code search with IDE features for Scala

A Scala source code browser

Cats Bifunctor IO

Compress long exception traces down to short signatures

The pure testing library by scalaz.