Sign in

Repository Index

65,764 visible repositories in the index

Tags: Science and math
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

1–24 of 45 · Most stars

Suite of tools for deploying and training deep learning models using the JVM. Highlights include model import for keras, tensorflow, and onnx/pytorch, a modular and tiny c++ library for running math code and a java based math library on top of the core c++ library. Also includes samediff: a pytorch/tensorflow like library for running deep learn...

TranslatedA knowledge graph for mathematics (primary school to high school), English (grade 3 to high school), and junior high school physics: 1,644 knowledge points, 2,403 prerequisite edges, and 6,723 questions, aligned with the curriculum standards, with an adaptive prerequisite diagnostic.

  • chinese
  • curriculum
  • diagnostic
  • edtech

The open-source AI research workbench for scientific research and agent workflows. Local-first, model-agnostic desktop app with extensible skills, MCP tools and connectors, Python/R execution and traceable artifacts for reproducible research on macOS, Windows and Linux.

  • ai-for-science
  • local-first
  • reproducible-research
  • open-science

Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check.

  • ai-native
  • description-logics
  • knowledge-graph
  • mcp

Kratos Multiphysics (A.K.A Kratos) is a framework for building parallel multi-disciplinary simulation software. Modularity, extensibility and HPC are the main objectives. Kratos has BSD license and is written in C++ with extensive Python interface.

Wallet UI simulation tool for BTC, ETH, SOL, XRP, and 200+ assets. Customize displayed balances in a controlled demo environment with persistent visual settings and screenshot-ready previews. Designed for testing, demonstrations, and UI prototyping without altering actual blockchain balances or transactions.

  • bitcoin-transaction-tool
  • browser-crypto-wallet
  • crypto-broadcast-api
  • electrum-payment

A Practical and Efficient NCBI Taxonomy Toolkit, also supports creating NCBI-style taxdump files for custom taxonomies like GTDB/ICTV

Advanced date, time and interval library for Java with sun/moon-astronomy and calendars like Chinese, Coptic, Ethiopian, French Republican, Hebrew, Hijri, Historic Christian, Indian National, Japanese, Julian, Korean, Minguo, Persian, Thai, Vietnamese

The fastest automatic differentiation library for C++, with Python bindings. Forward, adjoint and higher-order derivatives, checkpointing, Eigen support and JIT. Reproducible benchmarks against CppAD, Adept and autodiff.

  • automatic-differentiation
  • aad
  • algorithmic-differentiation
  • autodiff

Iterative Linear Quadratic Regulator with auto-differentiatiable dynamics models

  • trajectory-optimization
  • differential-dynamic-programming
  • theano
  • dynamics-models

pyMOR - Model Order Reduction with Python

  • python
  • model-reduction
  • model-order-reduction
  • control-systems