Skip to content

@arranstewart-dev arranstewart-dev

Change the repository type filter

All

    Repositories list

    45 repositories

    • dafny-gitpod

      Public
      dafny docker image for use with gitpod.io
      Python
      •0•1•0•0•Updated Nov 27, 2024Nov 27, 2024

    • fuzzingbook

      Public
      Project page for "The Fuzzing Book"
      Jupyter Notebook
      •
      Other
      •235•0•0•0•Updated Nov 10, 2024Nov 10, 2024

    • diagnose

      Public
      A simple library for reporting compiler/interpreter errors
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •19•0•0•0•Updated Oct 6, 2024Oct 6, 2024

    • andy

      Public
      Andy assesses student's test code. It's used in CSE1110, TU Delft.
      Java
      •
      MIT License
      •23•0•0•0•Updated Jul 22, 2024Jul 22, 2024

    • secure-sw-dev-fundamentals

      Public
      forked copy of Secure Software Development Fundamentals courses (from the OpenSSF Best Practices WG)
      CSS
      •
      Creative Commons Attribution 4.0 International
      •48•0•0•0•Updated Feb 20, 2024Feb 20, 2024

    • computer-systems-projects

      Public
      Fork of "computer systems" content incl. labs
      C
      •1•0•0•0•Updated Jan 18, 2024Jan 18, 2024

    • jdk21u

      Public
      clone of OpenJDK v21. see https://openjdk.org/projects/jdk-updates
      Java
      •
      GNU General Public License v2.0
      •140•0•0•0•Updated Jan 3, 2024Jan 3, 2024

    • COMSM0049

      Public
      fork of Uni of Bristol Systems and Software Security repo
      23•0•0•0•Updated Dec 14, 2023Dec 14, 2023

    • seed-labs

      Public
      cybersecurity labs. forked from https://github.com/seed-labs/seed-labs
      Python
      •
      Other
      •478•0•0•0•Updated Dec 10, 2023Dec 10, 2023

    • transmission-og

      Public
      Transmission 3.00 fork. demonstration of using Wine to build windows installers
      C
      •
      Other
      •1.2k•0•0•0•Updated Aug 17, 2023Aug 17, 2023

    • kernelpwn

      Public
      kernel-pwn and writeup collection
      C
      •
      MIT License
      •31•0•0•0•Updated Aug 9, 2023Aug 9, 2023

    • cits3006

      Public
      UWA CIT3006 penetrationg testing course material, © Jin Hong
      Python
      •
      MIT License
      •5•0•0•0•Updated Aug 1, 2023Aug 1, 2023

    • llsoftsecbook

      Public
      Low-Level Software Security for Compiler Developers
      TeX
      •
      Other
      •52•0•0•0•Updated Jul 4, 2023Jul 4, 2023

    • effective-software-testing-code

      Public
      The code examples of the "Effective Software Testing: A Developer's Guide" book
      Java
      •39•0•0•0•Updated Feb 22, 2023Feb 22, 2023

    • Privilege-Escalation

      Public
      clone of CTF cheatsheet repo. This cheasheet is aimed at the CTF Players and Beginners to help them understand the fundamentals of Privilege Escalation with examples.
      624•0•0•0•Updated Feb 11, 2023Feb 11, 2023

    • Attack-Lab

      Public
      Walk-through of Attack Lab also known as Buffer Bomb in Systems
      135•0•0•0•Updated Jan 6, 2023Jan 6, 2023

    • Software-security-course

      Public
      forked copy of fuzzing project for software security course @ Radboud University.
      3•0•0•0•Updated Nov 29, 2022Nov 29, 2022

    • ihp-example

      Public
      example project created using IHP template
      0•0•0•0•Updated Nov 22, 2022Nov 22, 2022

    • cs492-program-reasoning

      Public
      clone of cs492-program-reasoning
      22•0•0•0•Updated Nov 22, 2022Nov 22, 2022

    • cs524-program-analysis

      Public
      clone of cs524-program-analysis
      12•0•0•0•Updated Nov 21, 2022Nov 21, 2022

    • cs348-information-security

      Public
      clone of cs348-information-security
      10•0•0•0•Updated Nov 1, 2022Nov 1, 2022

    • treeedb

      Public
      clone of langston-barrett/treeedb: Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
      Rust
      •
      MIT License
      •8•0•0•0•Updated Oct 29, 2022Oct 29, 2022

    • Streams

      Public
      Lazy evaluation in C++ - forked from http://jscheiny.github.io/Streams/
      C++
      •
      MIT License
      •56•0•0•0•Updated Aug 28, 2022Aug 28, 2022

    • tmp

      Public
      0•0•0•0•Updated Aug 2, 2022Aug 2, 2022

    • alloy-analyser-gitpod

      Public
      Alloy analyser running in gitpod.io
      formal-methodsmodeling-languagealloy-analyzer
      Python
      •0•0•0•0•Updated May 14, 2022May 14, 2022

    • cits5501-project-2022-gitpod

      Public
      gitpod environment for CITS5501 project in 2022
      Makefile
      •0•0•0•0•Updated May 11, 2022May 11, 2022

    • dafny

      Public
      Dafny is a verification-aware programming language
      C#
      •
      Other
      •267•0•0•0•Updated May 7, 2022May 7, 2022

    • is593-2022-spring

      Public
      clone of is593-2022-spring
      Shell
      •9•0•0•0•Updated May 6, 2022May 6, 2022

    • qmux

      Public
      clone of progrium/qmux: wire protocol for multiplexing connections or streams into a single connection, based on a subset of the SSH Connection Protocol
      Go
      •
      MIT License
      •48•0•0•0•Updated Mar 20, 2022Mar 20, 2022

    • pandoc-types

      Public
      types for representing structured documents
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •67•0•0•0•Updated Mar 11, 2022Mar 11, 2022