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

Gmsh for Python

Complex special functions and common mathematical operations in JavaScript

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

🔧 Python Random Graph Generator

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

Level Set Method Library

Examples for the usage of LaTeX

Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker

Fixed point math C# library

(Still exploring) My cryptography journey: A collection of notebooks covering different algorithms and concepts from cryptography

formalization of the Dependent Object Types (DOT) calculus

neg4n's mathematics utilities

The Hoa\Math library.

Learn mathematics behind machine learning and explore different mathematics in machine learning.

Porn browser formally-verified in Coq

A repository of mathematical knowledge written in the MathLingua language.

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

Convert Haskell source code to Coq source code.

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

Supporting evidence for security of the Jubjub curve to be used in Zcash

Cryptographic Primitive Code Generation by Fiat

機械学習・統計学・理論計算科学などに出てくる等式・不等式を集めていきます

Math, Advanced Data Structures & Algorithms - Please check before use

Interactive factorization diagrams

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

Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]

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

Notes and step-by-step exercises resolution to aid students learning the base math for machine learning. Content summed up from the the course from the Imperial London College in Coursera.

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.

This is the companion repo for Accounting Succinctly by Joe Booth. Published by Syncfusion.

📚 Математичный список полезных книг

Quick reference material for techies

🔢 Storage and general-purpose calculator

Markdown editor with bidirectional links and excellent math support, powered by ProseMirror. (In Development!)

Formal proof of the Four Color Theorem

This is my HackerEarth Handle

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

mml-book-chinese《Mathematics For Machine Learning》机器学习中的数学 中文版

About math, programming and procedural generation

The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]

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

Coq to OCaml FFI made easy [maintainer=@lthms]

C-style arbitrary precision calculator

Stable sort algorithms and their stability proofs in Coq

Tricks you wish the Coq manual told you

Python code and tests for the post 'Programming with Finite Fields'

【国赛】【美赛】数学建模相关算法 MATLAB实现（2018年初整理）

【数据科学家系列课程】

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

Escrita colaborativa de recursos educacionais abertos sobre álgebra linear.

The mathematical study of type theories, in univalent foundations

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

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

A formalization of geometry in Coq based on Tarski's axiom system

A set of notebooks for an introduction to Python for Mathematicians.

PeaCoq is a pretty Coq, isn't it?

RISC-V Specification in Coq

input/output for many mesh formats

Basic Analysis, undergraduate real analysis textbook