Pinned Repositories
aslp-web
an experiment to publish UQ PAC's ASLp to the web
atmel-avr-isa
Webpage for the Atmel AVR ISA, including assembly, registers, timers and utilities.
Blackboard-Enhancements
Various enhancements to make Blackboard somewhat bearable.
how-behind
How behind am I? Keeping track of missed Zoom lectures since 2020.
madeline
madeline/Proof General: an integrated prover environment for our favourite deductive logic games.
math3202
Linear, integer and dynamic programming assignments for MATH3202 at UQ.
nix-patcher
a tool for patching Nix flake inputs, declaratively!
pac-nix
Nix packages for UQ PAC's work.
uqtp
Timetable planner for UQ courses, written in Typescript with React.
aslp
Partial evaluator for Arm's Architecture Specification Language (ASL)
katrinafyi's Repositories
katrinafyi/nix-patcher
a tool for patching Nix flake inputs, declaratively!
katrinafyi/uqtp
Timetable planner for UQ courses, written in Typescript with React.
katrinafyi/how-behind
How behind am I? Keeping track of missed Zoom lectures since 2020.
katrinafyi/Blackboard-Enhancements
Various enhancements to make Blackboard somewhat bearable.
katrinafyi/madeline
madeline/Proof General: an integrated prover environment for our favourite deductive logic games.
katrinafyi/compendium
katrinafyi/monad.cpp
monads and monadic-do syntax in c++, as faithful to haskell as possible
katrinafyi/aslp-web
an experiment to publish UQ PAC's ASLp to the web
katrinafyi/fgo-calendar
katrinafyi/pac-nix
Nix packages for UQ PAC's work.
katrinafyi/uq-course-data
katrinafyi/aoc-2019
My competitive advent of Code 2019 solutions, written in Python.
katrinafyi/comp3400
Exercises and assignments for COMP3400 (Functional Programming).
katrinafyi/alive2
aslp integration for regehr's arm-tv
katrinafyi/aoc-2022
begrudgingly and most reluctantly.
katrinafyi/aoc-2023
back again?
katrinafyi/boid
katrinafyi/comp3301
katrinafyi/dafny
program verification proving ground.
katrinafyi/dot
.files
katrinafyi/graal
fork for thesis.
katrinafyi/nix-glass
nix-glass makes a website for viewing Nix flake packages.
katrinafyi/nixpkgs
nixpkgs fork for contributions.
katrinafyi/optimisation-tester
katrinafyi/pac-environment
a Docker environment for building and developing UQ PAC's projects (deprecated, see https://github.com/katrinafyi/pac-nix instead)
katrinafyi/rina.fyi
katrinafyi/scorch
scorch is a hybrid compiler-interpreter for CHIP-8 to LLVM.
katrinafyi/tote
katrinafyi/unrandom
determinism in getrandom(2)!
katrinafyi/yeetbeat2