bottine

Pinned Repositories

Bass-Serre
Language:Lean0 1 00
bottine.github.io
Language:HTML00
CoxeterDiagrams
Dependency for Vinberg's algorithm
Language:Julia2 2 10
helix
A post-modern modal text editor.
Language:Rust0 1 00
mathlib
Lean mathematical components library
Language:Lean1 1 10
mathlib4
my dirty branches
Language:Lean0 0 00
nem
Naïve enumeration of (spehner) maps
Language:Rust1 3 01
StaticBitSets.jl
static bitsets julia
Language:Julia5 2 40
vinberg
port https://github.com/aperep/vinberg-algorithm to julia
Language:Julia2 4 350
VinbergsAlgorithmNF
Vinberg's algorithm on number fields using Hecke
Language:Julia2 5 80

bottine's Repositories

bottine/StaticBitSets.jl
static bitsets julia
Language:Julia5 2 40
bottine/CoxeterDiagrams
Dependency for Vinberg's algorithm
Language:Julia2 2 10
bottine/vinberg
port https://github.com/aperep/vinberg-algorithm to julia
Language:Julia2 4 350
bottine/VinbergsAlgorithmNF
Vinberg's algorithm on number fields using Hecke
Language:Julia2 5 80
bottine/mathlib
Lean mathematical components library
Language:Lean1 1 10
bottine/nem
Naïve enumeration of (spehner) maps
Language:Rust1 3 01
bottine/Bass-Serre
Language:Lean0 1 00
bottine/bottine.github.io
Language:HTML00
bottine/helix
A post-modern modal text editor.
Language:Rust0 1 00
bottine/mathlib4
my dirty branches
Language:Lean0 0 00
bottine/rbtnli
Language:Python1 0