GitHub repository: stepcut/idrOS
Primary language: C
Created: 2015-03-03T02:14:32Z
Description: An OS written in Idris (eventually...)