-
-
nixpkgs Public
Forked from NixOS/nixpkgsnixpkgs fork for contributions.
Nix MIT License UpdatedOct 12, 2025 -
-
-
-
alive2 Public
Forked from regehr/alive2aslp integration for regehr's arm-tv
-
-
2021s1-notes Public
notes for comp3400, csse3100, math2301, and math3302 from Semester 1 2021
Python UpdatedMay 2, 2025 -
github-actions-leak-poc Public
Leak checkout tokens from workflows by replacing the git binary
Shell UpdatedApr 20, 2025 -
mra-bi-assembler Public
generates an assembler and a disassembler from an ARM MRA file
-
clap-to-fish Public
extracts fish completions from clap-generated help text.
Shell UpdatedJan 16, 2025 -
-
-
nix-patcher Public
a tool for patching Nix flake inputs, declaratively!
-
-
-
how-behind Public
How behind am I? Keeping track of missed Zoom lectures since 2020.
-
-
-
-
pac-environment Public archive
a Docker environment for building and developing UQ PAC's projects (deprecated, see https://github.com/katrinafyi/pac-nix instead)
Dockerfile UpdatedJan 30, 2024 -
nix-glass Public
nix-glass makes a website for viewing Nix flake packages.
Python UpdatedJan 11, 2024 -
-
madeline Public
madeline/Proof General: an integrated prover environment for our favourite deductive logic games.
-
-
-
monad.cpp Public
monads and monadic-do syntax in c++, as faithful to haskell as possible
-
-
-
scorch Public
scorch is a hybrid compiler-interpreter for CHIP-8 to LLVM.
Haskell Other UpdatedApr 9, 2023
{{ message }}