Beast code in Giters

Rémi Bottinelli's repositories

static bitsets julia

Language:JuliaMIT4 2 3

Dependency for Vinberg's algorithm

Language:Julia200

port https://github.com/aperep/vinberg-algorithm to julia

Language:Julia200

Vinberg's algorithm on number fields using Hecke

Language:JuliaGPL-3.0200

Lean mathematical components library

Language:LeanApache-2.01 1 1

Naïve enumeration of (spehner) maps

Language:Rust100

Language:Lean000

Language:HTML000

A post-modern modal text editor.

Language:RustMPL-2.0010

my dirty branches

Language:LeanApache-2.0000

Language:HTML000