Ciência

Provador interativo de teoremas ou assistente de provas

codex

Provador interativo de teoremas ou assistente de provas com interface GTK

codex

IDE de ciência de dados para Python

codex

Framework de análise de dados C++ e interpretador do CERN

codex

Framework de análise de dados C++ do CERN com recursos GPU CUDA ativados

codex

Quantifica expressão gênica e isoformas em RNA-Seq

codex

Pacote aberto para posicionamento GNSS

codex

Pacote git para posicionamento GNSS

codex

Receptor rtl-sdr para medidores inteligentes Itron

codex

Renderiza tabelas rtl_power em mapa de calor

codex

Espectro de potência para dongles RTLSDR

codex

Frontend Java GUI para REDUCE

codex

Mineração de shapelets estatisticamente significativas

codex

Converte séries sísmicas SAC para miniSEED

codex

GIS para processamento e análise de geodados

codex

Calibração radiointerferométrica acelerada por GPU

codex

Lista de números primos presentes na tabela de Cunningham

codex

Banco de dados de curvas elípticas para SageMath

codex

Banco de dados de grafos para Sage

codex

Zeros da função zeta de Riemann para SageMath

codex

Banco de dados de politopos reflexivos

codex

Software matemático livre, alternativa a Magma, Maple, Mathematica e Matlab

codex

Suporte para usar Giac dentro do SageMath

codex

Sistema matemático SageMath em versão git

codex

Permite embutir código, resultados e gráficos do SageMath em documentos LaTeX

codex

Framework para bootstrap numérico

codex

Ferramentas para manipular dados de sequenciamento de nova geração

codex

Calculadora CLI com variáveis e gráficos SDL2

codex

Assistente de modelagem para programação por restrições

codex

Derivadas numéricas de blocos conformes escalares

codex