428 Open source projects that are alternatives of or similar to Unimath

An introductory course to Homotopy Type Theory

A library of abstract interfaces for mathematical structures in Coq [[email protected]]

A general yet easy-to-use formalization of Big O, Big Theta, and more based on seminormed vector spaces.

Throw in the towel.

Reduce the burden of mathematics when playing OpenSCAD

A fast and modern CAS for a fast and modern language.

A framework for formally verifying distributed systems implementations in Coq

Coq is a formal proof management system. 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.

Javascript Pure Implementation of Statistical R "core" numerical libRmath.so

C++ Mathematical Expression Parsing And Evaluation Library

Source code of Mathigon's interactive textbooks

Fast EMD for Python: a wrapper for Pele and Werman's C++ implementation of the Earth Mover's Distance metric

Category theory in the context of (functional) programming

Mathematical Components

Cosette is an automated SQL solver.

A growing collection of interactive tutorials, demos, and quizzes about maths, algorithms, and programming.

Teaching Materials for Dr. Waleed A. Yousef

人工智能学习路线图，整理近200个实战案例与项目，免费提供配套教材，零基础入门，就业实战！包括：Python，数学，机器学习，数据分析，深度学习，计算机视觉，自然语言处理，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等热门领域

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

A Coq IDE build on top of Proof General's Coq mode

Award winning software library for nonlinear dynamics

😎 Curated list of awesome software for numerical analysis and scientific computing

Seamless copy-and-paste of images with Poisson Blending.

A port of Coq to Javascript -- Run Coq in your Browser

My implementation of 85+ popular data structures and algorithms and interview questions in Python 3 and C++

A gently curated list of companies using verification formal methods in industry

📝 A compilation of everything that I learn; Computer Science, Software Development, Engineering, Math, and Coding in General. Read the rendered results here ->

Formal Reasoning About Programs

Cryptographic Primitive Code Generation by Fiat

Create beautiful diagrams just by typing mathematical notation in plain text.

The official SuiteSparse library: a suite of sparse matrix algorithms authored or co-authored by Tim Davis, Texas A&M University

A curated list of awesome mathematics resources

Fully hackable text editor developed for exact sciences with built-in KaTeX and AsciiMath support. Extensible via plugins and themes. Exportable as HTML, PDF and GFM.

A repository of different Algorithms and Data Structures implemented in many programming languages.

🔢 Storage and general-purpose calculator

Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra

A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS

A research tool for the Iterated Prisoner's Dilemma

NLP 101: a resource repository for Deep Learning and Natural Language Processing

Create basic addition, subtraction, multiplication and division practice questions with the answer sheet

Tricks you wish the Coq manual told you

GeoGebra apps (mirror)

The motive behind Creating this repo is to feel the fear of mathematics and do what ever you want to do in Machine Learning , Deep Learning and other fields of AI

Gmsh for Python

Complete path for a beginner to become a Machine Learning Scientist!

A JavaScript framework for interactive (mathematical) content.

A math-aware search engine.

General statistics, mathematical programming, and numerical/scientific computing scripts and notebooks in Python

Source Code of GNU TeXmacs, Developers Guide ==>

A thin layer of graphic data types

An axiom-free formalization of category theory in Coq for personal study and practical work

Convert Haskell source code to Coq source code

Fixed point math C# library

zzllrr mather(an offline tool for Math learning, education and research)小乐数学，离线可用的数学学习（自学或教学）、研究辅助工具。计划覆盖数学全部学科的解题、作图、演示、探索工具箱。目前是演示Demo版（抛转引玉），但已经支持数学公式编辑显示，部分作图功能，部分学科，如线性代数、离散数学的部分解题功能。最终目标是推动专业数学家、编程专家、教育工作者、科普工作者共同打造出更加专业级的Mather数学工具

Numerical integration (quadrature, cubature) in Python

Embed any image into a prime number.

The Hoa\Math library.

a lightweight C++17 library of numerical optimization methods for nonlinear functions (Including L-BFGS-B for TensorFlow)

JSXGraph is a cross-browser library for interactive geometry, function plotting, charting, and data visualization in a web browser.

《软件基础》中译版 Software Foundations Chinese Translation