Skip to content

@scala-tessella scala-tessella

All

    Repositories list

    16 repositories

    • krotenheerdt-atlas

      Public
      The atlas of the Krötenheerdt honeycombs: all 570 k-uniform honeycombs of Euclidean 3-space by convex uniform polyhedra, k = 1 to 8, each drawn in 3D. A static …
      scalageometrymathematics
      scalageometrymathematicsstatic-sitecrystallographydatasetscalajstessellationscala3atlas
      Scala
      •
      Apache License 2.0
      •0•0•0•0•Updated Oct 5, 2026Oct 5, 2026

    • krotenheerdt-sequence

      Public
      Scala
      •
      Apache License 2.0
      •0•0•0•0•Updated Oct 2, 2026Oct 2, 2026

    • krotenheerdt-sequence-lean

      Public
      Lean
      •
      Apache License 2.0
      •0•0•0•0•Updated Oct 1, 2026Oct 1, 2026

    • research-core

      Public
      Shared substrate for the scala-tessella research programme on tilings.
      Scala
      •
      Apache License 2.0
      •0•0•0•0•Updated Oct 1, 2026Oct 1, 2026

    • ring-seq

      Public
      Extends Scala Seq with ring (circular) methods
      scalaringcombinatorics
      scalaringcombinatoricssequencescala-jssymmetryrotationcircularscala-nativenecklace
      Scala
      •
      Apache License 2.0
      •1•3•0•12•Updated Sep 23, 2026Sep 23, 2026

    • convex-uniform-honeycombs-lean

      Public
      Lean
      •
      Apache License 2.0
      •0•0•0•0•Updated Sep 21, 2026Sep 21, 2026

    • convex-uniform-honeycombs

      Public
      Machine-checked companion to the paper “The 28 convex uniform honeycombs: a completeness theorem.”
      Scala
      •
      Apache License 2.0
      •0•0•0•0•Updated Sep 21, 2026Sep 21, 2026

    • minimal-uniformity-lean

      Public
      Lean
      •
      Apache License 2.0
      •0•0•0•0•Updated Sep 4, 2026Sep 4, 2026

    • minimal-uniformity-three

      Public
      Machine-checked companion to the paper “Minimal uniformity three: unit-edge tilings around the non-Archimedean vertex types.”
      Scala
      •
      Apache License 2.0
      •0•0•0•0•Updated Sep 4, 2026Sep 4, 2026

    • dcel

      Public
      Build, edit and analyse edge-to-edge tessellations of unit-side polygons in Scala 3, on top of a Doubly Connected Edge List (DCEL).
      svgscalatiling
      svgscalatilingpolygoncomputational-geometrytessellationscala-jshalf-edgedcelplanar-subdivision
      Scala
      •
      Apache License 2.0
      •1•1•0•12•Updated Aug 14, 2026Aug 14, 2026

    • 31-unit-edge-tilings

      Public
      Machine-checked companion to the paper “The 31 types of vertex-transitive tilings of the plane by convex unit-edge polygons.”
      Scala
      •
      Apache License 2.0
      •0•0•0•0•Updated Aug 1, 2026Aug 1, 2026

    • ring-seq-py

      Public
      A Pythonic class for sequences considered circular — rotations, reflections, necklace canonical forms, symmetry detection, and more.
      pythonpypipython3
      pythonpypipython3ringcombinatoricssequencepure-pythonsymmetryrotationcircular
      Python
      •
      Apache License 2.0
      •0•0•0•0•Updated Jun 10, 2026Jun 10, 2026

    • ring-seq-rs

      Public
      Circular (ring) sequence operations for Rust slices — rotations, reflections, necklace canonical forms, symmetry detection, and more.
      rustwasmcrate
      rustwasmcratecargoringcombinatoricssequencesymmetryrotationcircular
      Rust
      •
      Apache License 2.0
      •0•0•0•0•Updated Jun 9, 2026Jun 9, 2026

    • tessella

      Public
      Tilings by regular polygons
      scalagraphstessellation
      scalagraphstessellation
      Scala
      •
      Apache License 2.0
      •1•10•0•14•Updated May 24, 2026May 24, 2026

    • scala-steward-repos

      Public
      Scala
      •632•0•0•0•Updated May 17, 2026May 17, 2026

    • scala-collection-contrib

      Public
      community-contributed additions to the Scala 2.13 collections
      Scala
      •
      Apache License 2.0
      •28•0•0•0•Updated Apr 20, 2026Apr 20, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.