andrewj-brown

BCompSc + MCyberSec @ UQ

Brisbane

Pinned Repositories

advent-of-code-2022
i love ocaml i love ocaml i love ocaml i love ocaml
Language:OCaml00
andrewj-brown.github.io
website?
Language:HTML00
arm-asl-syntax
A VS Code syntax highlighting extension for ARM64's Architecture Specification Language
10
bf-cowsay
Common 'nix utility cowsay, written in the turing-tarpit language Brainfuck.
Language:C00
dotf-ish
dotfiles (ish)
Language:Lua00
vercors
The VerCors verification toolset for verifying parallel and concurrent software
Language:Scala00
discord.py
An API wrapper for Discord written in Python.
Language:Python14.5k 261 2.9k3.7k
aslp
Partial evaluator for Arm's Architecture Specification Language (ASL)
Language:OCaml41
bil-to-boogie-translator
Language:Scala70
uqcsbot-discord
:mortar_board: UQCSbot: Our friendly little Discord bot
Language:Python20 12 6018

andrewj-brown's Repositories

andrewj-brown/arm-asl-syntax
A VS Code syntax highlighting extension for ARM64's Architecture Specification Language
10
andrewj-brown/advent-of-code-2022
i love ocaml i love ocaml i love ocaml i love ocaml
Language:OCaml00
andrewj-brown/andrewj-brown.github.io
website?
Language:HTML00
andrewj-brown/bf-cowsay
Common 'nix utility cowsay, written in the turing-tarpit language Brainfuck.
Language:C00
andrewj-brown/dotf-ish
dotfiles (ish)
Language:Lua00
andrewj-brown/vercors
The VerCors verification toolset for verifying parallel and concurrent software
Language:Scala00