Pinned Loading

1. dotfiles dotfiles Public

   My dotfiles. Managed by GNU Stow.

   Emacs Lisp

2. TexToSpeech TexToSpeech Public

   Convert LaTeX to plain text for consumption by text-to-speech programs

   Haskell

3. gap-lint gap-lint Public

   A simple linter for GAP

   Haskell

4. exoplanet-deep-learning exoplanet-deep-learning Public

   Using (C|R)NN Autoencoders to Help Discover Transiting Exoplanets

   Python 1

5. mols mols Public

   Using finite projective geometry to do cool maths

   TeX

6. kamon-frontend kamon-frontend Public

   A frontend for a in implementation of Kamon

   TypeScript