Repositories list

• HCIspecs-models

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

  SWIG

  •0•0•0•0•Updated Feb 27, 2026Feb 27, 2026

• JasminCode

  Public
  Jasmin Code repository

  Python

  •

  Apache License 2.0

  •0•1•0•0•Updated Feb 26, 2026Feb 26, 2026

• Alloy-LLM-Testing

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

  Python

  •0•0•0•0•Updated Feb 26, 2026Feb 26, 2026

• Alloy4Fun

  Public
  A webapp for developing and sharing Alloy models

  JavaScript

  •

  MIT License

  •10•27•8•2•Updated Feb 20, 2026Feb 20, 2026

• Specification-Narrowing

  Public
  Alloy

  •0•0•0•0•Updated Feb 12, 2026Feb 12, 2026

• scloudplus

  Public

  haslab/scloudplus’s past year of commit activity
  Scloud+: An Efficient LWE-based KEM Without Ring/Module Structure

  C

  •

  MIT License

  •6•0•0•0•Updated Jan 8, 2026Jan 8, 2026

• HyperPardinus

  Public

  haslab/HyperPardinus’s past year of commit activity
  HyperPardinus Model Finder

  Java

  •

  Other

  •0•0•0•0•Updated Dec 29, 2025Dec 29, 2025

• HyperPardinus-benchmarks

  Public
  Docker and benchmarks for the HyperPardinus tool

  Alloy

  •0•0•0•0•Updated Dec 23, 2025Dec 23, 2025

• HyperSMV

  Public
  HyperSMV model checker

  Haskell

  •

  BSD 3-Clause "New" or "Revised" License

  •0•0•0•0•Updated Dec 16, 2025Dec 16, 2025

• jasmin

  Public
  Language for high-assurance and high-speed cryptography

  Rocq Prover

  •

  MIT License

  •69•0•0•0•Updated Dec 6, 2025Dec 6, 2025

• why3do

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

  Shell

  •

  MIT License

  •0•9•0•0•Updated Apr 4, 2025Apr 4, 2025

• libjade

  Public
  Crypto library

  eC

  •

  Creative Commons Zero v1.0 Universal

  •18•0•0•0•Updated Apr 17, 2023Apr 17, 2023

• Electrum2

  Public
  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 appl…

  Java

  •

  Other

  •138•49•6•0•Updated Jan 30, 2023Jan 30, 2023

• ifta

  Public
  Scala

  •0•3•0•0•Updated Aug 12, 2022Aug 12, 2022

• Pardinus

  Public
  An extension of the Kodkod relational model finder

  Java

  •

  MIT License

  •27•5•3•1•Updated Dec 9, 2021Dec 9, 2021

• libjbn

  Public
  BigNums library for Jasmin

  C

  •0•4•0•0•Updated Nov 26, 2021Nov 26, 2021

• Electrum

  Public
  A model checker for relational first-order temporal specifications

  Java

  •4•29•5•3•Updated Jul 6, 2021Jul 6, 2021

• ccomp-simd

  Public
  SIMD extensions for ccomp

  C

  •1•3•0•0•Updated Mar 12, 2021Mar 12, 2021

• LangSMC

  Public
  Language-based Secure Multiparty Computation

  eC

  •

  MIT License

  •0•0•0•0•Updated Dec 23, 2020Dec 23, 2020

• Reassure

  Public
  Reassure Project

  C

  •0•0•0•0•Updated Oct 19, 2020Oct 19, 2020

• CircGen

  Public
  Coq

  •1•6•0•0•Updated Aug 3, 2020Aug 3, 2020

• HAAP

  Public
  Haskell Automated Assessment Platform

  Haskell

  •

  MIT License

  •1•9•0•0•Updated Dec 9, 2019Dec 9, 2019

• labhe

  Public
  Labelled homomorphic encryption implementation (ESORICS 2017)

  C

  •

  MIT License

  •3•8•0•0•Updated May 30, 2019May 30, 2019

• echo

  Public
  A tool for model repair and transformation

  Java

  •

  Eclipse Public License 1.0

  •3•12•15•0•Updated Oct 5, 2018Oct 5, 2018

• CRDTs

  Public
  CRDTs @ HASLab

  0•0•0•0•Updated Jun 8, 2018Jun 8, 2018

• SecreC

  Public
  Haskell

  •

  GNU General Public License v3.0

  •2•3•1•0•Updated Nov 19, 2017Nov 19, 2017

• hcispecs

  Public
  Formal models of human-machine interfaces

  HTML

  •0•1•0•0•Updated Sep 28, 2017Sep 28, 2017

• electrum-old

  Public
  0•2•0•0•Updated Jul 30, 2016Jul 30, 2016

• exactly-once-transfer

  Public
  Exactly once quantity transfer

  C++

  •0•0•0•0•Updated Feb 12, 2016Feb 12, 2016

• QAIS

  Public
  Quantitative Analysis of Interacting Systems

  Haskell

  •1•1•0•0•Updated May 10, 2015May 10, 2015