Skip to content
View Thomas-Malcolm's full-sized avatar

Organizations

@UQComputingSociety @UQ-PAC

Block or report Thomas-Malcolm

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. UQ-PAC/BASIL UQ-PAC/BASIL Public

    The Basil pipeline for concurrent information flow analysis in AArch64 binaries.

    Scala 14 2

  2. crytic/optik crytic/optik Public

    Optik is a set of symbolic execution tools that assist smart-contract fuzzers

    Python 99 12

  3. trailofbits/maat trailofbits/maat Public

    Open-source symbolic execution framework: https://maat.re

    C++ 643 44

  4. Enigma-Machine-Emulator Enigma-Machine-Emulator Public

    Simple Python recreation of an Enigma machine based on the German Navy's 1934 M3 model

    Python

  5. Conways-Game-of-Life-Recreation Conways-Game-of-Life-Recreation Public

    Recreation of Conway's Game of Life using the olcPixelGameEngine

    C++

  6. correct-coding-talk correct-coding-talk Public

    Python