gap-system / gap
Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
☆850Updated this week
Alternatives and similar repositories for gap:
Users that are interested in gap are comparing it to the libraries listed below
- sources for the Singular computer algebra system☆273Updated this week
- This repository used to be the user-facing mirror of the Sage source tree. As Sage development migrated on 2023-02-01 from https://trac.s…☆2,009Updated 2 years ago
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆359Updated last week
- Arb has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆461Updated last year
- FLINT (Fast Library for Number Theory)☆479Updated this week
- Official repository of the FriCAS computer algebra system☆324Updated this week
- Mathematical Components☆608Updated this week
- Public repository for Abstact Algebra Theory and Applications☆166Updated 7 months ago
- This coq library aims to formalize a substantial body of mathematics using the univalent point of view.☆973Updated this week
- A field-theory motivated approach to computer algebra.☆237Updated this week
- Group theory visualization software in the browser☆239Updated last year
- PreTeXt: an authoring and publishing system for scholarly documents☆278Updated this week
- Lean Theorem Prover☆2,151Updated last year
- The HOL Light theorem prover☆451Updated last week
- amateur translation project of Grothendieck's EGA.☆341Updated 5 months ago
- Source code for the nLab☆171Updated last week
- Axiom is a free, open source computer algebra system☆376Updated last year
- Metamath source file for logic and set theory☆273Updated this week
- Lean 3 Theorem Prover (community fork)☆434Updated last year
- Rubi for Mathematica☆244Updated last year
- Python library for arbitrary-precision floating-point arithmetic☆1,005Updated this week
- Wolfram Language kernel for Jupyter notebooks☆1,085Updated last year
- A framework for applied category theory in the Julia language☆637Updated 2 weeks ago
- Repository for the Stacks Project☆891Updated 6 months ago
- The Sage Cell Server---providing a way to embed Sage computations into any web page.☆206Updated 2 weeks ago
- The Lean version manager☆354Updated this week
- L-Functions and Modular Forms Database☆262Updated last week
- LaTeX labels in Mathematica☆385Updated 11 months ago
- A Coq library for Homotopy Type Theory☆1,299Updated this week
- Owl - OCaml Scientific Computing @ https://ocaml.xyz☆1,250Updated last week