isovector

algebra-driven-design

Source material for Algebra-Driven Design

cornelis

agda-mode for neovim

type-errors

:warning: tools for writing better type errors

certainty-by-construction

Source material for Certainty by Construction

reasonablypolymorphic.com

⏳ my math blog

functional-design-patterns

could it be?

ldtk-types

Types for ldtk

blagda

agda blogging based on 1lab

design-tools

tools for design and interpretation of haskell programs

tino

new dotfiles system

nspace

Abstract data structures for representations of R2 and R3

conceptual-mathematics

reading group

sandymaguire.me

http://sandymaguire.me

autogenparfunpro

automatic generic parallel function programming

tonal-theory

nixos-configuration

certainty-pandoc

pandoc for certainty by construction

grad-school

sksonic

alga

Algebraic graphs

arbtt

arbtt, the automatic rule-based time-tracker

goodreads

A Goodreads command line client

SitePipe

Yet another static site generator - non-opinionated, value-level. Less magic == easier to understand

smrpg2

agda

Agda is a dependently typed programming language / interactive theorem prover.

compdata

Haskell library implementing "Data Types a la Carte"

compdata-dags

Compositional Data Types on DAGs

end

Lightweight notification daemon displaying notifications as EWW widgets

eww-bar

pandoc

Universal markup converter