This is a staging site. Uploads will not persist. Testing only.

openipmi

Intelligent Platform Management Interface (for servers)

IPMI allows remote monitoring and remote management of devices.

imagevis3d

desktop volume rendering application for large data

ImageVis3D is a volume rendering application specifically designed to render large data. This is achieved by splitting the dataset into multiple levels of detail (LoD), with each level itself decomposed into multiple bricks (atomic rendering primitive). Interaction occurs at the coarsest LoD, which can be rendered instantaneously on almost all modern systems. After a configurable delay, ImageVis3D will successively render finer levels of detail, until the data are visible at their native resolution.

4ti2

mathematical tool suite for problems on linear spaces -- tools

4ti2 is a mathematical software package for algebraic, geometric and combinatorial problems on linear spaces.

kscope

source browsing and editing environment

KScope is a graphical front-end to Cscope. It provides a source browsing and editing environment for large C projects. KScope is focused on source editing and analysis.

ubuntu-system-service

Dbus service to set various system-wide configurations

verilator

fast free Verilog simulator

Verilator is the fastest free Verilog HDL simulator, and beats many commercial simulators. It compiles synthesizable Verilog (not test-bench code!), plus some PSL, SystemVerilog and Synthesis assertions into C++ or SystemC code. It is designed for large projects where fast simulation performance is of primary concern, and is especially well suited to generate executable models of CPUs for embedded software design teams.