public marks

PUBLIC MARKS with tags software & research

2006

The Celestia Motherlode: Home

by tinyirishdancer & 6 others
The Celestia Motherlode is a repository for various addons like textures, models or celestial objects for Celestia. Celestia is a free, interactive (real-time), 3D astronomy program.

Celestia: Home

by tinyirishdancer & 16 others
The free space simulation that lets you explore our universe in three dimensions. Celestia runs on Windows, Linux, and Mac OS X.

The TLA Tools Project

by GeorgesMariano
The goal of this project is to develop methods and tools that will permit engineers to apply formal specification and verification to high-level designs of concurrent algorithms and systems. We believe this can significantly improve the design process

2005

1970