⚠ This page is served via a proxy. Original site: https://github.com
This service does not collect credentials or authentication data.
Skip to content
@WatForm

Waterloo Formal Methods Lab (WatForm)

Pinned Loading

  1. dashplus dashplus Public

    Java 1

  2. alloy-llms alloy-llms Public

    Python

Repositories

Showing 10 of 21 repositories
  • dashplus Public
    WatForm/dashplus’s past year of commit activity
    Java 1 MIT 0 0 0 Updated Jan 22, 2026
  • alloy-llm-benchmark-creation Public

    Scripts for creating the alloy-llm-benchmark

    WatForm/alloy-llm-benchmark-creation’s past year of commit activity
    Alloy 0 MIT 0 0 0 Updated Jan 15, 2026
  • alloy-llm-benchmark Public

    Benchmark consisting of Alloy models and English descriptions to test how well LLMs can generate Alloy Models

    WatForm/alloy-llm-benchmark’s past year of commit activity
    0 MIT 0 0 0 Updated Jan 10, 2026
  • dash-testing Public

    Integration testing for Dash translations to other languages

    WatForm/dash-testing’s past year of commit activity
    Python 0 MIT 1 0 0 Updated Nov 3, 2025
  • portus-evaluation Public

    Evaluation scripts for "Portus: Linking Alloy with SMT-based Finite Model Finding"

    WatForm/portus-evaluation’s past year of commit activity
    Python 0 MIT 0 0 0 Updated Oct 4, 2025
  • fortress Public

    Fortress: Finite Model Finder for Many-Sorted First-Order Logic

    WatForm/fortress’s past year of commit activity
    Scala 6 MIT 0 15 0 Updated Sep 16, 2025
  • org.alloytools.alloy Public Forked from AlloyTools/org.alloytools.alloy

    Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.

    WatForm/org.alloytools.alloy’s past year of commit activity
    Java 4 135 1 3 Updated Sep 16, 2025
  • alloy-llms Public
    WatForm/alloy-llms’s past year of commit activity
    Python 0 MIT 0 0 0 Updated Jun 10, 2025
  • opfi-evaluation Public

    Repository for evaluating Overflow-Preventing Finite Integers

    WatForm/opfi-evaluation’s past year of commit activity
    Python 0 0 0 0 Updated Jan 15, 2025
  • testrunner Public

    Python scripts for running a CLI command with the cross product of values for multiple options and recording information about each run in an output .csv file

    WatForm/testrunner’s past year of commit activity
    Python 0 MIT 0 0 0 Updated Sep 3, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…