279 Open source projects that are alternatives of or similar to Agda

Modeling and simulations using computational graphs

Embed any image into a prime number.

Category theory in the context of (functional) programming

Mesh optimization, mesh smoothing.

Apuntes de las asignaturas de matemáticas en la UGR

Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo

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

A quick introduction to all most important concepts of Probability Theory, only freshman level of mathematics needed as prerequisite.

CoCalc: Collaborative Calculation in the Cloud

📜 Collection of the most awesome Math learning resources in the form of notes, videos and cheatsheets.

Teaching Materials for Dr. Waleed A. Yousef

A high volume fraction sphere packing library

About math, programming and procedural generation

Сайт Алексея Савватеева

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

🌈 Plot complex functions

The purpose of this project is to share knowledge on how awesome Streamlit is and can be

Euclidean plane and its relatives; a minimalist introduction.

Award winning software library for nonlinear dynamics

https://machinelearning.wtf/ - An online glossary of machine learning terms.

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.

끄래프 - 2학년 2학기 응용프로그래밍화면구현 수행평가

Fixed point math C# library

A stochastic method to generate an approximation to the Sierpinski triangle

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

Free hands-on course with the implementation (in Python) and description of several computational, mathematical and statistical algorithms.

The Hoa\Math library.

Геометрия по Киселёву

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

lib12 is a library of universal helpers and extensions useful in any .NET project

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

A general math framework to make using math easy. Currently supports function solving and optimisation, matrix and vector algebra, complex numbers, big int, big frac, big rational, graphs and general handy extensions and functions.

GeoGebra apps (mirror)

Pure Math in Pure Swift.

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

A .NET library that provides fast, accurate and automatic differentiation (computes derivative / gradient) of mathematical functions.

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

Something like Sage, but for the WebAssembly and JavaScript world.

Throw in the towel.

Machine Learning Open Source University

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

Linear algebra for embedded system with MATLAB style

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

Mathematical expression calculator with big integers, floats, common fractions, and complex numbers support

Cross-platform math library with SIMD support

Translation of, and commentary on, Joyal's classic paper "Une théorie combinatoire des séries formelles" (A combinatorial theory of formal series)

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

MathLingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written, read, and understood by both people and computers.

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

Send PRs to contribute and see the Codemasters solving some really mind boggling questions.

C++ Mathematical Expression Parsing And Evaluation Library

Visualize curve shortening flow in your browser.

A mathematical expression parser and evaluation library.

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

Examples for the usage of LaTeX

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

Attempting to make the Deep Learning Book easier to understand.

Share resources, assets and information for the math sessions 🚀

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

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