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