Sign in

Repository Index

47,133 repositories indexed

Tags: Science and math
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

1–24 of 139 · 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...

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Official repository for the Boltz biomolecular interaction models

  • binding-prediction
  • drug-discovery
  • protein-structure

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