Desugaring scala `for` without implicit `withFilter`s

A sensible starting Prelude template.

From neural networks to the Category of composable supervised learning algorithms in Scala with compile-time matrix checking based on singleton-types

A simulator for visualising the evolution of π-calculus terms

🍀 Next-generation, purely functional package manager for the Emacs hacker.

Free online textbook of Jupyter notebooks for fast.ai Computational Linear Algebra course

The fastai deep learning library

An introduction to the architecture and design of the Git content manager

Nix, the purely functional package manager

A Clojure(Script) expectation/snapshot testing library, inspired by cram, ppx_expect, and jest

Cram like framework for OCaml

Compiling to Categories

The swiss army knife of lossless video/audio editing

Manage your macOS using Nix

ripgrep recursively searches directories for a regex pattern while respecting your gitignore

⛅ The right way to check the weather

Versatile typeface for code, from code.

Draft of a guide for using emacs with evil

HTML5/EPUB3 version of SICP

Grafter is a library to configure and wire Scala applications

A cohesive & pragmatic framework of FP centric Scala libraries

Experiments with the continuation monad

A plugin for solving numeric constraints in GHC's type-checker

Scala compiler plugin for warning suppression

A dimensional analysis library based on dependent types

Some materials for "The taste of probabilistic programming and modeling" by Oleg Kiselyov at FLOLAC'16

KeePassXC is a cross-platform community-driven port of the Windows application “KeePass Password Safe”.