72 Open source projects that are alternatives of or similar to haskell-frex

No description or website provided.

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

Open book about math and computer science.

Specification for common algebraic structures in JavaScript based on Fantasy Land

Algebraic graphs implementation in TypeScript

A ReasonML/Ocaml library for category theory and abstract algebra

Parse and calculate latex formatted math

Finite fields for Julia

Quantum computing in your browser.

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

➗ A really micro micro-service for advanced math.

Optimus is a mathematical programming library for Scala.

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

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

algebraic expressions parsing and evaluation through a property system based algorithm

An efficient symbolic term rewriting engine

Fast and safe evaluation of algebraic expressions

Computer Algebra System in Javascript (Coffeescript)

Algebraic Graphs in Scala

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

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

Experimental project to lay out basic algebra type classes

Theory for algebra summer exam

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

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

📗 A visualization of key structures in abstract algebra.

All curricular materials for Bootstrap course modules

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

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

Functional programming in Java

Curso de Álgebra Lineal

Build, display, and solve algebraic equations.

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

Algebraic simplification in Julia

Pure Math in Pure Swift.

Rings: efficient JVM library for polynomial rings

Never write another Dockerfile

Monads and other dark magic for Elixir

Linear algebra library for Rust.

Generalized recursion schemes and traversals for Scala.

Solution to Algebra, Chapter 0

Algebraic graphs

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

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

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

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

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

Functional programming great resources

Simple computer algebra system

a symbolic math expression evaluator for javascript

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

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

United Monoids

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

Symbolic computation using SymPy and various applications

Tab vs spaces, vim vs emacs, types vs tests, our community is full of these conflicts. In this talk, we'll explore the latter: what is the impact of types in our programs? Can types help write more efficient tests? If so, how?

[Experimental] LLVM-accelerated Generic Linear Algebra Subprograms

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