Giters
William Blair (wdblair)

wdblair

Geek Repo

19

followers

11

following

41

stars

Company:Oracle Labs

Location:USA

Home Page:https://wdblair.io

Twitter:@wdblair

Github PK Tool:Github PK Tool

Organizations
ats-lang
oracle
sysflow-telemetry

William Blair's repositories

overture

Overture is an implementation of the Prelude programming language that aims to use ATS as a compiler and verification back end.

Language:OCamlStargazers:9Issues:3Issues:0

packitup

A packer that uses LLVM's support for just-in-time compilation to store encrypted LLVM bitcode into ELF files.

Language:CStargazers:5Issues:0Issues:0

ATS-Postiats

Another implementation of ATS

Language:ATSLicense:GPL-3.0Stargazers:3Issues:4Issues:0

ats-pilot

A controller prototype for Unmanned Aerial Vehicles (UAV) in ATS.

Language:ATSStargazers:2Issues:0Issues:0

ATS-Postiats-contrib

ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats

Language:ATSLicense:MITStargazers:1Issues:3Issues:3

avr-libats

A library for writing firmware for AVR devices in ATS. Currently only supports Arduino (Atmega328p)

Language:CStargazers:1Issues:0Issues:0

illtyped.github.io

A website dedicated to communicating the value of programming with types.

Language:HTMLStargazers:1Issues:0Issues:0

autonomous-fleet

The code of William Blair's and William Chapman's CS640 Project

Language:MatlabStargazers:0Issues:0Issues:0

cantranslator

CAN Translator Firmware

Language:C++License:BSD-3-ClauseStargazers:0Issues:2Issues:0

composite-smt

Language:CStargazers:0Issues:0Issues:0

cs320-elevator

An assignment for CS320

Stargazers:0Issues:0Issues:0

ctf

A collection of CTF challenges and solutions.

Language:PythonStargazers:0Issues:0Issues:0

killoauth2

A playground for experimenting with ways to hack oauth2 services.

Language:HTMLStargazers:0Issues:0Issues:0

wdblair.github.io

Academic Website

Language:JavaScriptStargazers:0Issues:0Issues:0