428 Open source projects that are alternatives of or similar to Math Classes

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

An introductory course to Homotopy Type Theory

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

A Symbolic Package for Octave using SymPy

Initiative to read research papers

Study E-Book(ComputerVision DeepLearning MachineLearning Math NLP Python ReinforcementLearning)

Python package containing all custom layers used in Neural Networks (Compatible with PyTorch, TensorFlow and MegEngine)

Coq Support for Visual Studio Code

The Language for Smart Legal Contracts

📓 A growing collection of Jupyter Notebooks written in Python, OCaml and Julia for science examples, algorithms, visualizations etc

Mathematics and statistics library for TypeScript.

A collection of algorithms and data structures

Simple mesh generator inspired by distmesh.

☔️ Implementations of mathematical functions, formulas and concepts

This is source code of graphonline service. Graphonline helps visualize graph and applies a lot of algorithms.

Coq Protocol Playground with Se(xp)rialization of Internal Structures.

Mirror of the Sage source tree -- please do not submit PRs here -- everything must be submitted via https://trac.sagemath.org/

Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq

As described in Advances of Machine Learning by Marcos Prado.

Mindless, verified (erasably) coding using dependent types

Mostly Automated Synthesis of Correct-by-Construction Programs

Formalising Type Theory in a modular way for translations between type theories

Math JS library. Super advanced & efficient Math expression evaluator

Lightweight and modular math toolbox

Programming Exercises about Interesting Topics

A repository for All algorithms implemented in Javascript (for educational purposes only)

Coq formalizations of functional languages.

💥 Interactive and colorful 🎨 graph theory tutorials made using d3.js ⚡️

开源Go语言数值算法库(An open numerical library purely based on Go programming language)

A SuperCompiler for Martin-Löf's Type Theory

A field-theory motivated approach to computer algebra.

A list of resources in different fields of Computer Science (multiple languages)

formalization of the Dependent Object Types (DOT) calculus

Drawing graphs of point, linear function, power function, exponential function, logarithmic function, circular function, etc in a coordinate. （实现了在坐标系中画点，一次函数，幂函数，指数函数，对数函数，三角函数等）

A curated set of links to formal methods involving provable code.

Formal proof of the Four Color Theorem

C-style arbitrary precision calculator

The mathematical study of type theories, in univalent foundations

Interactive Coq Proofs in Vim

This mathematics course is taught for the first year Ph.D. students of computer science and related areas @ZJU

3D transformations for Python

Collection of various algorithms in mathematics, machine learning, computer science, physics, etc implemented in C for educational purposes.

Verified hash-based AMQ structures in Coq

A computational algebra system in Smalltalk.

Orthogonal polynomials in all shapes and sizes.

A library of Coq definitions, theorems, and tactics. [[email protected],@liyishuai]

Math world in WebVR, powered by A-frame.

A Python Library for Conway's Game of Life

Library for the analysis of networks

The official repository for ROOT: analyzing, storing and visualizing big data, scientifically

Import OCaml programs to Coq 🐓 🐫

A Verified Compiler for Gallina, Written in Gallina

SoftwareFoundations(Ja)

Mathematics library focused on geometry for Multiplatform Kotlin 1.3

Runnable code for solving Project Euler problems in Java, Python, Mathematica, Haskell.

A collection of classical algorithms and data-structures implementation in C++ for coding interview and competitive programming

A Library for Representing Recursive and Impure Programs in Coq