Idros

An OS written in Idris (eventually...)
Alternatives To Idros
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Snakeware1,704
a year ago27mitPython
A free Linux distro with a Python-based userspace
Hiddenvm1,579
3 months ago13gpl-3.0Shell
HiddenVM — Use any desktop OS without leaving a trace.
Ucore1,390
2 years ago5gpl-2.0C
清华大学操作系统课程实验 (OS Kernel Labs)
Osx Vm Templates1,041
3 years ago28mitShell
macOS templates for Packer and VeeWee.
Vagrant Box Osx981
3 years ago7mit
Issue tracker for macOS Sierra Vagrant box.
Alis805
3 months ago11gpl-3.0Shell
Arch Linux Install Script (or alis, also known as the Arch Linux executable installation guide and wiki) installs an unattended, automated and customized Arch Linux system.
Customarch607
3 years agogpl-3.0
Arch Linux Based Custom ISOs Made With "Archiso"
Robox580
2 months ago47Shell
The tools needed to robotically create/configure/provision a large number of operating systems, for a variety of hypervisors, using packer.
Linux465246 years ago18November 06, 20175JavaScript
run Linux on Yosemite easily from the CLI
Tofita232
3 months ago9lgpl-3.0C
:candy: All-new kernel @GreenteaOS
Alternatives To Idros
Select To Compare


Alternative Project Comparisons
Popular Operating System Projects
Popular Virtualbox Projects
Popular Operating Systems Categories

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
C
Operating System
Virtualbox
Qemu
Moment
Rts
Cross Compiler