Language Breakdown
Lines of code distribution across 11 owned repositories
T-Shaped Developer
T-shapedDeep in C with broad versatility
Collaboration Network
Global Impact visualization
Repos
23
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Ryan King
@ryantking
Dominic Clifton
@hydra
Galen
@galenscovell
Steinway Wu
@steinwaywhw
Jonathan K
@hijonathan
Top Repositories
Overture is an implementation of the Prelude programming language that aims to use ATS as a compiler and verification back end.
A packer that uses LLVM's support for just-in-time compilation to store encrypted LLVM bitcode into ELF files.
A controller prototype for Unmanned Aerial Vehicles (UAV) in ATS.
Another implementation of ATS
A website dedicated to communicating the value of programming with types.
ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats
A library for writing firmware for AVR devices in ATS. Currently only supports Arduino (Atmega328p)
SysFlow documentation and issues tracker
A collection of CTF challenges and solutions.
Academic Website
Open Source Impact
Contributions to external projects
No external contributions found.