OStatic

BRL-CAD is a powerful cross-platform constructive solid geometry solid modeling system that includes an interactive geometry editor, ray-tracing for r...

OpenVRML is a cross-platform VRML and X3D browser and C++ runtime library.

ASCEND is a modelling environment for solving engineering, chemistry, physics and biology problems. It offers an object-oriented modelling language, G...

K8055 is a Mac OS X based control panel for the Velleman K8055 USB I/O card. It's a Cocoa / Obj-C application which can be used to control the K8...

Collection of OpenOffice spreadsheets that solve queueing theory models. These spreadsheets can be used a companion software to the textbook Fundame...

PDSTRIP is a hydrodynamic strip code for seakeeping. It computes ship motions for monohulls including sailing boats.

Registration Description: This project is to show people that you can make a compiler using BASIC. Sence this project is for educational perposes only...

Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. NO tool is providing a global fra...