Pinned Repositories
b-irb.github.io
bfasm
Implementation of Brainfuck in pure x86_64 assembly (no libc).
codes
Implementation of maximum likelihood decoding (Coding Theory).
fakePLC
Basic PLC emulation framework with pluggable protocol support (intended for honeypots).
gitleak
Scan local or remote repositories for leaked secrets.
lambda
λ-calculus calculus solver capable of β-reduction and α-conversion, written in C.
PigPEI
PEIM (UEFI) bootkit targeting OVMF (EDK2)
sauron
Simple Intel VT-x type-2 hypervisor for 64-bit Linux.
sigma16-emulator
Alternative implementation of the research architecture Sigma16 with optional Python bindings and tooling.
veracity
SAT solver implemented in Python.
b-irb's Repositories
b-irb/PigPEI
PEIM (UEFI) bootkit targeting OVMF (EDK2)
b-irb/sauron
Simple Intel VT-x type-2 hypervisor for 64-bit Linux.
b-irb/sigma16-emulator
Alternative implementation of the research architecture Sigma16 with optional Python bindings and tooling.
b-irb/lambda
λ-calculus calculus solver capable of β-reduction and α-conversion, written in C.
b-irb/bfasm
Implementation of Brainfuck in pure x86_64 assembly (no libc).
b-irb/gitleak
Scan local or remote repositories for leaked secrets.
b-irb/veracity
SAT solver implemented in Python.
b-irb/b-irb.github.io
b-irb/codes
Implementation of maximum likelihood decoding (Coding Theory).
b-irb/fakePLC
Basic PLC emulation framework with pluggable protocol support (intended for honeypots).
b-irb/garlic
Asynchronous API wrapper for Onionoo, written in Python.
b-irb/mfgd
Git repository visualiser using Django (WAD2 team project).
b-irb/simple-file-transfer
NOSE2 (university) coursework for implementing a trivial file transfer server/client with a homegrown protocol.
b-irb/simple_exceptions
Simple exception handling using POSIX signals - published for convenience of access.