Richard-Wai
Passionate champion of high integrity software, Ada, and distributed systems architecture. Founder and Managing Director at ANNEXI-STRAYLINE
@annexi-strayline Toronto, Canada
Pinned Repositories
ASAP
The ANNEXI-STRAYLINE AURA Public Repository
AURA
The AURA Reference Implementation
AURA-docs
The official documentation repo of the AURA project.
as-blog
ANNEXI-STRAYLINE Blog - A custom blog in React with static generation via Gatsby
awesome-ada
A curated list of awesome resources related to the Ada and SPARK programming language
freebsd-src
FreeBSD src tree (read-only mirror)
omnios-build
Build system for OmniOS
SunOS-4.1.3
Contents from SunOS 4.1.3 SUNSRC CD-ROM
UCI-Prototype
Ada User Community Input Working Group - Stage I and II prototype.
xeris-I
XERIS/APEX System I - A very experimental nanokernel distributed OS
Richard-Wai's Repositories
Richard-Wai/xeris-I
XERIS/APEX System I - A very experimental nanokernel distributed OS
Richard-Wai/as-blog
ANNEXI-STRAYLINE Blog - A custom blog in React with static generation via Gatsby
Richard-Wai/awesome-ada
A curated list of awesome resources related to the Ada and SPARK programming language
Richard-Wai/freebsd-src
FreeBSD src tree (read-only mirror)
Richard-Wai/omnios-build
Build system for OmniOS
Richard-Wai/SunOS-4.1.3
Contents from SunOS 4.1.3 SUNSRC CD-ROM
Richard-Wai/UCI-Prototype
Ada User Community Input Working Group - Stage I and II prototype.