Homebrew tap for GAP
☆15Oct 20, 2025Updated 4 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:
- The GAP package Semigroups☆29Updated this week
- ☆14Jun 5, 2025Updated 8 months ago
- Centralized registry of fpm packages☆42Sep 2, 2023Updated 2 years ago
- Plotting a simplex for three player evolutionary games with python☆10Apr 16, 2018Updated 7 years ago
- ☆10Feb 17, 2026Updated 2 weeks ago
- Intel® MPI Library☆11Sep 22, 2025Updated 5 months ago
- A demo of graph coloring using Leap's hybrid constrained quadratic model (CQM) solver.☆13Dec 10, 2024Updated last year
- Reinforcement learning with 2D games☆16May 16, 2025Updated 9 months ago
- A bot that monitors recent suggested edits on Stack Overflow and posts an alert in a chatroom when it comes across a suspicious edit (det…☆10Jul 27, 2020Updated 5 years ago
- 中国古建筑参数化模型库 A parametric 3D model component library for Chinese ancient buiding☆12Sep 6, 2023Updated 2 years ago
- ☆12Feb 14, 2026Updated 2 weeks ago
- ☆12Oct 10, 2024Updated last year
- Standard ML (SML) grammar for tree-sitter☆14May 22, 2025Updated 9 months ago
- It's pretty self explanatory I think☆11Apr 2, 2023Updated 2 years ago
- Python code for computation and experimentation with cut-generating functions, in particular the Gomory-Johnson infinite group problem. B…☆12Feb 13, 2026Updated 2 weeks ago
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Feb 3, 2026Updated last month
- 一个自创的串口通信助手和调试助手☆12Apr 17, 2022Updated 3 years ago
- Mixed graph Laplacian upscaling and solvers☆13Jan 7, 2025Updated last year
- Drupal Computing is a framework that facilitates distributed computing between Drupal and external programs written in non-PHP languages …☆10Dec 29, 2014Updated 11 years ago
- El Control de Versiones con Git☆12Feb 24, 2026Updated last week
- Demonstrates how to formulate the n-queens problem as a QUBO, which we then solve using Leap’s hybrid solvers.☆10Oct 31, 2023Updated 2 years ago
- Files related to my paper "Continuity of Godel's system T functionals via effectful forcing". MFPS'2013. Electronic Notes in Theoretical …☆11Sep 21, 2021Updated 4 years ago
- Unit support for numbers☆24Jun 9, 2015Updated 10 years ago
- ☆10Jan 8, 2022Updated 4 years ago
- Types and functions for working with continued fractions in Julia☆12Feb 7, 2022Updated 4 years ago
- An Interactive Discrete Mathematics Framework for GAP☆10Updated this week
- A Git mirror of Mark Atwood’s rem2ics project.☆10Apr 25, 2010Updated 15 years ago
- Training Repo for 2022 NVHPC training☆13Jan 13, 2022Updated 4 years ago
- Partial combinatory algebras and realizability interpretations of arithmetic, in Coq.☆13Mar 28, 2017Updated 8 years ago
- Modular Finite Maps over Ordered Types in Coq [maintainers=@letouzey,@palmskog]☆11Jun 30, 2024Updated last year
- ☆10Apr 17, 2018Updated 7 years ago
- This repo contains a detailed exploratory analysis of the West Nile Virus outbreak in the US and a statistical analysis of SAT and ACT de…☆10May 22, 2018Updated 7 years ago
- Sparips.jl: Practical sparsification of Rips complexes☆11Jan 21, 2019Updated 7 years ago
- Book on Chemical Reactions and Dynamical Systems☆15Apr 11, 2023Updated 2 years ago
- Digital musical instrument design framework created for MIT course 21M.370☆13Apr 2, 2025Updated 11 months ago
- Template for easily using GitHub Pages within GAP packages☆14Oct 2, 2025Updated 5 months ago
- Add UTF decoding support to the OCaml Stdlib☆16Sep 4, 2022Updated 3 years ago
- An experimental typing of Lojban grammar, in Haskell☆13Jun 20, 2013Updated 12 years ago
- The Official Khronos WebGL Repository☆13Feb 17, 2015Updated 11 years ago