Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by docandrew

A curated list of projects in awesome lists by docandrew .

https://github.com/docandrew/CuBit

General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64

ada os spark x86-64

Last synced: 30 Jul 2024

https://github.com/docandrew/YOTROC

Assembler/Emulator for Fictional YOTROC Architecture

ada gtkada

Last synced: 30 Jul 2024