Sign in

Repository Index

47,133 repositories indexed

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

25–48 of 286 · 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...

TranslatedAI learning roadmap, compiling nearly 200 hands-on cases and projects, with free accompanying teaching materials, for beginners with zero background, focused on job-ready practice! Covers: Python, mathematics, machine learning, data analysis, deep learning, computer vision, natural language processing, PyTorch tensorflow machine-learning,deep-learning data-analysis data-mining mathematics data-science artificial-intelligence python tensorflow tensorflow2 caffe keras pytorch algorithm numpy pandas matplotlib seaborn nlp cv and other popular fields

TranslatedGraduate student mathematical modeling, undergraduate mathematical modeling, outstanding papers from mathematical modeling competitions, mathematical modeling algorithms, LaTeX paper templates, algorithm mind maps, reference books, Matlab software tutorials, PPT

ossu /math

9.3K841

🧮 Path to a free self-taught education in Mathematics!

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

  • blas
  • lapack
  • lapacke

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 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.

:angel: The ultimate angle brackets parser library parsing HTML5, MathML, SVG and CSS to construct a DOM based on the official W3C specifications.

An intuitive spreadsheet-like interface that lets users of all technical skill levels view, edit, query, and collaborate on Postgres data directly. 100% open source and self hosted, with native Postgres access control.

  • python
  • django
  • javascript
  • typescript