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

Coq formalizations of functional languages.

Verifying concurrent crash-safe systems

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

Multi-class confusion matrix library in Python

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

This repository contains all the assignments and practice questions solved during the Data Structures and Algorithms course in C++ taught by the Geeks For Geeks team.

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

Formal specification and verification of hardware, especially for security and privacy.

A field-theory motivated approach to computer algebra.

Agda formalisation of the Introduction to Homotopy Type Theory

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

Examples for the usage of LaTeX

formalization of the Dependent Object Types (DOT) calculus

Porn browser formally-verified in Coq

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

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

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

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

Formal proof of the Four Color Theorem

About math, programming and procedural generation

C-style arbitrary precision calculator

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

The mathematical study of type theories, in univalent foundations

Implementation of Nuprl's type theory in Coq

Interactive Coq Proofs in Vim

Bidirectional programming in Haskell with monadic profunctors

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

Homotopy type theory

3D transformations for Python

Verified vector clocks, with Coq!

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

Apuntes de las asignaturas de matemáticas en la UGR

Verified hash-based AMQ structures in Coq

The DSP Cookbook

Bacomathiques est un petit site web qui contient tout ce dont vous avez besoin pour réviser vos maths en toute tranquillité de la Première à la Terminale ! Que vous cherchiez à passer votre BAC ou que vous souhaitiez simplement réviser votre cours : tout est possible et tout est gratuit.

A computational algebra system in Smalltalk.

Coq executable semantics and resource verifier

Orthogonal polynomials in all shapes and sizes.

Vorlesung Analysis für Informatiker WS16/17 an der TUM

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

Coq code accompanying several articles on semantics of functional programming languages

Math world in WebVR, powered by A-frame.

Some awesome AI related books and pdfs for learning and downloading, also apply some playground models for learning

A Python Library for Conway's Game of Life

CoqPIE (an IDE for the Coq theorem prover + PEDANTIC)

Library for the analysis of networks

A mathematical expression parser and evaluation library.

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

Modeling and simulations using computational graphs

A Verified Compiler for Gallina, Written in Gallina

Automation for de Bruijn syntax and substitution in Coq

Import OCaml programs to Coq 🐓 🐫

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

A Coq-based synthesis of Scala programs which are correct-by-construction

Accurate sums and dot products for Python.

Mathematics library focused on geometry for Multiplatform Kotlin 1.3

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