Search:
Search Results
sci-electronics/geda
GPL Electronic Design Automation (gEDA):gaf core package
sci-electronics/ngspice
The Next Generation Spice (Electronic Circuit Simulator)
sci-electronics/systemc
A C++ based modeling platform for VLSI and system-level co-design
sci-electronics/ktechlab
IDE for microcontrollers and electronics
sci-electronics/librepcb
Free EDA software to develop printed circuit boards
sci-electronics/magic
The VLSI design CAD tool
sci-geosciences/gpsd
GPS daemon and library for USB/serial GPS devices and GPS/mapping clients
sci-geosciences/routino
Routing application based on openstreetmap data
sci-geosciences/s2geometry
Computational geometry and spatial indexing on the sphere
sci-libs/libh2o
Library of routines for IF97 water & steam properties
sci-libs/libh2oxx
C++ bindings for libh2o
sci-libs/m4rie
Fast dense matrix arithmetic over GF(2^e) for 2 <
sci-libs/getdata
Reference implementation of the Dirfile, format for time-ordered binary data
sci-libs/hdf5
General purpose library and file format for storing scientific data
sci-libs/hypre
Parallel matrix preconditioners library
sci-libs/libticables2
Library to handle different link cables for TI calculators
sci-libs/m4ri
Method of four russian for inversion (M4RI)
sci-libs/mc
2D/3D AFEM code for nonlinear geometric PDE
sci-libs/punc
Portable Understructure for Numerical Computing
sci-libs/cartopy
Python package for geospatial data processing and analysis
sci-libs/cgnslib
CFD General Notation System standard library
sci-libs/composable-kernel
High Performance Composable Kernel for AMD GPUs
sci-libs/dealii
Solving partial differential equations with the finite element method
sci-libs/dlib
Numerical and networking C++ library
sci-libs/gdal
Translator library for raster geospatial data formats (includes OGR support)
sci-libs/liborigin
Library for reading OriginLab OPJ project files
sci-libs/libsc
Support for parallel scientific applications
sci-libs/linux-gpib
Driver library for GPIB (IEEE 488.2) hardware
sci-libs/linux-gpib-modules
Kernel modules for GPIB (IEEE 488.2) hardware
sci-libs/miopen
AMD's Machine Intelligence Library
sci-libs/opencascade
Development platform for CAD/CAE, 3D surface/solid modeling and data exchange
sci-libs/p4est
Scalable Algorithms for Parallel Adaptive Mesh Refinement on Forests of Octrees
sci-libs/pdal
C++ library for translating and manipulating point cloud data
sci-libs/spglib
Spglib is a C library for finding and handling crystal symmetries
sci-libs/symengine
Fast symbolic manipulation library, written in C++
sci-libs/vtk
The Visualization Toolkit
sci-mathematics/gap
System for computational discrete algebra. Core functionality
sci-mathematics/geomview
Interactive Geometry Viewer
sci-mathematics/coq
Proof assistant written in O'Caml
sci-mathematics/cryptominisat
Advanced SAT solver with C++ and command-line interfaces
sci-mathematics/lean
The Lean Theorem Prover
sci-mathematics/manifold
Geometry library for topological robustness
sci-mathematics/opensmt
Compact and open-source SMT-solver written in C++
sci-mathematics/petsc
Portable, Extensible Toolkit for Scientific Computation
sci-mathematics/rkward
IDE for the R-project
sci-mathematics/stp
Simple Theorem Prover, an efficient SMT solver for bitvectors
sci-physics/geant
Toolkit for simulation of passage of particles through matter
sci-physics/lhapdf
Les Houches Parton Density Function unified library
sci-physics/root
C++ data analysis framework and interpreter from CERN
sci-visualization/kst
Fast real-time large-dataset viewing and plotting tool