Skip to content
@uclid-org

UCLID5

Pinned Loading

  1. uclid uclid Public

    UCLID5: formal modeling, verification, and synthesis of computational systems

    Scala 157 34

Repositories

Showing 10 of 16 repositories
  • uclid Public

    UCLID5: formal modeling, verification, and synthesis of computational systems

    uclid-org/uclid's past year of commit activity
    Scala 157 34 23 5 Updated Mar 2, 2026
  • eudoxus Public

    eudoxus: UCLID5 text-to-code tool

    uclid-org/eudoxus's past year of commit activity
    Python 0 MIT 0 0 0 Updated Aug 9, 2025
  • polyver Public

    A framework for polyglot system modeling and verification

    uclid-org/polyver's past year of commit activity
    Python 1 MIT 0 0 0 Updated Jul 31, 2025
  • uclid-api Public

    Python API for UCLID5

    uclid-org/uclid-api's past year of commit activity
    Python 4 MIT 1 0 0 Updated May 1, 2025
  • uclid-org.github.io Public

    UCLID5 Website

    uclid-org/uclid-org.github.io's past year of commit activity
    HTML 0 0 0 0 Updated Dec 19, 2024
  • uclid5-language-vscode Public

    uclid5 language support for vscode

    uclid-org/uclid5-language-vscode's past year of commit activity
    Shell 3 0 0 0 Updated May 9, 2024
  • algaroba Public Forked from amarshah1/algarobatool

    An eager SMT solver for Algebraic Data Types (ADTs)

    uclid-org/algaroba's past year of commit activity
    SMT 5 1 0 0 Updated May 8, 2024
  • upverifier Public

    Unbounded Verification of P(-like) Programs

    uclid-org/upverifier's past year of commit activity
    OCaml 1 MIT 3 0 1 Updated Jan 7, 2024
  • riscverifier Public
    uclid-org/riscverifier's past year of commit activity
    Rust 3 BSD-3-Clause 1 0 1 Updated Sep 15, 2023
  • uclid5-ssft22 Public
    uclid-org/uclid5-ssft22's past year of commit activity
    Python 2 1 0 0 Updated Mar 17, 2023
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…