Thomas-Malcolm

Pinned Repositories

optik
Optik is a set of symbolic execution tools that assist smart-contract fuzzers
Language:Python91 6 5712
AoCode2020
Advent of Code - 2020
Language:C++00
bad-name-checker
00
Conways-Game-of-Life-Recreation
Recreation of Conway's Game of Life using the olcPixelGameEngine
Language:C++00
correct-coding-talk
Language:Python00
discord-bot
Discord bot for the
Language:Python00
Enigma-Machine-Emulator
Simple Python recreation of an Enigma machine based on the German Navy's 1934 M3 model
Language:Python00
lookatme
An interactive, terminal-based markdown presenter
Language:Python00
maat
Open-source symbolic execution framework: https://maat.re
Language:C++605 15 7644
bil-to-boogie-translator
Language:Scala70

Thomas-Malcolm's Repositories

Thomas-Malcolm/AoCode2020
Advent of Code - 2020
Language:C++00
Thomas-Malcolm/bad-name-checker
00
Thomas-Malcolm/Conways-Game-of-Life-Recreation
Recreation of Conway's Game of Life using the olcPixelGameEngine
Language:C++00
Thomas-Malcolm/correct-coding-talk
Language:Python00
Thomas-Malcolm/discord-bot
Discord bot for the
Language:Python00
Thomas-Malcolm/Enigma-Machine-Emulator
Simple Python recreation of an Enigma machine based on the German Navy's 1934 M3 model
Language:Python00
Thomas-Malcolm/lookatme
An interactive, terminal-based markdown presenter
Language:Python00
Thomas-Malcolm/random-tools
Tools that I use occasionally
Language:Shell00
Thomas-Malcolm/math6103-project
Language:TeX
Thomas-Malcolm/resources
Resources I've found useful at times
Thomas-Malcolm/scala
Scala 2 compiler and standard library. For bugs, see scala/bug
Thomas-Malcolm/simpsons-quotes
Language:Python
Thomas-Malcolm/slides
Terminal based presentation tool
Language:Go
Thomas-Malcolm/thesis-code
Language:Julia
Thomas-Malcolm/thesis-document
Language:TeX
Thomas-Malcolm/thesis-presentation
Language:TeX
Thomas-Malcolm/uqcyber-website
UQ Cyber squad development website
Language:HTML
Thomas-Malcolm/uqcyber-website-1
UQ Cyber squad development website