gap-system / homebrew-gapLinks
Homebrew tap for GAP
☆14Updated 11 months ago
Alternatives and similar repositories for homebrew-gap
Users that are interested in homebrew-gap are comparing it to the libraries listed below
Sorting:
- Multinomials for the Mathematical Components library.☆14Updated last month
- Deposited packages of the homalg project☆14Updated last month
- C++ library for semigroups and monoids☆47Updated this week
- ☆14Updated last year
- formalization of theorems of higher algebraic K-theory☆8Updated 11 years ago
- Topology library for Coq☆12Updated 9 years ago
- A termination checker for higher-order rewriting with dependent types☆10Updated 5 years ago
- Native Jupyter kernel for GAP☆19Updated 2 months ago
- A formalization of synthetic algebraic geometry in Agda☆14Updated 6 years ago
- M4 algebraic geometry course in Lean☆59Updated 5 years ago
- OBSOLETE, ARCHIVED mirror of the OCaml manual☆15Updated last year
- Combinatorial species in HoTT☆12Updated 10 years ago
- The GAP package Semigroups☆26Updated last month
- ☆23Updated 3 years ago
- Schemes in Lean (v2)☆43Updated 4 years ago
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)☆26Updated 10 years ago
- A program for drawing knots and links, with support for importing images☆32Updated last year
- FreeTikZ☆37Updated 7 years ago
- Superposition prover☆17Updated 2 years ago
- Tag-based webview of LaTeX documents☆29Updated last year
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Updated 10 years ago
- An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4☆15Updated 3 years ago
- More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage☆32Updated last year
- Algebraic Combinatorics in Coq☆38Updated 4 months ago
- Jupyter kernel for PARI/GP. Source repository for https://pypi.org/project/pari-jupyter/☆11Updated 9 months ago
- Awesome Geometric Algebra☆27Updated 4 years ago
- Haskell bindings to SymEngine☆25Updated last year
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆45Updated 7 years ago
- A textual front end to Mathematica.☆12Updated 5 years ago