gap-system / gap
Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
☆813Updated this week
Related projects ⓘ
Alternatives and complementary repositories for gap
- sources for the Singular computer algebra system☆262Updated this week
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆347Updated this week
- Arb has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆459Updated 8 months ago
- 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,014Updated last year
- L-Functions and Modular Forms Database☆252Updated this week
- FLINT (Fast Library for Number Theory)☆445Updated last week
- Lean 3 Theorem Prover (community fork)☆435Updated last year
- The HOL Light theorem prover☆432Updated this week
- Mathematical Components☆589Updated this week
- Official repository of the FriCAS computer algebra system☆312Updated last week
- This coq library aims to formalize a substantial body of mathematics using the univalent point of view.☆961Updated this week
- Source code for the nLab☆149Updated 2 months ago
- Axiom is a free, open source computer algebra system☆368Updated last year
- Group theory visualization software in the browser☆230Updated 8 months ago
- amateur translation project of Grothendieck's EGA.☆330Updated last month
- Main repository of SageMath☆1,462Updated last week
- Lean 3's obsolete mathematical components library: please use mathlib4☆1,665Updated 4 months ago
- A Coq library for Homotopy Type Theory☆1,259Updated this week
- Repository for the Stacks Project☆861Updated 2 months ago
- Rubi for Mathematica☆232Updated 9 months ago
- The Lean version manager☆318Updated this week
- Public repository for Abstact Algebra Theory and Applications☆160Updated 3 months ago
- Scientific computing in Lean 4☆328Updated this week
- This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at …☆397Updated this week
- Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regre…☆630Updated this week
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆240Updated 10 years ago
- LaTeX labels in Mathematica☆375Updated 7 months ago
- SnapPy is a package for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures. It is based on the Snap…☆88Updated this week
- Metamath source file for logic and set theory☆255Updated this week
- Lean Theorem Prover☆2,150Updated last year