Skip to content
@coln-project

coln-project

Popular repositories Loading

  1. Coln Coln Public

    A data-oriented proof assistant

    Rust 21 5

  2. coln-project.github.io coln-project.github.io Public

    XSLT 1

  3. Coln-deps Coln-deps Public

    A flake containing dependencies needed to build Coln

    Nix

Repositories

Showing 3 of 3 repositories
  • Coln Public

    A data-oriented proof assistant

    coln-project/Coln's past year of commit activity
    Rust 21 5 35 18 Updated Sep 17, 2026
  • Coln-deps Public

    A flake containing dependencies needed to build Coln

    coln-project/Coln-deps's past year of commit activity
    Nix 0 0 0 0 Updated Aug 6, 2026
  • coln-project.github.io Public
    coln-project/coln-project.github.io's past year of commit activity
    XSLT 1 0 0 0 Updated Aug 3, 2026

Top languages

Rust XSLT Nix

Most used topics

Loading…