Skip to content
@xr0-org

The Xr0 Project

Pinned Loading

  1. xr0 xr0 Public

    The Xr0 Verifier for C

    C 180 4

Repositories

Showing 3 of 3 repositories
  • xr0 Public

    The Xr0 Verifier for C

    xr0-org/xr0’s past year of commit activity
    C 180 Apache-2.0 4 23 1 Updated Apr 18, 2025
  • blog Public
    xr0-org/blog’s past year of commit activity
    0 0 0 0 Updated Feb 24, 2025
  • i2 Public

    A language for verified reasoning

    xr0-org/i2’s past year of commit activity
    Go 2 Apache-2.0 0 0 0 Updated Feb 21, 2024

Top languages

Loading…

Most used topics

Loading…