wdblair/overture wdblair/overture

  • Stars
    star
    9
  • Rank 1,939,727 (Top 39 %)
  • Language
    OCaml
  • Created over 10 years ago
  • Updated almost 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
wdblair/overture
github

wdblair

Reviews

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

Repository Details

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

More Repositories

1

packitup

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

ats-pilot

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

avr-libats

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

illtyped.github.io

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