Pinned Repositories
ats-pilot
A controller prototype for Unmanned Aerial Vehicles (UAV) in ATS.
ATS-Postiats
Another implementation of ATS
ATS-Postiats-contrib
ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats
avr-libats
A library for writing firmware for AVR devices in ATS. Currently only supports Arduino (Atmega328p)
illtyped.github.io
A website dedicated to communicating the value of programming with types.
overture
Overture is an implementation of the Prelude programming language that aims to use ATS as a compiler and verification back end.
packitup
A packer that uses LLVM's support for just-in-time compilation to store encrypted LLVM bitcode into ELF files.
wdblair's Repositories
wdblair/overture
Overture is an implementation of the Prelude programming language that aims to use ATS as a compiler and verification back end.
wdblair/packitup
A packer that uses LLVM's support for just-in-time compilation to store encrypted LLVM bitcode into ELF files.
wdblair/ats-pilot
A controller prototype for Unmanned Aerial Vehicles (UAV) in ATS.
wdblair/ATS-Postiats
Another implementation of ATS
wdblair/ATS-Postiats-contrib
ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats
wdblair/avr-libats
A library for writing firmware for AVR devices in ATS. Currently only supports Arduino (Atmega328p)
wdblair/illtyped.github.io
A website dedicated to communicating the value of programming with types.
wdblair/composite-smt
wdblair/autonomous-fleet
The code of William Blair's and William Chapman's CS640 Project
wdblair/cantranslator
CAN Translator Firmware
wdblair/cs320-elevator
An assignment for CS320
wdblair/ctf
A collection of CTF challenges and solutions.
wdblair/killoauth2
A playground for experimenting with ways to hack oauth2 services.
wdblair/sysflow
SysFlow documentation and issues tracker
wdblair/wdblair.github.io
Academic Website