Skip to content
@haslab

High-Assurance Software Laboratory

Popular repositories Loading

  1. Electrum2 Electrum2 Public

    Forked from AlloyTools/org.alloytools.alloy

    Electrum is a temporal extension to 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 securi…

    Java 52 9

  2. Electrum Electrum Public

    A model checker for relational first-order temporal specifications

    Java 31 4

  3. Alloy4Fun Alloy4Fun Public

    Forked from jmcPereira/Alloy4FunWebApp

    A webapp for developing and sharing Alloy models

    JavaScript 27 8

  4. echo echo Public

    A tool for model repair and transformation

    Java 13 3

  5. why3do why3do Public

    Why3-do: a WhyML library for state machine specifications and distributed systems

    Shell 10

  6. HAAP HAAP Public

    Haskell Automated Assessment Platform

    Haskell 9 1

Repositories

Showing 10 of 37 repositories
  • HyperLasso Public

    Symbolic BMC for HyperLTL

    haslab/HyperLasso's past year of commit activity
    Haskell 2 BSD-3-Clause 0 0 0 Updated Sep 23, 2026
  • HyperPardinus-benchmarks Public

    Docker and benchmarks for the HyperPardinus tool

    haslab/HyperPardinus-benchmarks's past year of commit activity
    Alloy 0 0 0 0 Updated Sep 18, 2026
  • JasminCode Public

    Jasmin Code repository

    haslab/JasminCode's past year of commit activity
    Python 1 Apache-2.0 0 0 0 Updated Sep 6, 2026
  • HyperPardinus Public

    HyperPardinus Model Finder

    haslab/HyperPardinus's past year of commit activity
    Java 0 1 0 0 Updated Sep 1, 2026
  • HyperSMV Public

    HyperSMV model checker

    haslab/HyperSMV's past year of commit activity
    Haskell 0 BSD-3-Clause 0 0 0 Updated Aug 30, 2026
  • Specification-Narrowing Public
    haslab/Specification-Narrowing's past year of commit activity
    Alloy 0 0 0 0 Updated Jul 30, 2026
  • scloudplus Public Forked from scloudplus/scloudplus

    Scloud+: An Efficient LWE-based KEM Without Ring/Module Structure

    haslab/scloudplus's past year of commit activity
    C 0 8 0 0 Updated Jul 1, 2026
  • HCIspecs-models Public

    The models for the HCIspecs repository. Submit your model here.

    haslab/HCIspecs-models's past year of commit activity
    SWIG 0 0 0 0 Updated Apr 29, 2026
  • Alloy-LLM-Testing Public

    Scripts for the LLM generation, and subsequent validation, of Alloy instances fro, natural languages requirements.

    haslab/Alloy-LLM-Testing's past year of commit activity
    Python 0 1 0 0 Updated Feb 26, 2026
  • Alloy4Fun Public Forked from jmcPereira/Alloy4FunWebApp

    A webapp for developing and sharing Alloy models

    haslab/Alloy4Fun's past year of commit activity
    JavaScript 27 MIT 10 8 1 Updated Feb 20, 2026
View all repositories

Top languages

Loading…

Most used topics

Loading…