mir-glas[Experimental] LLVM-accelerated Generic Linear Algebra Subprograms
Stars: ✭ 99 (+39.44%)
currAll curricular materials for Bootstrap course modules
Stars: ✭ 13 (-81.69%)
agdaThe theory of algebraic graphs formalised in Agda
Stars: ✭ 67 (-5.63%)
types-vs-testsTab 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?
Stars: ✭ 17 (-76.06%)
Symja android library☕️ Symja - computer algebra language & symbolic math library. A collection of popular algorithms implemented in pure Java.
Stars: ✭ 170 (+139.44%)
Matherzzllrr mather(an offline tool for Math learning, education and research)小乐数学,离线可用的数学学习(自学或教学)、研究辅助工具。计划覆盖数学全部学科的解题、作图、演示、探索工具箱。目前是演示Demo版(抛转引玉),但已经支持数学公式编辑显示,部分作图功能,部分学科,如线性代数、离散数学的部分解题功能。最终目标是推动专业数学家、编程专家、教育工作者、科普工作者共同打造出更加专业级的Mather数学工具
Stars: ✭ 270 (+280.28%)
KleinP(R*_{3, 0, 1}) specialized SIMD Geometric Algebra Library
Stars: ✭ 463 (+552.11%)
SwiftymathPure Math in Pure Swift.
Stars: ✭ 182 (+156.34%)
radbRA (radb): A relational algebra interpreter over relational databases
Stars: ✭ 48 (-32.39%)
Math PhpPowerful 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
Stars: ✭ 2,009 (+2729.58%)
Basic Mathematics For Machine LearningThe 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
Stars: ✭ 300 (+322.54%)
scalaAlgebraic Graphs in Scala
Stars: ✭ 23 (-67.61%)
NcalcPower calculator for Android. Solve some problem algebra and calculus.
Stars: ✭ 512 (+621.13%)
Atosymalgebraic expressions parsing and evaluation through a property system based algorithm
Stars: ✭ 15 (-78.87%)
Mu ScalaMu is a purely functional library for building RPC endpoint based services with support for RPC and HTTP/2
Stars: ✭ 266 (+274.65%)
unitedUnited Monoids
Stars: ✭ 25 (-64.79%)
AlgebriteComputer Algebra System in Javascript (Coffeescript)
Stars: ✭ 800 (+1026.76%)
symbolicnimA symbolic library written purely in Nim with the ability to compile expressions into efficient functions.
Stars: ✭ 25 (-64.79%)
NalgebraLinear algebra library for Rust.
Stars: ✭ 2,433 (+3326.76%)
AlgebraExperimental project to lay out basic algebra type classes
Stars: ✭ 377 (+430.99%)
Alga PaperA minimalistic, elegant and powerful approach to working with graphs in a functional programming language
Stars: ✭ 163 (+129.58%)
swm-corePure Math in Pure Swift.
Stars: ✭ 190 (+167.61%)
haskell-frexNo description or website provided.
Stars: ✭ 20 (-71.83%)
AlgaAbstract algebra for Rust.
Stars: ✭ 154 (+116.9%)
Nerdamera symbolic math expression evaluator for javascript
Stars: ✭ 322 (+353.52%)
AlgaAlgebraic graphs
Stars: ✭ 619 (+771.83%)
metaocaml-frexNo description or website provided.
Stars: ✭ 19 (-73.24%)
Grassmann.jl⟨Leibniz-Grassmann-Clifford⟩ differential geometric algebra / multivector simplicial complex
Stars: ✭ 289 (+307.04%)
racket-casSimple computer algebra system
Stars: ✭ 58 (-18.31%)
WitchcraftMonads and other dark magic for Elixir
Stars: ✭ 864 (+1116.9%)
augmathInteractive Computer Algebra System. Augmenting how we *do* mathematics using computers
Stars: ✭ 41 (-42.25%)
Cmathtutstrying to collect all useful tutorials for famous C math and linear algebra libraries such as CBLAS, CLAPACK, GSL...
Stars: ✭ 266 (+274.65%)
Derive4jJava 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.
Stars: ✭ 511 (+619.72%)
AngourimathOpen-source symbolic algebra library for C# and F#. One of the most powerful in .NET
Stars: ✭ 266 (+274.65%)
articicial-inteligence-and-data-scienceEste 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.
Stars: ✭ 34 (-52.11%)
RingsRings: efficient JVM library for polynomial rings
Stars: ✭ 50 (-29.58%)
endlessScala library to describe sharded and event sourced entities using tagless-final algebras
Stars: ✭ 70 (-1.41%)
klefkiKlefki 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.
Stars: ✭ 12 (-83.1%)
BastetA ReasonML/Ocaml library for category theory and abstract algebra
Stars: ✭ 200 (+181.69%)
GapMain development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
Stars: ✭ 447 (+529.58%)
FastevalFast and safe evaluation of algebraic expressions
Stars: ✭ 177 (+149.3%)
EulerThe open-source computational framework for the Swift language
Stars: ✭ 37 (-47.89%)
IotaFast [co]product types with a clean syntax. For Cats & Scalaz.
Stars: ✭ 175 (+146.48%)
MatryoshkaGeneralized recursion schemes and traversals for Scala.
Stars: ✭ 764 (+976.06%)
Reduce.jlSymbolic parser generator for Julia language expressions using REDUCE algebra term rewriter
Stars: ✭ 172 (+142.25%)
relationalEducational tool for relational algebra
Stars: ✭ 70 (-1.41%)
Q.jsQuantum computing in your browser.
Stars: ✭ 158 (+122.54%)
Fp ResourcesFunctional programming great resources
Stars: ✭ 369 (+419.72%)
oxygenjsThis a JavaScript Library for the Numerical Javascript and Machine Learning
Stars: ✭ 13 (-81.69%)
Rewrite.jlAn efficient symbolic term rewriting engine
Stars: ✭ 61 (-14.08%)
Algebra LatexParse and calculate latex formatted math
Stars: ✭ 20 (-71.83%)
Static LandSpecification for common algebraic structures in JavaScript based on Fantasy Land
Stars: ✭ 699 (+884.51%)
Newton Api➗ A really micro micro-service for advanced math.
Stars: ✭ 358 (+404.23%)