BROWSE · APPS
Science
2,331 packages in Science
Interactive theorem prover, or proof assistant
codex
Interactive theorem prover, or proof assistant (GTK-based GUI)
codex
A data science IDE for Python
codex
C++ data analysis framework and interpreter from CERN
codex
C++ data analysis framework and interpreter from CERN with GPU (CUDA) features enabled
codex
accurate quantification of gene and isoform expression from RNA-Seq data
codex
An Open Source Program Package for GNSS Positioning
codex
An Open Source Program Package for GNSS Positioning
codex
An rtl-sdr receiver for Itron ERT compatible smart meters operating in the 900MHz ISM ba…
codex
Render tables from rtl_power to a nice heat map
codex
Power spectrum for RTLSDR dongles
codex
A Java GUI frontend for REDUCE
codex
S3M: Statistically Significant Shapelet Mining
codex
Convert SAC seismic time series to miniSEED.
codex
A Geographic Information System (GIS) software with immense capabilities for geodata pro…
codex
SAGECal is a very fast, memory efficient and GPU accelerated radio interferometric calib…
codex
List of the prime numbers occuring in the Cunningham table
codex
Database of elliptic curves for SageMath
codex
A database of graphs for Sage
codex
Table of zeros of the Riemann zeta function for SageMath
codex
Reflexive polytopes database
codex
Open Source Mathematics Software, free alternative to Magma, Maple, Mathematica, and Mat…
codex
Support for using Giac within SageMath
codex
Open Source Mathematics Software, free alternative to Magma, Maple, Mathematica, and Mat…
codex
Allows to embed code, results of computations, and plots from SageMath into LaTeX docume…
codex
Highly customizable framework for performing numerical bootstrap computations
codex
tools for manipulating next-generation sequencing data
codex
A CLI based calculator that supports variables and uses SDL2 to do graphs.
codex
A modelling assistant for CP
codex
Algorithm for computing numerical derivatives of scalar conformal blocks
codex