Pinned Repositories
101repo
Implementations belonging to the 101companies project
2024-honours
All the work for the 2024 honours crew
ardupilot
ArduPlane, ArduCopter, ArduRover, ArduSub source
benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
comp125_s2_2018
comp125 teaching material for s2, 2018
cross_compile_6ULL
cross_compile_verdin
d3-data
mq-magic
stem_club
altmattr's Repositories
altmattr/stem_club
altmattr/101repo
Implementations belonging to the 101companies project
altmattr/mq-magic
altmattr/2024-honours
All the work for the 2024 honours crew
altmattr/ardupilot
ArduPlane, ArduCopter, ArduRover, ArduSub source
altmattr/benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
altmattr/comp125_s2_2018
comp125 teaching material for s2, 2018
altmattr/cross_compile_6ULL
altmattr/cross_compile_verdin
altmattr/d3-data
altmattr/feron_viz
a visualisation of what is happening in Feron's paper
altmattr/gauss-legendre
altmattr/high_school_ml
a workshop on machine learning for high-school students
altmattr/FStar
A Proof-oriented Programming Language
altmattr/IATD-Python-Data-2024-July
altmattr/kuifje-compiler
An imperative language for quantitative information flow.
altmattr/mini_console
altmattr/ocaml-patterns
altmattr/pattern_matching
a survey of pattern matching
altmattr/pi_camera_detect
code for machine learning on pi workshop
altmattr/pine
Pine tool. Detailed description of the technique can be found in the paper "Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis" A.Izycheva, E.Darulova, H.Seidl, SAS'20
altmattr/programming_via_python
altmattr/RFCs
Request for Comment (RFC) proposals for substantial changes to the Whiley language.
altmattr/software_foundations
altmattr/SoftwareTechnologyMQ.github.io
Teaching resources for units in Software Technology steam at Macquarie University
altmattr/sv-comp
Information to reproduce results from SV-COMP
altmattr/undergrad_new
altmattr/undergraduate
altmattr/USV-Simulation-For-the-Masses
The software to accompany the paper.
altmattr/vrx-events
Repository containing team submissions for VRX events.