Sign in

Repository Index

47,133 repositories indexed

Filters

Filters

Clear all filters

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

OpenBLAS is an optimized BLAS library based on GotoBLAS2 1.13 BSD version.

  • blas
  • lapack
  • lapacke

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.

CasADi is a symbolic framework for numeric optimization implementing automatic differentiation in forward and reverse modes on sparse matrix-valued computational graphs. It supports self-contained C-code generation and interfaces state-of-the-art codes such as SUNDIALS, IPOPT etc. It can be used from C++, Python, Matlab/Octave, Julia or Javascript

Lightweight, general, scalable C++ library for finite element methods

tiny recursive descent expression parser, compiler, and evaluation engine for math expressions

  • c
  • calculator
  • expression-evaluator
  • math

Links to resources talking about how to learn & understand mathematics, and mathematical language, terminology and notation.