stites

lasserre

quick rewrite of lasserre 2020 in haskell

redirect-to-abstract

firefox extension to redirect various pdf links to their abstracts

templates

Flake templates

zmk-config

cornish zen stuff

1lab

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

acmart

ACM consolidated LaTeX styles

agda-unimath

The agda-unimath library

combinators

Inference Combinators for Probabilistic Torch

constan

Zach Murray's honours project (with thesis)

dice.nix

ec

javelin_steno_script

khalorg.nix

quick flake for khalorg

lsp-latex

Emacs lsp-mode client for LaTeX, on texlab.

my-plover-hid-machine

Plover HID + 30ms debounce + 8 extended keys for X1-X8

nixlib

little functions for flakes

nixos-zfs-setup

A bash script that sets up zfs disks for NixOS.

nurpkgs

use at your own risk

orgzly-android

Outliner for taking notes and managing to-do lists

plover

Open source stenotype engine

plover-flake

A flake for plover with plugin manager support

plover_auto_reconnect_machine

Plover extension that tries to automatically reconnect the steno machine if the connection got lost

rsdd

Rust decision diagrams

rsdd-hs

SlicStan

A Stan-like probabilistic programming language.

steno-dictionaries

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

tracing-test

Access and evaluate tracing logs in async and sync tests.

zmk

ZMK Firmware Repository

zmk-config-1

kitchen's zmk config

zotero-memento

Zotero extension that combats link rot by archiving webpages and journal articles.