wdblair/illtyped.github.io

Stars
1
Language
HTML
Created almost 4 years ago
Updated almost 4 years ago

wdblair/illtyped.github.io

wdblair

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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.

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)