anbclausen
Computer Science student at Aarhus University and Software Developer at InCommodities.
Aarhus UniversityAarhus, Denmark
Pinned Repositories
2d-typescript-game-engine
This is a simple 2D game engine written in TypeScript.
adiar
An I/O-efficient implementation of (Binary) Decision Diagrams
cp
A repository containing my solutions to various competitive programming problems in my favorite languages.
gpu-indicator-gnome-extension
This GNOME extension adds a small icon in the top bar indicating which GPU you're currently using.
haskell-sat-solver
Naive SAT solver implemented in Haskell.
mist-rust-test
Testing Rust on Mist Cloud
nim-lambda-calculus-interpreter
A lambda calculus interpreter project, written in Nim.
optifuzz
A tool for fuzzing random optimized C programs and detect side-channel vulnerabilities.
optimus-switch-gdm
modified version to work with gdm/gnome. includes install script. made for manjaro linux.
preambles
My custom LaTeX preambles for you to use!
anbclausen's Repositories
anbclausen/gpu-indicator-gnome-extension
This GNOME extension adds a small icon in the top bar indicating which GPU you're currently using.
anbclausen/haskell-sat-solver
Naive SAT solver implemented in Haskell.
anbclausen/preambles
My custom LaTeX preambles for you to use!
anbclausen/nim-lambda-calculus-interpreter
A lambda calculus interpreter project, written in Nim.
anbclausen/optifuzz
A tool for fuzzing random optimized C programs and detect side-channel vulnerabilities.
anbclausen/2d-typescript-game-engine
This is a simple 2D game engine written in TypeScript.
anbclausen/adiar
An I/O-efficient implementation of (Binary) Decision Diagrams
anbclausen/cp
A repository containing my solutions to various competitive programming problems in my favorite languages.
anbclausen/mist-rust-test
Testing Rust on Mist Cloud
anbclausen/optimus-switch-gdm
modified version to work with gdm/gnome. includes install script. made for manjaro linux.
anbclausen/rust-sat-solver
A naïve SAT solver, written in Rust.