wdblair/ATS-Postiats-contrib
ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats
Developer Profile
wdblair
Discovered public repositories for wdblair in the GitHub catalog.
wdblair/autonomous-fleet
The code of William Blair's and William Chapman's CS640 Project
wdblair/overture
Overture is a dependently typed synchronous programming language that supports multi-rate data-flows in real-time systems, inspired by Prelude. The broad goal of Overture is to provide a platform for developing verified embedded systems, inspired by ATS.
wdblair/ats-pilot
A controller prototype for Unmanned Aerial Vehicles (UAV) in ATS.
wdblair/composite-smt
Public repository.
wdblair/cs320-elevator
An assignment for CS320
wdblair/cantranslator
CAN Translator Firmware
wdblair/ATS-Postiats
Another implementation of ATS
wdblair/avr-libats
A library for writing firmware for AVR devices in ATS. Currently only supports Arduino (Atmega328p)