A collection of interesting new networks and tech aiming at decentralisation (in some form).

For educational purposes, or for interviewing Java / Scala developers.

Animation engine for explanatory math videos

abolish.vim: Work with several variants of a word at once

FS2 streams based on cron expressions

GeoTrellis is a geographic data processing engine for high performance applications.

friendly little parsers

Subscription Management Telegram Bot

Universe-HTT barcode reference

Lenia - Mathematical Life Forms

Comprehensions for Arrows and Monoidal categories

Papers from the computer science community to read and discuss.

Proof theory seminar