RSS 115 projects tagged "BSD Revised"

Download Website Updated 10 Jul 2013 BRL-CAD

Screenshot
Pop 487.94
Vit 24.57

BRL-CAD is a powerful constructive solid geometry solid modeling system that includes an interactive geometry editor, ray-tracing support for rendering and geometric analysis, path-tracing for realistic image synthesis, network distributed framebuffer support, and image and signal-processing tools.

Download Website Updated 23 Nov 2013 gpsd

Screenshot
Pop 304.53
Vit 10.24

gpsd is a daemon that listens to a GPS or Loran receiver and translates the positional data into a simplified format that can be more easily used by other programs, like chart plotters. The package comes with a sample client that plots the location of the currently visible GPS satellites (if available) and a speedometer. It can also use DGPS/ip.

No download Website Updated 21 Mar 2006 Isabelle

Screenshot
Pop 69.61
Vit 3.17

Isabelle is a popular generic theorem prover developed at Cambridge University and TU Munich. Existing logics like Isabelle/HOL provide a theorem proving environment ready to use for sizable applications. Isabelle may also serve as framework for rapid prototyping of deductive systems. It comes with a large library including Isabelle/HOL (classical higher-order logic), Isabelle/HOLCF (Scott's Logic for Computable Functions with HOL), Isabelle/FOL (classical and intuitionistic first-order logic), and Isabelle/ZF (Zermelo-Fraenkel set theory on top of FOL).

Download Website Updated 14 Feb 2007 LAM/MPI

Screenshot
Pop 174.73
Vit 7.17

LAM/MPI is an implementation of the Message Passing Interface (MPI) parallel standard that is especially friendly to clusters. It includes a persistent runtime environment for parallel programs, support for all of MPI-1, and a good chunk of MPI-2, such as all of the dynamic functions, one-way communication, C++ bindings, and MPI-IO.

Download Website Updated 01 Oct 2009 MersenneTwister

Screenshot
Pop 38.43
Vit 5.22

MersenneTwister is a C++ class for generating 32-bit random numbers as integers or floating-point. Seeds can be obtained automatically from /dev/urandom or system time, and the generator state may be saved and restored. It includes an example program and performance tests.

Download Website Updated 30 Aug 2011 sfront

Screenshot
Pop 81.29
Vit 15.62

Sfront compiles MPEG 4 Structured Audio (MP4-SA) programs into efficient C programs that generate audio when executed. MP4-SA is a standard for normative algorithmic sound, which combines an audio signal processing language (SAOL) with score languages (MIDI and SASL). Under Mac OS X and Linux, sfront supports real-time, low-latency audio input/output and MIDI input. Under Mac OS X, sfront supports the creation of AudioUnit plug-ins. The documentation includes a book about SAOL programming.

Download Website Updated 28 Jul 2012 Visualization Toolkit

Screenshot
Pop 180.75
Vit 9.26

The Visualization ToolKit (VTK) is an object oriented software system for 3D computer graphics, image processing, and visualization. VTK includes a textbook, a C++ class library, and several interpreted interface layers including Tcl/Tk, Java, and Python. VTK supports a wide variety of visualization algorithms including scalar, vector, tensor, texture, and volumetric methods. It also supports advanced modeling techniques like implicit modeling, polygon reduction, mesh smoothing, cutting, contouring, and Delaunay triangulation. Moreover, dozens of imaging algorithms have been integrated into the system. This allows mixing 2D imaging / 3D graphics algorithms and data.

Download Website Updated 05 Jun 2007 QuantLib

Screenshot
Pop 157.33
Vit 8.86

QuantLib is a cross-platform, quantitative finance C++ library for modeling, pricing, trading, and risk management in real-life. It is also wrapped as Python/Ruby/Scheme modules. Extensions for Excel, R, and Mathematica are available. Other such extensions are under consideration. QuantLib offers tools that are useful both for practical implementation and for advanced modeling. It features market conventions, yield curve models, solvers, PDEs, Monte Carlo (low-discrepancy included), exotic options, VAR, and so on.

No download Website Updated 04 Aug 2011 Warewulf

Screenshot
Pop 239.62
Vit 5.27

Warewulf is an operating system management toolkit designed to facilitate large scale deployments of homogeneous and heterogeneous systems on physical, virtual and cloud based infrastructures. Originally, the Warewulf project pioneered the concept of stateless computing in HPC, setting the standard for large-scale cluster provisioning. It provided two functions, provisioning and monitoring but the two functions did not communicate within Warewulf itself, nor was it possible to hook other functions directly into Warewulf itself. Today, Warewulf is more than just a basic provisioning and monitoring solution as it now implements an abstract, object-oriented data store and a modular interface that facilitates a highly extensible, customizable feature set. Current and planned modules include monitoring (operating system, services, filesystems, etc.), provisioning, power management, user management, configuration management, event/trigger handling and notification, scheduler integration, cloud services (both local and remote), etc.

No download Website Updated 10 Jun 2005 Experience-Based Language Acquisition

Screenshot
Pop 46.04
Vit 2.26

Experience-Based Language Acquisition (EBLA) is an open computational framework for visual perception and grounded language acquisition. It can "watch" a series of short videos and acquire a simple language of nouns and verbs corresponding to the objects and object-object relations in those videos. Upon acquiring this protolanguage, it can perform basic scene analysis to generate descriptions of novel videos. While there have been several systems capable of learning object or event labels for videos, this is the first known system to acquire both nouns and verbs using a grounded computer vision system.

Screenshot

Project Spotlight

(R)?ex

A tool to ease the execution of commands on multiple remote servers.

Screenshot

Project Spotlight

GNU Parallel

Software to build and execute shell command lines from standard input in parallel.