Skip to content

@xr0-org The Xr0 Project

All

    Repositories list

    2 repositories

    • xr0

      Public
      The Xr0 Verifier for C
      C
      •
      Apache License 2.0
      •5•209•23•1•Updated Jul 1, 2026Jul 1, 2026

    • i2

      Public
      A language for verified reasoning
      Go
      •
      Apache License 2.0
      •0•2•0•0•Updated Feb 21, 2024Feb 21, 2024
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.