fredrik-johansson / fungrim

Related projects ⓘ

Alternatives and complementary repositories for fungrim

• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆79Updated last year
• paulknysh / sym
  A Mathematica package for generating symbolic models from data
  ☆49Updated 2 years ago
• mathlingua / mathlingua
  Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…
  ☆68Updated last month
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆39Updated 3 weeks ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated 9 months ago
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆43Updated last week
• thosgood / translations
  some maths papers in English
  ☆18Updated last week
• JuliaSymbolics / Metatheory.jl
  Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for t…
  ☆363Updated last month
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆87Updated 3 months ago
• adamnemecek / adjoint
  Thoughts on adjoint, norm and such.
  ☆165Updated last year
• pi-base / data
  A community database of topological counterexamples
  ☆72Updated this week
• ArturasAcus / GeometricAlgebra
  Mathematica package for Clifford (geometric) algebra calculations
  ☆11Updated 5 months ago
• tBuLi / kingdon
  A symbolically optimized and pythonic Clifford (geometric) algebra library named after none other than William Kingdon Clifford.
  ☆45Updated this week
• HarrisonGrodin / Rewrite.jl
  An efficient symbolic term rewriting engine
  ☆77Updated 3 years ago
• rljacobson / FoxySheep
  Compiler Technologies for Mathematica/Wolfram Language.
  ☆36Updated 4 years ago
• shreevatsa / knuth-literate-programs
  Examples of literate programming by Knuth
  ☆35Updated 5 months ago
• roed314 / seminars
  Listing of online math seminars
  ☆41Updated 2 months ago
• ncatlab / nlab-content-html
  A file-based mirror of the nLab wiki (HTML format).
  ☆23Updated this week
• mirefek / geo_logic
  Tool for euclidean geometry aware of logic
  ☆82Updated 5 months ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆46Updated 2 years ago
• kedlaya / math157
  ☆41Updated 3 years ago
• jeffreyadams / atlasofliegroups
  Automatically exported from code.google.com/p/atlasofliegroups
  ☆31Updated this week
• andrejbauer / alg
  Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.
  ☆82Updated 3 years ago
• polymake / polymake
  Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit
  ☆78Updated last month
• RuleBasedIntegration / Rubi-5
  A Rule-Based Integrator Built On An If-Then-Else Decision Tree
  ☆34Updated 3 years ago
• wbhart / Nemo.jl
  My personal fork of the Nemo project. The official repository is at https://github.com/Nemocas/Nemo.jl
  ☆99Updated 2 years ago
• winitzki / linear-algebra-book
  The full source code and hyperlinked PDF of the book "Linear Algebra via Exterior Products" (2010)
  ☆88Updated last year
• flintlib / python-flint
  Python bindings for Flint and Arb
  ☆132Updated 2 weeks ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆42Updated 4 years ago
• peeterjoot / physicsplay
  Latex source for geometric algebra and physics notes.
  ☆34Updated 2 months ago