Search Results for "void linux based"

BRL-CAD is a powerful cross-platform constructive solid geometry solid modeling system that includes an interactive geometry editor, ray-tracing for rendering & geometric analyses, network distributed framebuffer support, image & signal-processing tools.

This project offers open source implementations for UNESCO/IFIP's Algol 68 (the Revised Report language). The project offers two implementations: Implementation 1 is Algol68G: a recent checkout hybrid compiler/interpreter by Marcel van der Veer, supporting arbitrary arithmetic, partial parametrisation, complex numbers, POSIX threads, GNU plotutils, GNU scientific library, curses, sound, TCP sockets, RegEx and PostgreSQL. Inplementation 2 is algol68toc, a port by Sian Mountbatten...

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.

Parallel Events and Asynchronous tasKing Library. Originally combining multi-threading with an efficient I/O event model, it's now more a lightweight object-oriented framework for event-based applications.

Your own portable PC system built by integrating existing Open Source components. This mobile metasystem utilizes the internet's web hosting resources and is accessed via any web browser enabled appliance from your home, work, school, library, cafes, etc.

WOOP(c) is an Open-Source Software Architecture.

Yamit - Scalable, Portable and High Performance POSIX complaint OS. Microkernel based Operating System designed for tightly or loosely coupled multiprocessor hardware.