An Elixir library for performing 2D and 3D mathematics.

Elixir77unlicense

5 months ago

elixirelixir-langgraphics

Links to resources talking about how to learn & understand mathematics, and math

989

11 months ago

linksmathematicsunderstanding

🧮 Path to a free self-taught education in Mathematics!

3336mit

6 months ago

Open source (GPL) application to help learning mathematics for early school chil

Kotlin5

4 days ago

Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintain

Coq24mit

6 months ago

bourbakicoqdocker-coq-action

A Flutter Package to render Mathematics, Physics and Chemistry Equations based o

JavaScript249other

4 months ago

equationsflutterkatex

The interdicplinary of Mathematics and Computer Science, Distinguisehed by its e

Python578cc0-1.0

3 months ago

awesomeawesome-listcomputer-science

A curated list of awesome mathematics resources

Python8101

29 days ago

awesomeawesome-listlecture-notes

Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for C

TeX92other

8 months ago

calculuscomputer-sciencecounting

This coq library aims to formalize a substantial body of mathematics using the u

Coq876other

5 months ago

coqcoq-libraryfoundations

OpenGL Mathematics (GLM)

C++8566other

last month

cppcpp-libraryglm

Collection of various algorithms in mathematics, machine learning, computer scie

C17813gpl-3.0

2 months ago

algorithm-challengesalgorithm-competitionsalgorithms

aka "Bayesian Methods for Hackers": An introduction to Bayesian methods + probab

Jupyter Notebook26218mit

5 months ago

bayesian-methodsdata-sciencejupyter-notebook

Mathematical operations for JAX pytrees

Python159apache-2.0

3 months ago

jaxtree-math

A golang generic graph library that provides mathematical graph-theory and algor

Go43apache-2.0

2 months ago

datastructuregenericgeneric-graph

Write Apps like Mathematical Equations!

PureScript204other

10 months ago

app-developmentfunctional-programmingnative

Micromega tactics for Mathematical Components

Coq21

6 months ago

coqmathcompproof-automation

A cross-platform Swift library for evaluating mathematical expressions at runtim

Swift808mit

4 months ago

A library of abstract interfaces for mathematical structures in Coq [maintainer=

Coq158mit

6 months ago

coqcoq-cicoq-library

Generate your personal 8-bit avatars using Cellular Automata, a mathematical mod

Vue296mit

6 months ago

avatar-generatorcellular-automatafastapi

A mathematical puzzle game

Dart60gpl-3.0

3 months ago

f-droidfdroidflutter

Software libraries for solving models described in Mathematical GeoEnergy (Wiley

Ada7

9 months ago

Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly

Coq11

9 months ago

coqmathcompmathcomp-ci

A collection of .NET libraries for rendering mathematical formulae using the LaT

C#587mit

4 months ago

dotnetformulahacktoberfest

Waterproof is an educational environment for writing mathematical proofs in inte

JavaScript27lgpl-2.1

7 months ago

coqserapi

Powerful modern math library for PHP: Features descriptive statistics and regres

PHP2277mit

6 months ago

algebracombinatoricsdistributions

Ring, field, lra, nra, and psatz tactics for Mathematical Components

Coq28

6 months ago

coqelpimathcomp

Mathematical Components compliant Analysis Library

Coq167other

5 months ago

analysiscoqmathcomp

Optimus is a mathematical programming library for Scala.

Scala142lgpl-3.0

last month

algebrainteger-programminglinear-programming

Theano was a Python library that allows you to define, optimize, and evaluate ma

Python9846other

3 months ago

Library for writing patterns to generate or process (a)musical sequences of math

Common Lisp73mit

last month

audiocommon-lispeffects

Description One-Tap Sensor Logger in Your Pocket with Watch, Streaming, Bluet

Rust5923gpl-3.0

2 months ago

fpvgoprogpu

Mathpaqs: a collection of mathematical packages in pure Ada

Ada10

6 months ago

adaada-languageada-library

Coq is a formal proof management system. It provides a formal language to write

OCaml4576lgpl-2.1

last month

coqdependent-typesproof-assistant

:chart_with_upwards_trend: Adaptive: parallel active learning of mathematical fu

Python1084bsd-3-clause

5 months ago

active-learningadaptiveadaptive-learning

📐✏️ Slides from my talk on Mathematics of Animation @ .concat() 2018

CSS34

6 years ago

A collection of swift playground about mathematics.

Swift3

7 years ago

A library of Actionscript 3 classes for 3D Mathematics.

ActionScript44other

7 years ago

🤖 MatLab/Octave examples of popular machine learning algorithms with code examp

MATLAB817mit

4 years ago

clusteringlinear-regressionmachine-learning

A .NET library that provides fast, accurate and automatic differentiation (compu

C#82mit

last year

autodiffautomatic-differentiationgradient

Mathematically generate unique and intricate rose graphs (rhodonea curves).

Java8gpl-3.0

7 years ago

Swift Custom Operators for Mathematical Notation

Swift1150mit

3 years ago

mathnotationoperator

Parses and evaluates mathematical expressions in Elixir. Inspired by math.js

Elixir82mit

2 years ago

dslelixirmath

An open-source mathematical tire modelling library

Python43mit

4 years ago

Mission: To provide a high-quality open content data structures textbook that is

TeX1179other

2 years ago

data-structurestextbook

An Elixir library for parsing and evaluating mathematical expressions

Elixir12mit

6 years ago

A collection of useful mathematical functions in Elixir with a slant towards sta

Elixir183mit

3 years ago

linear-algebramachine-learningmath

Cephes Mathematical Functions library wrapped for Torch

C46other

8 years ago

a cheat-sheet for mathematical notation in code form

14878mit

2 years ago

.NET library for rendering mathematical formulae using the LaTeX typsetting styl

C#454mit

2 years ago

dotnetformulalatex

Cephes Mathematical Functions library wrapped for Torch

C47other

8 years ago

a cheat-sheet for mathematical notation in code form

14803mit

2 years ago

Formalization of Tarjan 72 algorithm in Coq with mathematical components and ssr

Coq9

last year

coqmathcompssreflect

An ESLint plugin regarding any and all spacing between statements.

TypeScript4gpl-3.0

3 years ago

eslinteslint-pluginpadding

Coqtail is a library of mathematical theorems and tools proved inside the Coq pr

Coq13other

last year

complex-analysiscoqreal-analysis

Amplifier allows .NET developers to easily run complex applications with intensi

C#164mit

last year

compilercuda-kernelsgpgpu