gap-system / gap
Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
☆844Updated 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☆268Updated this week
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆355Updated 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,006Updated 2 years ago
- This coq library aims to formalize a substantial body of mathematics using the univalent point of view.☆971Updated this week
- Arb has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆459Updated 11 months ago
- Mathematical Components☆602Updated this week
- The HOL Light theorem prover☆446Updated this week
- FLINT (Fast Library for Number Theory)☆476Updated this week
- L-Functions and Modular Forms Database☆261Updated 2 weeks ago
- Lean 3 Theorem Prover (community fork)☆434Updated last year
- Official repository of the FriCAS computer algebra system☆320Updated last week
- Axiom is a free, open source computer algebra system☆374Updated last year
- A Coq library for Homotopy Type Theory☆1,294Updated this week
- Public repository for Abstact Algebra Theory and Applications☆164Updated 6 months ago
- This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at …☆411Updated 3 weeks ago
- Metamath source file for logic and set theory☆269Updated this week
- A field-theory motivated approach to computer algebra.☆233Updated this week
- A textbook on informal homotopy type theory☆2,054Updated 8 months ago
- Group theory visualization software in the browser☆236Updated 11 months ago
- Source code for the nLab☆159Updated last month
- SymEngine is a fast symbolic manipulation library, written in C++☆1,204Updated this week
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- 2D & 3D TeX-Aware Vector Graphics Language☆578Updated this week
- Scientific computing in Lean 4☆366Updated this week
- PreTeXt: an authoring and publishing system for scholarly documents☆276Updated last week
- Repository for the Stacks Project☆883Updated 5 months ago
- Lean Theorem Prover☆2,150Updated last year
- LaTeX version of Grothendieck's Pursuing Stacks☆47Updated 3 years ago
- A formalization of geometry in Coq based on Tarski's axiom system☆190Updated 3 weeks ago
- Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regre…☆649Updated this week