71 Open source projects that are alternatives of or similar to metaocaml-frex

No description or website provided.

Quantum computing in your browser.

Parse and calculate latex formatted math

P(R*_{3, 0, 1}) specialized SIMD Geometric Algebra Library

Open book about math and computer science.

Fast [co]product types with a clean syntax. For Cats & Scalaz.

Specification for common algebraic structures in JavaScript based on Fantasy Land

Este repositorio esta basado principalmente en la carrera de machine learning y data science de platzi pero también habrán recursos de otras plataformas e instituciones educativas.

PyLops – A Linear-Operator Library for Python

➗ A really micro micro-service for advanced math.

zzllrr mather(an offline tool for Math learning, education and research)小乐数学，离线可用的数学学习（自学或教学）、研究辅助工具。计划覆盖数学全部学科的解题、作图、演示、探索工具箱。目前是演示Demo版（抛转引玉），但已经支持数学公式编辑显示，部分作图功能，部分学科，如线性代数、离散数学的部分解题功能。最终目标是推动专业数学家、编程专家、教育工作者、科普工作者共同打造出更加专业级的Mather数学工具

means completeness and balancing, from the Arabic word الجبر

Fast and safe evaluation of algebraic expressions

An efficient symbolic term rewriting engine

Theory for algebra summer exam

Computer Algebra System in Javascript (Coffeescript)

Symbolic parser generator for Julia language expressions using REDUCE algebra term rewriter

Power calculator for Android. Solve some problem algebra and calculus.

algebraic expressions parsing and evaluation through a property system based algorithm

Experimental project to lay out basic algebra type classes

Abstract algebra for Rust.

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

Scala library to describe sharded and event sourced entities using tagless-final algebras

Optimus is a mathematical programming library for Scala.

Mu is a purely functional library for building RPC endpoint based services with support for RPC and HTTP/2

The theory of algebraic graphs formalised in Agda

Functional programming in Java

Pure Math in Pure Swift.

Build, display, and solve algebraic equations.

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

Algebraic simplification in Julia

Linear algebra library for Rust.

Rings: efficient JVM library for polynomial rings

Interactive Computer Algebra System. Augmenting how we *do* mathematics using computers

Monads and other dark magic for Elixir

☕️ Symja - computer algebra language & symbolic math library. A collection of popular algorithms implemented in pure Java.

Generalized recursion schemes and traversals for Scala.

United Monoids

Algebraic graphs

A minimalistic, elegant and powerful approach to working with graphs in a functional programming language

Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.

Simple computer algebra system

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

Powerful modern math library for PHP: Features descriptive statistics and regressions; Continuous and discrete probability distributions; Linear algebra with matrices and vectors, Numerical analysis; special mathematical functions; Algebra

Functional programming great resources

All curricular materials for Bootstrap course modules

a symbolic math expression evaluator for javascript

A completely browser-based e-assessment/e-learning system, with an emphasis on mathematics

⟨Leibniz-Grassmann-Clifford⟩ differential geometric algebra / multivector simplicial complex

Never write another Dockerfile

trying to collect all useful tutorials for famous C math and linear algebra libraries such as CBLAS, CLAPACK, GSL...

📗 A visualization of key structures in abstract algebra.

Open-source symbolic algebra library for C# and F#. One of the most powerful in .NET

Curso de Álgebra Lineal

Klefki is a playground for researching elliptic curve group based algorithm, such as MPC, ZKP and HE. All data types & structures are based on mathematical defination of abstract algebra.

VIP cheatsheets for Stanford's CME 102 Ordinary Differential Equations for Engineers

Algebraic Graphs in Scala

[Experimental] LLVM-accelerated Generic Linear Algebra Subprograms

Finite fields for Julia

A ReasonML/Ocaml library for category theory and abstract algebra