Pinned Repositories
fr
GAP package for functionally recursive (automata) groups in GAP
GaloisFields.jl
Finite fields for Julia
gap
Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
julia
The Julia Programming Language
HomotopyContinuation.jl
A Julia package for solving systems of polynomials via homotopy continuation.
julia
The Julia Programming Language
mathlib3
Lean 3's obsolete mathematical components library: please use mathlib4
mathlib4
The math library of Lean 4
benedetto02
Reimplementation of the authorship attribution approach described in "Dario Benedetto, Emanuele Caglioti, and Vittorio Loreto. Language trees and zipping. Physical Review Letters, 88 (4), 048702, 2002" as part of the ECIR 2016 reproducibility study "Who Wrote the Web?"
sage
Main repository of SageMath
b-reinke's Repositories
b-reinke/fr
GAP package for functionally recursive (automata) groups in GAP
b-reinke/GaloisFields.jl
Finite fields for Julia
b-reinke/gap
Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
b-reinke/julia
The Julia Programming Language