arranstewart-dev's repositories
dafny-gitpod
dafny docker image for use with gitpod.io
ansible-on-alpine
Basic ansible installation on Alpine linux. Saves having multiple ~400MB virtualenvs around the place.
cits5501-project-2022-gitpod
gitpod environment for CITS5501 project in 2022
dafny
Dafny is a verification-aware programming language
elm-stlc
Bidirectional type checker for the simply typed lambda calculus
haskell-z3
Haskell bindings to Microsoft's Z3 API (unofficial).
llsoftsecbook
Low-Level Software Security for Compiler Developers
pandoc-types
types for representing structured documents
qmux
clone of progrium/qmux: wire protocol for multiplexing connections or streams into a single connection, based on a subset of the SSH Connection Protocol
seed-labs
cybersecurity labs. forked from https://github.com/seed-labs/seed-labs
treeedb
clone of langston-barrett/treeedb: Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
alloy-analyser-gitpod
Alloy analyser running in gitpod.io
buffer-overflow-scripts
fork of CoenGoedegebure / scripts
cits3006
UWA CIT3006 penetrationg testing course material, © Jin Hong
constructive-algebra
Github mirror of http://hackage.haskell.org/package/constructive-algebra source code
cs348-information-security
clone of cs348-information-security
cs492-program-reasoning
clone of cs492-program-reasoning
cs524-program-analysis
clone of cs524-program-analysis
ihp-example
example project created using IHP template
is511-2021-spring
clone of is511-2021-spring
is593-2020-spring
clone of is593-2020-spring
is593-2022-spring
clone of is593-2022-spring
is893-2020-fall
clone of is893-2020-fall
jdk21u
clone of OpenJDK v21. see https://openjdk.org/projects/jdk-updates
kernelpwn
kernel-pwn and writeup collection
Software-Security
Software Security notes based on Coursera course, forked from ramizebian/Software-Security
Streams
Lazy evaluation in C++ - forked from http://jscheiny.github.io/Streams/
transmission-og
Transmission 3.00 fork. demonstration of using Wine to build windows installers