373 projects for "math" with 1 filter applied:

  • Earn up to 16% annual interest with Nexo. Icon
    Earn up to 16% annual interest with Nexo.

    More flexibility. More control.

    Generate interest, access liquidity without selling, and execute trades seamlessly. All in one platform. Geographic restrictions, eligibility, and terms apply.
    Get started with Nexo.
  • Our Free Plans just got better! | Auth0 Icon
    Our Free Plans just got better! | Auth0

    With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

    You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
    Try free now
  • 1
    LeetCode Book

    LeetCode Book

    Comprehensive study guide for coding interviews

    LeetCode-Book is a comprehensive study guide for coding interviews that consolidates algorithm patterns, data-structure templates, and worked LeetCode solutions. It organizes problems by topic—arrays, linked lists, stacks/queues, trees/graphs, dynamic programming, greedy, backtracking, and math—so you can study systematically. Explanations are concise but intentional, highlighting why a pattern fits, how to reason about boundary cases, and the time/space trade-offs. Many entries include template code and “swap-in” variations, helping you recognize how the same technique adapts across similar problems. The book also emphasizes problem-solving habits like deriving invariants, choosing appropriate data structures, and verifying with small counterexamples. ...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 2
    Deep Learning Is Nothing

    Deep Learning Is Nothing

    Deep learning concepts in an approachable style

    Deep-Learning-Is-Nothing presents deep learning concepts in an approachable, from-scratch style that demystifies the stack behind modern models. It typically begins with linear algebra, calculus, and optimization refreshers before moving to perceptrons, multilayer networks, and gradient-based training. Implementations favor small, readable examples—often NumPy first—to show how forward and backward passes work without depending solely on high-level frameworks. Once the fundamentals are...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    LLM Datasets

    LLM Datasets

    Curated list of datasets and tools for post-training

    ...The repository aims to make datasets easy to inspect and transform, with scripts for downloading, deduping, cleaning, and converting to formats like JSONL that slot into training pipelines. It highlights instruction-tuning and conversation-style corpora while also pointing to code, math, or domain-specific sets for targeted capabilities. Quality is a recurring theme: examples and utilities help filter low-value samples, enforce length limits, and split train/validation consistently so results are comparable. Licensing and provenance are surfaced to encourage compliant usage and to guide dataset selection in commercial settings. ...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 4
    decimal.js

    decimal.js

    An arbitrary-precision Decimal type for JavaScript

    decimal.js is a JavaScript library that provides an arbitrary-precision decimal data type designed to overcome the limitations of native floating-point arithmetic in JavaScript. It allows developers to perform accurate calculations with numbers of virtually unlimited precision, making it especially useful for financial, scientific, and high-precision applications. Unlike standard JavaScript numbers, which can produce rounding errors due to binary representation, decimal.js ensures consistent...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Gemini 3 and 200+ AI Models on One Platform Icon
    Gemini 3 and 200+ AI Models on One Platform

    Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

    Build, govern, and optimize agents and models with Gemini Enterprise Agent Platform.
    Start Free
  • 5
    Brick\Money

    Brick\Money

    A money and currency library for PHP

    Brick\Money is a PHP library designed to provide precise and reliable handling of monetary values using arbitrary-precision arithmetic, ensuring accuracy in financial calculations of any scale. Built on top of the brick/math library, it avoids floating point errors by using exact decimal representations, making it suitable for applications where correctness is critical, such as accounting and financial services. The library supports ISO 4217 currency standards and includes comprehensive tools for working with currency units, conversions, and rounding strategies. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    Super comprehensive deep learning notes

    Super comprehensive deep learning notes

    Super Comprehensive Deep Learning Notes

    Super comprehensive deep learning notes is a massive and well-structured collection of deep learning notebooks that serve as a comprehensive study resource for anyone wanting to learn or reinforce concepts in computer vision, natural language processing, deep learning architectures, and even large-model agents. The repository contains hundreds of Jupyter notebooks that are richly annotated and organized by topic, progressing from basic Python and PyTorch fundamentals to advanced neural...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    ML for Beginners

    ML for Beginners

    12 weeks, 26 lessons, 52 quizzes, classic Machine Learning for all

    ML-For-Beginners is a structured, project-driven curriculum that teaches foundational machine learning concepts with approachable math and lots of code. Organized as a multi-week course, it mixes short lectures with labs in notebooks so learners practice regression, classification, clustering, and recommendation techniques on real datasets. Each lesson aims to connect the algorithm to a relatable scenario, reinforcing intuition before diving into parameters, metrics, and trade-offs. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    FFTW.jl

    FFTW.jl

    Julia bindings to the FFTW library for fast Fourier transforms

    This package provides Julia bindings to the FFTW library for fast Fourier transforms (FFTs), as well as functionality useful for signal processing. These functions were formerly a part of Base Julia. Users with a build of Julia based on Intel's Math Kernel Library (MKL) can use MKL for FFTs by setting a preference in their top-level project by either using the FFTW.set_provider!() method, or by directly setting the preference using Preferences.jl. Note that this choice will be recorded for the current project, and other projects that wish to use MKL for FFTs should also set that same preference. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    MiaoYan

    MiaoYan

    Lightweight Markdown app to help you write great sentences

    ...Beyond basic editing, MiaoYan supports presentation and PPT-style modes, letting you turn Markdown documents into slide-like views directly inside the app. It also adds power-user features like automatic document typesetting, internal links, LaTeX math, Mermaid and PlantUML diagrams, and Markmap mind-map rendering. Under the hood, it is implemented in Swift as a native macOS application, which keeps it snappy and lighter than Electron-based note apps.
    Downloads: 1 This Week
    Last Update:
    See Project
  • Try Google Cloud Risk-Free With $300 in Credit Icon
    Try Google Cloud Risk-Free With $300 in Credit

    No hidden charges. No surprise bills. Cancel anytime.

    Use your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
    Start Free
  • 10
    Open Gauss

    Open Gauss

    Project-scoped Lean workflow orchestrator from Math, Inc.

    Open Gauss is an enterprise-grade open-source relational database management system designed to handle large-scale data processing with high performance, reliability, and security. It is based on the PostgreSQL ecosystem but significantly extends its capabilities through architectural optimizations, AI-driven features, and enterprise-level enhancements. The database organizes data using the relational model, storing structured information in tables composed of rows and columns while...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    Skywork-R1V4

    Skywork-R1V4

    Skywork-R1V is an advanced multimodal AI model series

    ...Instead of retraining both language and vision models from scratch, the framework uses a lightweight visual projection layer that connects a pretrained vision backbone with a reasoning-capable language model. This design allows the model to analyze images while maintaining strong textual reasoning performance, enabling tasks such as solving visual math problems, interpreting scientific diagrams, and answering questions about images.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    LaTeX Examples

    LaTeX Examples

    Examples for the usage of LaTeX

    LaTeX-examples is a repository collecting a variety of example documents and snippets demonstrating LaTeX features, usage patterns, and common templates. It acts as a playground for learning LaTeX syntax, macros, formatting tricks, and document structuring practices. Files include sample articles, reports, book chapters, presentations (using Beamer), tables, mathematical typesetting examples (equations, aligned systems, integrals, matrices), custom macros, and styling. The project is useful...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    DeepSeek Prover V2

    DeepSeek Prover V2

    Advancing Formal Mathematical Reasoning via Reinforcement Learning

    DeepSeek-Prover-V2 is DeepSeek’s specialized model for formal theorem proving, particularly targeting proof in Lean 4. The repository describes how they use recursive proof decomposition by prompting DeepSeek-V3 to break complex theorems into subgoals, synthesize proof sketches, and then combine them to bootstrap training data. They then fine-tune via reinforcement learning with binary correct/incorrect feedback to integrate informal reasoning with formal proof behavior. The repo releases...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    The Grand Complete Data Science Guide

    The Grand Complete Data Science Guide

    Data Science Guide With Videos And Materials

    The Grand Complete Data Science Materials is a repository curated by a data-science educator that aggregates a wide range of learning resources — from basic programming and math foundation to advanced topics in machine learning, deep learning, natural language processing, computer vision, and deployment practices — into a structured, centralized collection aimed at learners seeking a comprehensive path to data science mastery. The repository bundles tutorials, lecture notes, project outlines, course materials, and references across topics like Python, statistics, ML algorithms, deep learning, NLP, data preprocessing, model evaluation, and real-world problem solving. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    Deep-Learning-Interview-Book

    Deep-Learning-Interview-Book

    Interview guide for machine learning, mathematics, and deep learning

    Deep-Learning-Interview-Book collects structured notes, Q&A, and concept summaries tailored to deep-learning interviews, turning scattered study into a coherent playbook. It spans the core math (linear algebra, probability, optimization) and the practitioner topics candidates actually face, like CNNs, RNNs/Transformers, attention, regularization, and training tricks. Explanations emphasize intuition first, then key formulas and common pitfalls, so you can reason through unseen questions rather than memorize trivia. Many entries connect theory to implementation details, including how choices in activation, initialization, or normalization affect convergence and stability. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    MiniMax-M1

    MiniMax-M1

    Open-weight, large-scale hybrid-attention reasoning model

    MiniMax-M1 is presented as the world’s first open-weight, large-scale hybrid-attention reasoning model, designed to push the frontier of long-context, tool-using, and deeply “thinking” language models. It is built on the MiniMax-Text-01 foundation and keeps the same massive parameter budget, but reworks the attention and training setup for better reasoning and test-time compute scaling. Architecturally, it combines Mixture-of-Experts layers with lightning attention, enabling the model to...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    JME (Java Math Expression)

    JME (Java Math Expression)

    Evaluador de expresiones matemáticas para Java en español

    Biblioteca para Java que implementa un potente evaluador matemático en español y un lenguaje estructurado de script, JMEScript, que hace uso de éste. Puede evaluar expresiones altamente complejas, que incluyen; * vectores * matrices * números complejos * números enteros y reales de precisión arbitraria, * expresiones booleanas * conjuntos * cadenas * diccionarios * grafos * correspondencias y relaciones finitas Permite especificar operaciones y funciones definidas por el...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 18
    mpg123
    This is the fast and Free (LGPL license) real time MPEG Audio Layer 1, 2 and 3 decoding library and console player. It uses floating point or integer math, along with several special optimizations (3DNow, SSE, ARM, ...) to make it most efficient.
    Leader badge
    Downloads: 6,424 This Week
    Last Update:
    See Project
  • 19

    PLplot

    Cross-platform, scientific graphics plotting library

    PLplot is a cross-platform, scientific graphics plotting library that supports math symbols and human languages (via UTF-8 user input strings); plot capabilities for multiple non-interactive plot file formats and in multiple interactive environments; and bindings for multiple computer languages.
    Leader badge
    Downloads: 89 This Week
    Last Update:
    See Project
  • 20
    NodeMCU

    NodeMCU

    Lua based interactive firmware for ESP8266, ESP8285 and ESP32

    NodeMCU is an open source Lua-based firmware for the ESP8266 WiFi SOC from Espressif and uses an on-module flash-based SPIFFS file system. NodeMCU is implemented in C and is layered on the Espressif NON-OS SDK. The firmware was initially developed as a companion project to the popular ESP8266-based NodeMCU development modules, but the project is now community-supported, and the firmware can now be run on any ESP module.
    Downloads: 39 This Week
    Last Update:
    See Project
  • 21
    xoscope is a digital oscilloscope using input from a sound card or EsounD and/or a ProbeScope/osziFOX and will soon support Bitscope hardware. Includes 8 signal displays, variable time scale, math, memory, measurements, and file save/load.
    Leader badge
    Downloads: 30 This Week
    Last Update:
    See Project
  • 22
    glslmath

    glslmath

    C++ header-only library that simulates GLSL math

    GLSLmath provides C++ math operations as defined by GLSL. For example, it provides methods to easily setup viewing transformations and perspective projections. GLSLmath has been inspired by the glm and slmath libraries, which aim to mimic GLSL, but in contrast to those GLSLmath does not focus on a complete conforming implementation of GLSL. It rather aims to provide a convenient single header file that implements the most commonly used subset of GLSL so that it is easy to use for rapid prototyping and GLSL teaching purposes. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    java symbolic computing library and math editor, with : polynomial system solving, vectors & matrices, factorization, derivatives, integrals (rational functions), boolean algebra, simplification, MathML output, java code generation, geometric algebra
    Downloads: 3 This Week
    Last Update:
    See Project
  • 24

    Quaternion toolbox for Matlab

    Quaternion and octonion toolbox for Matlab

    ...Many Matlab operators and functions are overloaded to work for real quaternion and complexified quaternion matrices. Version 2 of the toolbox adds support for octonions. Version 3 adds symbolic computation with quaternions, provided that you have the Symbolic Math Toolbox (if you don't the numeric functionality will still work).
    Leader badge
    Downloads: 3 This Week
    Last Update:
    See Project
  • 25

    commonlib-java

    common java utility library

    useful library for repetitive java stuff
    Downloads: 0 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB