laurentbartholdi

CryptoMiniSat.jl

Julia binding for the CryptoMiniSat solver

Kissat.jl

rsserver

Riemann Sphere Server

OpenFST.jl

SpaSM.jl

Julia binding for the Spasm sparse matrix code by C. Bouillaguet

anq

Nilpotent quotients of groups, Lie and associative algebras

anupq

The ANUPQ GAP package

ArbNumerics.jl

extended precision math, accurate and performant

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/)

gapslp

A GAP package manipulating free group elements as straight line programs

DejaVu.jl

Julia Bindings for the DejaVu graph automorphism code

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.

NautyTraces.jl

A simple interface to the nauty/trace code to test graph isomorphism.

ParallelMergeCSR.jl

Merge-based Parallel Sparse Matrix-Vector Multiplication in Julia

Partitions

polycyclic

Computation with polycyclic groups

shift3

degree 3 polynomial dynamics

spasm

a Sparse Direct Solver modulo p

unit

Conversions en unités

Yggdrasil

Collection of builder repositories for BinaryBuilder.jl