Pinned Repositories
1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
agda-categories
A new Categories library for Agda
agda-stdlib
The Agda standard library
dhall-haskell
Maintainable configuration files
fairXiv
A friendly UI for arXiv hosting papers on fairness and ethics in Machine Learning & Data Science
habitrpg
A habit tracker app which treats your goals like a Role Playing Game.
labcat
Elaborating to categories
mini-systems
Experiments with formal and dynamical systems and automata
philosophy
Overall philosophical documentation of what this system will aim to achieve and how it will be constructed.
Prelude
Custom Prelude with functionality I often use
sashaboyd's Repositories
sashaboyd/1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
sashaboyd/agda-categories
A new Categories library for Agda
sashaboyd/agda-stdlib
The Agda standard library
sashaboyd/dhall-haskell
Maintainable configuration files
sashaboyd/fairXiv
A friendly UI for arXiv hosting papers on fairness and ethics in Machine Learning & Data Science
sashaboyd/habitrpg
A habit tracker app which treats your goals like a Role Playing Game.
sashaboyd/labcat
Elaborating to categories
sashaboyd/mini-systems
Experiments with formal and dynamical systems and automata
sashaboyd/philosophy
Overall philosophical documentation of what this system will aim to achieve and how it will be constructed.
sashaboyd/Prelude
Custom Prelude with functionality I often use
sashaboyd/problamming
Some fun with probabilistic programming for Haskell
sashaboyd/steno-dictionaries
Di's Plover-theory stenography dictionaries used by Typey Type for Stenographers.
sashaboyd/workflow
Tracking tasks without losing track of the big picture