katrinafyi

uqtp

Timetable planner for UQ courses, written in Typescript with React.

how-behind

How behind am I? Keeping track of missed Zoom lectures since 2020.

nix-patcher

a tool for patching Nix flake inputs, declaratively!

Blackboard-Enhancements

Various enhancements to make Blackboard somewhat bearable.

madeline

madeline/Proof General: an integrated prover environment for our favourite deductive logic games.

compendium

monad.cpp

monads and monadic-do syntax in c++, as faithful to haskell as possible

say

say is inspired by cowsay. my haskell sandbox.

fgo-calendar

uq-course-data

aoc-2019

My competitive advent of Code 2019 solutions, written in Python.

comp3400

Exercises and assignments for COMP3400 (Functional Programming).

pac-nix

Nix derivations for UQ PAC's work.

alive2

aslp integration for regehr's arm-tv

aoc-2022

begrudgingly and most reluctantly.

aoc-2023

back again?

boid

dot

.files

fate-guess

Fate/Guess, a servant guessing game for FGO.

graal

fork for thesis.

hottest

HoTTEST summer school materials

nix-glass

nix-glass makes a website for viewing Nix flake packages.

nixpkgs

nixpkgs fork for contributions.

optimisation-tester

pac-environment

a Docker environment for building and developing UQ PAC's projects (deprecated, see https://github.com/katrinafyi/pac-nix instead)

rina.fyi

scorch

scorch is a hybrid compiler-interpreter for CHIP-8 to LLVM.

tote

unrandom

determinism in getrandom(2)!

yeetbeat2