Popular repositories Loading

1. StaticBitSets.jl StaticBitSets.jl Public

   static bitsets julia

   Julia 5

2. vinberg vinberg Public

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

   Julia 2

3. CoxeterDiagrams CoxeterDiagrams Public

   Dependency for Vinberg's algorithm

   Julia 2

4. VinbergsAlgorithmNF VinbergsAlgorithmNF Public

   Vinberg's algorithm on number fields using Hecke

   Julia 2

5. nem nem Public

   Naïve enumeration of (spehner) maps

   Rust 1 1

6. mathlib mathlib Public

   Forked from leanprover-community/mathlib3

   Lean mathematical components library

   Lean 1