b-reinke

Pinned Repositories

fr
GAP package for functionally recursive (automata) groups in GAP
Language:GAP00
GaloisFields.jl
Finite fields for Julia
Language:Julia00
gap
Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
Language:GAP00
julia
The Julia Programming Language
Language:Julia00
julia
The Julia Programming Language
Language:Julia45k5.4k
mathlib
Lean 3's obsolete mathematical components library: please use mathlib4
Language:Lean1.7k297
sage
Main repository of SageMath. Now open for Issues and Pull Requests.
Language:Python1.2k411
mathlib4
The math library of Lean 4
Language:Lean1.2k251
HomotopyContinuation.jl
A Julia package for solving systems of polynomials via homotopy continuation.
Language:Julia17530
NNG4
Natural Number Game
Language:Lean8330

b-reinke's Repositories

b-reinke/julia
The Julia Programming Language
b-reinke/GaloisFields.jl
Finite fields for Julia
Language:Julia
b-reinke/gap
Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
Language:GAP
b-reinke/fr
GAP package for functionally recursive (automata) groups in GAP
Language:GAP