- Linux (8)
- Grouping and Descriptive Categories (6)
- Modern (6)
- Windows (6)
- Mac (5)
- Android (3)
- BSD (3)
- Other Operating Systems (3)
- Emulation and API Compatibility (1)
Open Source Solid Modeling CAD1,657 weekly downloads
Enable CUDA on AMD/ATI graphic cards5 weekly downloads
KoalaMud is a new mud source base designed around multithreading and stability. On top of this platform, Shadow of the Wheel is evolving to demonstrate its capabilities.3 weekly downloads
Metasystem is an operating system which tries to implement the best from already known operating systems2 weekly downloads
The Trion Object Oriented Operating system is an OS that is designed to meet the needs for the 21st century, with a kernel written in C++ and modelled in UML, and lots of features. The project is run by a team of OSDev.org community members.1 weekly downloads
<b><i>Powertools 4 Wisehackers</i> - A set of tools that will make the life of all hackers easier.</b>1 weekly downloads
CheckFence is a SAT-based formal verification tool that analyzes C code implementing concurrent data types on multiprocessors (concurrent queues, sets etc.) with respect to a selected memory model.
Relacy is a framework for agent-oriented programming in C++. Agents are autonomous objects, they interact fully asynchronously with messages. Relacy provides means for defining user agents and messages, as well as runtime system.
The `Olelo Hawai`i Linux Project consists of several related subprojects that center around making Linux more accessable and useful for Hawaiian language speakers.