Popular repositories Loading

1. overture overture Public

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

   OCaml 9

2. packitup packitup Public

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

   C 5 2

3. ATS-Postiats ATS-Postiats Public

   Forked from githwxi/ATS-Postiats

   Another implementation of ATS

   ATS 3

4. ats-pilot ats-pilot Public

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

   ATS 3 4

5. avr-libats avr-libats Public

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

   C 1 1

6. ATS-Postiats-contrib ATS-Postiats-contrib Public

   Forked from githwxi/ATS-Postiats-contrib

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

   ATS 1