Dima Pasechnik's repositories
cryptominisat
An advanced SAT solver
cython
The most widely used Python to C compiler
Dedekind_2nd_def
This is a translation from the original German of an 1889 note from Dedekind's Nachlass, edited by Emmy Noether
flint2
FLINT (Fast Library for Number Theory)
gap-feedstock
A conda-smithy repository for gap.
homebrew-core
🍻 Default formulae for the missing package manager for macOS (or Linux)
homebrew-gap
Homebrew tap for GAP
MDTreeJavacode
archive of old Java code by Marc Tedder
msolve
Library for Polynomial System Solving through Algebraic Methods
Normaliz
Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
ReleaseTools
Tool to help GAP package authors with the process of making new releases of their packages
Semigroups
The GAP package Semigroups
website
this is the code for the sagemath.org website