laurentbartholdi's repositories
Lean-Oscar
An interface between Lean4 and Oscar.
Spasm.jl
Julia binding for the Spasm sparse matrix code by C. Bouillaguet
Nauty.jl
A simple interface to nauty
spasm
a Sparse Direct Solver modulo p
shift3
degree 3 polynomial dynamics
H5Sparse.jl
Support for out-of-core sparse arrays in Julia, backed by a HDF5 file stored on disk
ParallelMergeCSR.jl
Merge-based Parallel Sparse Matrix-Vector Multiplication in Julia
FileIO.jl
Main Package for IO, loading all different kind of files
anq
Nilpotent quotients of groups, Lie and associative algebras
cryptominisat
An advanced SAT solver
Yggdrasil
Collection of builder repositories for BinaryBuilder.jl
GroupElements.jl
Julia interface for group-like elements (free groups and matrix groups)
GapWWW
Source for the GAP website
ArbNumerics.jl
extended precision math, accurate and performant
CryptoMiniSat.jl
Julia binding for the CryptoMiniSat solver
cdi
A unified interface for performing complex dynamics computations
gap-distribution
Tools for GAP releases (regression tests, release wrapping, package updates, alternative distributions) and developers' documentation.
CSDP.jl
Julia Wrapper for CSDP (https://projects.coin-or.org/Csdp/)
homebrew-gap
Homebrew tap for GAP
gap
Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
unit
Conversions en unités
polycyclic
Computation with polycyclic groups
gapslp
A GAP package manipulating free group elements as straight line programs
anupq
The ANUPQ GAP package
io
GAP package IO to do input and output
Cardboard-Dodecahedron
View inside a hyperpolic dodehedron tiling