Beast code in Giters

Sasha Boyd's repositories

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

Language:AgdaAGPL-3.0000

A new Categories library for Agda

Language:AgdaMIT000

The Agda standard library

Language:AgdaNOASSERTION000

Maintainable configuration files

Language:DhallBSD-3-Clause010

A friendly UI for arXiv hosting papers on fairness and ethics in Machine Learning & Data Science

Language:PythonMIT010

A habit tracker app which treats your goals like a Role Playing Game.

Language:JavaScriptNOASSERTION020

Elaborating to categories

Language:AgdaMIT000

Experiments with formal and dynamical systems and automata

Language:HaskellGPL-3.0010

Overall philosophical documentation of what this system will aim to achieve and how it will be constructed.

020

Custom Prelude with functionality I often use

Language:HaskellBSD-3-Clause010

Some fun with probabilistic programming for Haskell

Language:Haskell020

Di's Plover-theory stenography dictionaries used by Typey Type for Stenographers.

GPL-2.0000

Tracking tasks without losing track of the big picture

Language:PureScriptApache-2.0020