Similar repositories to gap-system/homebrew-gap:
gap-system/homebrew-gap
github
similar
lab-ml/annotated_deep_learning_paper_implementations
github
similar
gap-system/try-gap-in-jupyter
github
similar
gap-packages/grpconst
github
similar
gap-packages/orb
github
similar
gap-packages/sgpdec
github
similar
dwave-examples/template
github
similar
WessZumino/Random-Matrix-theory-for-pedestrians
github
similar
math-comp/algebra-tactics
github
similar
webyrd/dissertation-single-spaced
github
similar
egajda/awesome-mint
github
similar
sunetos/TextPlots.jl
github
similar
fortran-lang/fftpack
github
similar
octonion/puzzles
github
similar
dcernst/IBL-AbstractAlgebra
github
similar
peterlefanulumsdaine/general-type-theories
github
similar
macports/macports-guide
github
similar
pypa/trove-classifiers
github
similar
abella-prover/abella
github
similar
xlmnxp/blue-recorder
github
similar
TheoWinterhalter/formal-type-theory
github
similar
WolframResearch/GitLink
github
similar
NVIDIA/cuda-gdb
github
similar
evanw/float-toy
github
similar
coq/platform
github
similar
bernds/q5Go
github
similar
weavejester/progrock
github
similar
teyjus/teyjus
github
similar
eth-cscs/COSMA
github
similar
click-contrib/click-man
github
similar
oneapi-src/oneAPI-spec
github
similar
mit-plv/fiat
github
similar
math-comp/analysis
github
similar
cpitclaudel/z3.wasm
github
similar
lunaroyster/latex.guide
github
similar
oakes/paren-soup
github
similar
databricks/sbt-spark-package
github
similar
lxc/lxc-ci
github
similar
Qiskit/ibmq-device-information
github
similar
ctford/functional-composition
github
similar