Showing page 1 of 1.

• 
  BRL-CAD

  Open Source Solid Modeling CAD

  1,881 weekly downloads
• 
  ngspice

  Ngspice project aims to improve the spice3f5 circuit simulator.

  711 weekly downloads
• 
  The VXL Project

  A multi-platform collection of C++ software libraries for Computer Vision and Image Understanding.

  115 weekly downloads
• 
  FTimes

  FTimes is a system baselining and evidence collection tool. The primary purpose of ftimes is to gather and/or develop topographical information and attributes about specified directories and files in a manner conducive to intrusion and forensic analysis.

  23 weekly downloads
• 
  OpenAxiom: Scientific Computation System

  A system for computer algebra and symbolic mathematics

  28 weekly downloads
• 
  Cogitant

  The Cogitant library is a set of C++ classes enabling to easily build applications based on the Conceptual Graph model.

  9 weekly downloads
• 
  MMI Software Tools Public Domain Version

  IC CAD tools, documentation, scripts, and libraries for designing high-performance ICs, including SUE for schematics, MAX for layouts, DPC for datapaths and MCC for megacells. Prebuilt binaries for Linux, Sparc-Solaris, and HP-PA.

  6 weekly downloads
• 
  FLENS

  FLENS (Flexible Library for Efficient Numerical Solutions) is a C++ library for scientific computing. It can be considered as a very convenient and --- at the same time --- extremely efficient interface for BLAS and LAPACK. But it is much more than this

  5 weekly downloads
• 
  Archive of Formal Proofs

  A collection of machine-checkend mathematical proofs

  2 weekly downloads
• 
  Tcl NAP

  Tcl n-dimensional array processor

  2 weekly downloads
• 
  Multicore SWARM

  Multicore SWARM (Software and Algorithms for Running on Multicore Processors) is an open source library for developing efficient and portable implementations that make use of multi-core processors. David A. Bader (Georgia Tech) began SWARM in 1994.

  1 weekly downloads
• 
  RooFit toolkit for data modelling

  The RooFit package provides a toolkit for modeling the expected numerical distributions of the results of a scientific experiment. Models created with RooFit can be used for fitting, visualization, and Monte Carlo studies.

  1 weekly downloads
• 
  Cadence-Perforce Interface

  Advanced Software Configuration Management (SCM) for Cadence DFII. Delivers full Perforce capability to Cadence DFII using Best Practices for SCM. Please see http://public.perforce.com/public/perforce/cdsp4/index.html

  0 weekly downloads
• 
  Clearcut

  Clearcut is an open source implementation of the Relaxed Neighbor Joining (RNJ) algorithm, an efficient distance-based phylogenetic reconstruction method.

  0 weekly downloads
• 
  XDAQ

  XDAQ is a software platform designed specifically for the development of distributed data acquisition systems. The development is carried out at CERN, the European Organization for Nuclear Research. Please visit http://xdaq.web.cern.ch

  0 weekly downloads
• 
  Agar

  A fast, unobtrusive and modern cross-platform GUI toolkit. Agar fully exploits hardware acceleration where available, but also supports simple frame-buffer interfaces. Agar is stand-alone and easily portable to new platforms and graphics systems.

  1 weekly downloads