Discover @wdblair Open Source projects

William Blair (@wdblair)

wdblair

Stars
22
Global Rank 603,566 (Top 21 %)
Followers 19
Following 11
Registered over 13 years ago
Most used languages

C
40.0 %

ATS 20.0 %

HTML
20.0 %

OCaml
20.0 %
Location 🇺🇸 United States
Country Total Rank 109,783
Country Ranking

ATS 9

OCaml
295

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.

ats-pilot

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

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.