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

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

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

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

A curated list of awesome mathematics resources

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

input/output for many mesh formats

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

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

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.

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

A virtual reality tool for mathematical modeling!

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

An experiment in R to color overimposed sudokus

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

The DSP Cookbook

Gmsh for Python

CasADi is a symbolic framework for numeric optimization implementing automatic differentiation in forward and reverse modes on sparse matrix-valued computational graphs. It supports self-contained C-code generation and interfaces state-of-the-art codes such as SUNDIALS, IPOPT etc. It can be used from C++, Python or Matlab/Octave.

Source Code of GNU TeXmacs, Developers Guide ==>

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

Reduce the burden of mathematics when playing OpenSCAD

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

🔢 Storage and general-purpose calculator

Python implementation of some numerical (optimization) methods

人工智能学习路线图，整理近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等热门领域

A research tool for the Iterated Prisoner's Dilemma

Numerical integration (quadrature, cubature) in Python

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

Modeling and simulations using computational graphs

Category theory in the context of (functional) programming

Apuntes de las asignaturas de matemáticas en la UGR

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

CoCalc: Collaborative Calculation in the Cloud

Teaching Materials for Dr. Waleed A. Yousef

About math, programming and procedural generation

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

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

Award winning software library for nonlinear dynamics

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.

Fixed point math C# library

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

The Hoa\Math library.

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

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

GeoGebra apps (mirror)

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

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

Throw in the towel.

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

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

Cross-platform math library with SIMD support

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

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

C++ Mathematical Expression Parsing And Evaluation Library

A mathematical expression parser and evaluation library.

A JavaScript framework for interactive (mathematical) content.

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