stfnw

Pinned Repositories

advent-of-code
Me practicing programming, so naturally the solutions here are not really good/idiomatic.
Language:Rust00
arithmetic-expressions-calc
Exploring various kinds of program execution (interpreter / VM / JIT compiler / AOT compiler).
Language:C00
arithmetic-expressions-calc-fuzz
Learning fuzzing by finding bugs in my own C code.
Language:C00
EnumMSR
This is a small experiment for enumerating all possible model-specific registers (MSRs) of a Intel CPU under Linux.
Language:Python00
git-quine
A toy program that can print the commit hash of the commit itself is contained in.
Language:Python00
lambda-calculus-full-reducing-krivine-machine-cli
Demo project (cli wrapper around the library) implementing normal-order evaluation of untyped lambda calculus terms with a Krivine machine.
Language:Rust00
LD_PRELOAD-demo
Demo of LD_PRELOAD. Overriding and log `socket(2)`, `recv(2)`, `send(2)`, and `close(2)`.
Language:C3 1 01
tun-demo-file
A demo of userspace-networking / TUN devices on Linux: creating a network tunnel over the file system.
Language:Python00

stfnw's Repositories

stfnw/LD_PRELOAD-demo
Demo of LD_PRELOAD. Overriding and log `socket(2)`, `recv(2)`, `send(2)`, and `close(2)`.
Language:C3 1 01
stfnw/advent-of-code
Me practicing programming, so naturally the solutions here are not really good/idiomatic.
Language:Rust00
stfnw/arithmetic-expressions-calc
Exploring various kinds of program execution (interpreter / VM / JIT compiler / AOT compiler).
Language:C00
stfnw/arithmetic-expressions-calc-fuzz
Learning fuzzing by finding bugs in my own C code.
Language:C00
stfnw/Debugging_Dirty_Pipe_CVE-2022-0847
Presentation slides and supplementary material
Language:Makefile0 1 00
stfnw/Decomposition-of-Linear-Time-Properties
2017-2018 seminar presentation Theoretical Computer Science
Language:TeX0 1 00
stfnw/EnumMSR
This is a small experiment for enumerating all possible model-specific registers (MSRs) of a Intel CPU under Linux.
Language:Python00
stfnw/exercise-4.4.1
A basic Java-implementation of table-driven predictive parsers for the various grammars given in Exercise 4.4.1 of the Dragon Book.
Language:Java00
stfnw/git-quine
A toy program that can print the commit hash of the commit itself is contained in.
Language:Python00
stfnw/lambda-calculus-full-reducing-krivine-machine-cli
Demo project (cli wrapper around the library) implementing normal-order evaluation of untyped lambda calculus terms with a Krivine machine.
Language:Rust00
stfnw/tun-demo-file
A demo of userspace-networking / TUN devices on Linux: creating a network tunnel over the file system.
Language:Python00
stfnw/fuse-monitor-read-write
Visualize file reads and file writes.
Language:Python
stfnw/jit-expression
This is a small demo project that implements a simple JIT for evaluating arithmetic expressions.
Language:Rust
stfnw/lambda-calculus-full-reducing-krivine-machine
Demo project (library) implementing normal-order evaluation of untyped lambda calculus terms with a Krivine machine.
Language:Rust
stfnw/NP-completeness-of-Hamiltonian-Cycles
2019-2020 seminar presentation Complexity Theory
Language:TeX
stfnw/pov-ascii
a simple demonstration of persistence of vision using the Atmel ATmega8 microcontroller and eight LEDs to display ASCII-Strings
Language:CMake1 0
stfnw/quine-generator
Create your own quine (C / s390x assembly)
Language:Assembly1 1
stfnw/trivial-secret-sharing
Trivial secret sharing under n parties so that all n pieces are needed for reconstruction.
Language:C1 0