sagemath / sage-archive-2023-02-01

Related projects ⓘ

Alternatives and complementary repositories for sage-archive-2023-02-01

• gap-system / gap
  Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
  ☆812Updated this week
• sagemath / sage
  Main repository of SageMath
  ☆1,434Updated this week
• sagemath / sage-windows-cygwin
  Build tools for the Sagemath Windows installer
  ☆350Updated 3 years ago
• mpmath / mpmath
  Python library for arbitrary-precision floating-point arithmetic
  ☆964Updated this week
• Singular / Singular
  sources for the Singular computer algebra system
  ☆261Updated this week
• Macaulay2 / M2
  The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
  ☆346Updated this week
• stacks / stacks-project
  Repository for the Stacks Project
  ☆858Updated last month
• symengine / symengine
  SymEngine is a fast symbolic manipulation library, written in C++
  ☆1,165Updated last week
• vectorgraphics / asymptote
  2D & 3D TeX-Aware Vector Graphics Language
  ☆556Updated this week
• leanprover / lean3
  Lean Theorem Prover
  ☆2,149Updated last year
• coq / coq
  Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theor…
  ☆4,850Updated this week
• gpoore / pythontex
  A LaTeX package that executes Python and other code in LaTeX documents, and includes the output
  ☆880Updated 7 months ago
• wxMaxima-developers / wxmaxima
  A gui for the computer algebra system Maxima built with wxWidgets
  ☆477Updated this week
• HoTT / book
  A textbook on informal homotopy type theory
  ☆2,028Updated 4 months ago
• mathics / Mathics
  This repository is for archival. Please see https://github.com/Mathics3/mathics-core
  ☆2,074Updated 2 years ago
• latex3 / latex3
  The expl3 (LaTeX3) Development Repository
  ☆1,918Updated this week
• sympy / sympy.github.com
  SymPy's web page (sympy.org)
  ☆188Updated last month
• Mathics3 / mathics-core
  An open-source Mathematica. This repository contains the Python modules for WL Built-in functions, variables, core primitives, e.g. Symbo…
  ☆775Updated this week
• sagemathinc / cocalc
  CoCalc: Collaborative Calculation in the Cloud
  ☆1,167Updated this week
• pgf-tikz / pgf
  A Portable Graphic Format for TeX
  ☆1,139Updated last week
• sagemath / sagecell
  The Sage Cell Server---providing a way to embed Sage computations into any web page.
  ☆203Updated last week
• agda / agda
  Agda is a dependently typed programming language / interactive theorem prover.
  ☆2,504Updated last week
• reanimate / reanimate
  Haskell library for building declarative animations based on SVG graphics
  ☆1,123Updated 10 months ago
• brucemiller / LaTeXML
  LaTeXML: a TeX and LaTeX to XML/HTML/ePub/MathML translator.
  ☆946Updated last week
• PreTeXtBook / pretext
  PreTeXt: an authoring and publishing system for scholarly documents
  ☆267Updated this week
• UniMath / UniMath
  This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
  ☆961Updated this week
• twjudson / aata
  Public repository for Abstact Algebra Theory and Applications
  ☆158Updated 3 months ago
• sympy / sympy_gamma
  A SymPy version of WolframAlpha.
  ☆674Updated 6 months ago
• latex3 / latex2e
  The LaTeX2e kernel
  ☆1,932Updated this week
• fricas / fricas
  Official repository of the FriCAS computer algebra system
  ☆308Updated this week