GitHub is home to over 50 million developers working together. Join them to grow your own development teams, manage permissions, and collaborate on projects.
Source code of http://metasepi.org/.
NetBSD arafura - season 1
Translate IDIOMATIC C into human-readable ATS
Build tool for ATS.
Microemacs snatched by ATS language (under construction)
Cloud-native IoT operating system for microcontrollers.
generate ATS interface from C code
NetBSD bohai - season 2
TibiOS - Strongly typed ChibiOS
Bohai Filesystem for Linux kernel
Linux kernel source tree
NetBSD bohai - season 1
Linux Bohai - Season 1
Wiki data for Metasepi Wiki
Wiki like repo
Snatch ChibiOS/RT using Haskell and Ajhc compiler.