idrOS

An OS written in Idris (eventually...)

Stars
17
View Code on GitHub
Ecosystems: C

Issue Statistics

Past Year

All Time

Total Pull Requests
0
1
Merged Pull Requests
0
1
Total Issues
0
1
Time to Close Issues
N/A
N/A
Related Projects
dros

25 Mar 2015 1
Fotix

My very own UNIX clone, for education/self-amusement.

05 Dec 2013 9
void-os

A Simple OS (currenlty) developed in C, Assembly

12 Jul 2016 9
youbix

Yet another simple kernel

07 Apr 2018 12
SKernel

Simple x86 Operating System Kernel running in 32-bit protected mode that implements process manag...

02 Feb 2024 5
Osmanthus

A developing operating system

05 Feb 2018 36
embox

Modular and configurable OS for embedded applications

29 Mar 2015 1,113
os-tutorial

How to create an OS from scratch

29 Sep 2014 27,046
sectorc

A C Compiler that fits in the 512 byte boot sector of an x86 machine

24 May 2023 1,619
mini-rv32ima

A tiny C header-only risc-v emulator.

27 Oct 2022 1,459
jamesmolloy-kernel-development-tutorials

Source code from http://www.jamesmolloy.co.uk/tutorial_html/index.html with improved build system...

02 Oct 2015 34
qemu-virt-hello

23 Feb 2021 5
MorOS

01 Oct 2021 9
halfix

x86 PC emulator that runs both natively and in the browser, via WebAssembly

26 Oct 2019 668
laylaos

A hobby OS with a custom kernel and userspace, with many ported software including musl libc, SDL...

16 Jun 2024 6