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 49 9

  2. Electrum Electrum Public

    A model checker for relational first-order temporal specifications

    Java 29 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 12 3

  5. HAAP HAAP Public

    Haskell Automated Assessment Platform

    Haskell 9 1

  6. why3do why3do Public

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

    Shell 9

Repositories

Showing 10 of 36 repositories
  • 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 Mar 6, 2026
  • JasminCode Public

    Jasmin Code repository

    haslab/JasminCode’s past year of commit activity
    Python 1 Apache-2.0 0 0 0 Updated Feb 26, 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 0 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 2 Updated Feb 20, 2026
  • Specification-Narrowing Public
    haslab/Specification-Narrowing’s past year of commit activity
    Alloy 0 0 0 0 Updated Feb 12, 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 MIT 7 0 0 Updated Jan 8, 2026
  • HyperPardinus Public

    HyperPardinus Model Finder

    haslab/HyperPardinus’s past year of commit activity
    Java 0 0 0 0 Updated Dec 29, 2025
  • 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 Dec 23, 2025
  • HyperSMV Public

    HyperSMV model checker

    haslab/HyperSMV’s past year of commit activity
    Haskell 0 BSD-3-Clause 0 0 0 Updated Dec 16, 2025
  • jasmin Public Forked from jasmin-lang/jasmin

    Language for high-assurance and high-speed cryptography

    haslab/jasmin’s past year of commit activity
    Rocq Prover 0 MIT 72 0 0 Updated Dec 6, 2025
View all repositories

Most used topics

Loading…