Search: %s
Search Results
sci-mathematics/gappa
Tool for verifying floating-point or fixed-point arithmetic
sci-mathematics/gappalib-coq
Allows the certificates Gappa generates to be imported by the Coq
sci-mathematics/ginac
C++ library and tools for symbolic calculations
sci-mathematics/gsl-shell
Lua interactive shell for sci-libs/gsl
sci-mathematics/highs
Modern solver for linear, quadratic, and mixed-integer programs
sci-mathematics/kind2
Multi-engine SMT-based automatic model checker
sci-mathematics/lean
The Lean Theorem Prover
sci-mathematics/libpoly
C library for manipulating polynomials
sci-mathematics/manifold
Geometry library for topological robustness
sci-mathematics/maxima
Free computer algebra environment based on Macsyma
sci-mathematics/minisat
Small yet efficient SAT solver with reference paper
sci-mathematics/opensmt
Compact and open-source SMT-solver written in C++
sci-mathematics/petsc
Portable, Extensible Toolkit for Scientific Computation
sci-mathematics/plfit
Fit power-law distributions to empirical data
sci-mathematics/polymake
Tool for polyhedral geometry and combinatorics
sci-mathematics/primecount
Highly optimized CLI and library to count primes
sci-mathematics/primesieve
CLI and library for quickly generating prime numbers
sci-mathematics/psmt2-frontend
Library to parse and type-check an extension of the SMT-LIB 2 standard
sci-mathematics/pspp
Program for statistical analysis of sampled data
sci-mathematics/rkward
IDE for the R-project
sci-mathematics/slepc
Scalable Library for Eigenvalue Problem Computations
sci-mathematics/stp
Simple Theorem Prover, an efficient SMT solver for bitvectors
sci-mathematics/vampire
The Vampire Prover, theorem prover for first-order logic
sci-mathematics/verifpal
Cryptographic protocol analysis for real-world protocols
sci-mathematics/wxmaxima
Graphical frontend to Maxima, using the wxWidgets toolkit
sci-mathematics/yacas
General purpose computer algebra system
sci-mathematics/z3
An efficient theorem prover
sci-misc/ViSP-images
ViSP images data set
sci-misc/cdfplayer
Wolfram Player for the interactive Computable Document Format (CDF)
sci-misc/netlogo-bin
Programming language and IDE for agent-based modelling
sci-misc/boinc
The Berkeley Open Infrastructure for Network Computing
sci-misc/fitscut
Extract cutouts from FITS image files
sci-misc/fitsverify
FITS file format checker
sci-misc/h5utils
Utilities for visualization and conversion of HDF5 files
sci-misc/jupyterlab-desktop-bin
JupyterLab desktop application, based on Electron
sci-misc/nco
Command line utilities for operating on netCDF files
sci-misc/ncview
X-based viewer for netCDF files
sci-misc/oww
A one-wire weather station for Dallas Semiconductor
sci-misc/vitables
A graphical tool for browsing / editing files in both PyTables and HDF5 formats
sci-physics/geant-data
Data files for Geant4 physical processes
sci-physics/siscone
Hadron Seedless Infrared-Safe Cone jet algorithm
sci-physics/fastjet-contrib
3rd party extensions of FastJet
sci-physics/heppdt
Data about each particle from the Review of Particle Properties
sci-physics/herwig
High Energy Physics Event Generator
sci-physics/looptools
Tools for evaluation of scalar and tensor one-loop integrals
sci-physics/thepeg
Toolkit for High Energy Physics Event Generation
sci-physics/xfoil
Design and analysis of subsonic isolated airfoils
sci-physics/bullet
Continuous Collision Detection and Physics Library
sci-physics/clhep
High Energy Physics C++ library
sci-physics/espresso
Extensible Simulation Package for Research on Soft matter