xdrr

mattermost

Mattermost is an open source platform for secure collaboration across the entire software development lifecycle..

docker-gitlab

Dockerized GitLab

ESP32Marauder

A suite of WiFi/Bluetooth offensive and defensive tools for the ESP32

CodeceptJS

Supercharged End 2 End Testing Framework for NodeJS

CompCert

The CompCert formally-verified C compiler

dashing-rails

The exceptionally handsome dashboard framework for Rails.

cakeml

CakeML: A Verified Implementation of ML

ChameleonUltra

The new generation chameleon based on NRF52840 makes the performance of card emulation more stable. And gave the chameleon the ability to read, write, and decrypt cards.

polyml

Poly/ML

SmartThingsEdgeDrivers

smartthings-cli

Command-line Interface for the SmartThings APIs.

dcc

dcc - a C compiler which explains errors to novice programmers

circles

The open-source degree planner for UNSW students. Features an interactive drag-and-drop interface for easy term planning and automatic progression checking to help you stay on track for graduation.

promela-mode

Major mode for editing PROMELA program files

sDDF

seL4 Device Driver Framework

cakeml

CakeML: A Verified Implementation of ML