Explore Projects
Discover 117 open source projects
Showing 21-40 of 117 projects
hijkzzz/Awesome-LLM-Strawberry
A curated collection of LLM papers, blogs, and projects, focused on OpenAI o1 and reasoning techniques.
cantaro86/Financial-Models-Numerical-Methods
A collection of notebooks covering quantitative finance and numerical methods in Python.
dair-ai/Mathematics-for-ML
A comprehensive collection of resources to learn the essential mathematics for machine learning.
stdlib-js/stdlib
A fundamental numerical library for JavaScript and TypeScript developers.
rocq-prover/rocq
An interactive theorem prover for writing and verifying mathematical definitions and algorithms.
personqianduixue/Math_Model
This GitHub repository contains resources and templates for mathematical modeling competitions and contests.
dpilger26/NumCpp
A C++ implementation of the Python NumPy library for scientific computing and numerical analysis.
Chakazul/Lenia
Lenia is a Python library for creating and simulating mathematical life forms using cellular automata.
EliteQuant/EliteQuant
A quantitative finance framework for algorithmic trading, portfolio management, and asset pricing.
pim-book/programmers-introduction-to-mathematics
A book that provides a programmer's introduction to mathematics, covering topics like probability, calculus, and linear algebra.
varkor/quiver
A modern, web-based commutative diagram editor for category theory and mathematical typesetting.
apache/incubator-kie-optaplanner
A Java-based AI constraint solver for optimizing vehicle routing, employee rostering, and other planning problems.
stevenpetryk/mafs
React components for creating interactive visualizations of mathematical concepts
deepseek-ai/DeepSeek-Math
DeepSeekMath is a Python library that pushes the limits of mathematical reasoning in open language models.
sharkdp/insect
A high-precision scientific calculator with support for physical units, built with PureScript.
GargantuaX/gemini-watermark-remover
A JavaScript tool for removing Gemini AI watermarks from images without AI-based inpainting.
zhaipro/easy12306
A Python library that uses machine learning to automatically recognize 12306 (Chinese railway) captchas.
the-akira/Computer-Science-Resources
A comprehensive collection of resources spanning key areas of computer science, including AI, security, and more.
xtensor-stack/xsimd
A C++ library providing wrappers for SIMD intrinsics and optimized mathematical functions.
michaelgutmann/ml-pen-and-paper-exercises
Pen and paper exercises in machine learning for vibe coders
Stay in the loop
Get weekly updates on trending AI coding tools and projects.