Repositories list

• HyperPardinus-benchmarks

  Public
  Docker and benchmarks for the HyperPardinus tool

  Alloy

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 10, 2026Apr 10, 2026

• HyperPardinus

  Public

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

  Java

  •

  Other

  •11 fork•00 stars•00 issues•00 pull requests•Updated Apr 9, 2026Apr 9, 2026

• HCIspecs-models

  Public

  haslab/HCIspecs-models’s past year of commit activity
  The models for the HCIspecs repository. Submit your model here.

  SWIG

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 6, 2026Mar 6, 2026

• JasminCode

  Public

  haslab/JasminCode’s past year of commit activity
  Jasmin Code repository

  Python

  •

  Apache License 2.0

  •00 forks•11 star•00 issues•00 pull requests•Updated Feb 26, 2026Feb 26, 2026

• Alloy-LLM-Testing

  Public

  haslab/Alloy-LLM-Testing’s past year of commit activity
  Scripts for the LLM generation, and subsequent validation, of Alloy instances fro, natural languages requirements.

  Python

  •00 forks•00 stars•00 issues•00 pull requests•Updated Feb 26, 2026Feb 26, 2026

• Alloy4Fun

  Public

  haslab/Alloy4Fun’s past year of commit activity
  A webapp for developing and sharing Alloy models

  JavaScript

  •

  MIT License

  •1010 forks•2727 stars•88 issues•22 pull requests•Updated Feb 20, 2026Feb 20, 2026

• Specification-Narrowing

  Public

  haslab/Specification-Narrowing’s past year of commit activity
  Alloy

  •00 forks•00 stars•00 issues•00 pull requests•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

  •77 forks•00 stars•00 issues•00 pull requests•Updated Jan 8, 2026Jan 8, 2026

• HyperSMV

  Public

  haslab/HyperSMV’s past year of commit activity
  HyperSMV model checker

  Haskell

  •

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

  •00 forks•00 stars•00 issues•00 pull requests•Updated Dec 16, 2025Dec 16, 2025

• jasmin

  Public

  haslab/jasmin’s past year of commit activity
  Language for high-assurance and high-speed cryptography

  Rocq Prover

  •

  MIT License

  •7171 forks•00 stars•00 issues•00 pull requests•Updated Dec 6, 2025Dec 6, 2025

• why3do

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

  Shell

  •

  MIT License

  •00 forks•99 stars•00 issues•00 pull requests•Updated Apr 4, 2025Apr 4, 2025

• libjade

  Public
  Crypto library

  eC

  •

  Creative Commons Zero v1.0 Universal

  •1717 forks•00 stars•00 issues•00 pull requests•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

  •140140 forks•4949 stars•66 issues•00 pull requests•Updated Jan 30, 2023Jan 30, 2023

• ifta

  Public
  Scala

  •00 forks•33 stars•00 issues•00 pull requests•Updated Aug 12, 2022Aug 12, 2022

• Pardinus

  Public
  An extension of the Kodkod relational model finder

  Java

  •

  MIT License

  •2727 forks•55 stars•33 issues•11 pull request•Updated Dec 9, 2021Dec 9, 2021

• libjbn

  Public
  BigNums library for Jasmin

  C

  •00 forks•44 stars•00 issues•00 pull requests•Updated Nov 26, 2021Nov 26, 2021

• Electrum

  Public
  A model checker for relational first-order temporal specifications

  Java

  •44 forks•2929 stars•55 issues•33 pull requests•Updated Jul 6, 2021Jul 6, 2021

• ccomp-simd

  Public
  SIMD extensions for ccomp

  C

  •11 fork•55 stars•00 issues•00 pull requests•Updated Mar 12, 2021Mar 12, 2021

• LangSMC

  Public
  Language-based Secure Multiparty Computation

  eC

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Dec 23, 2020Dec 23, 2020

• Reassure

  Public
  Reassure Project

  C

  •00 forks•00 stars•00 issues•00 pull requests•Updated Oct 19, 2020Oct 19, 2020

• CircGen

  Public
  Coq

  •11 fork•66 stars•00 issues•00 pull requests•Updated Aug 3, 2020Aug 3, 2020

• HAAP

  Public
  Haskell Automated Assessment Platform

  Haskell

  •

  MIT License

  •11 fork•99 stars•00 issues•00 pull requests•Updated Dec 9, 2019Dec 9, 2019

• labhe

  Public
  Labelled homomorphic encryption implementation (ESORICS 2017)

  C

  •

  MIT License

  •33 forks•88 stars•00 issues•00 pull requests•Updated May 30, 2019May 30, 2019

• echo

  Public
  A tool for model repair and transformation

  Java

  •

  Eclipse Public License 1.0

  •33 forks•1212 stars•1515 issues•00 pull requests•Updated Oct 5, 2018Oct 5, 2018

• CRDTs

  Public
  CRDTs @ HASLab

  00 forks•00 stars•00 issues•00 pull requests•Updated Jun 8, 2018Jun 8, 2018

• SecreC

  Public
  Haskell

  •

  GNU General Public License v3.0

  •22 forks•33 stars•11 issue•00 pull requests•Updated Nov 19, 2017Nov 19, 2017

• hcispecs

  Public
  Formal models of human-machine interfaces

  HTML

  •00 forks•11 star•00 issues•00 pull requests•Updated Sep 28, 2017Sep 28, 2017

• electrum-old

  Public
  00 forks•22 stars•00 issues•00 pull requests•Updated Jul 30, 2016Jul 30, 2016

• exactly-once-transfer

  Public
  Exactly once quantity transfer

  C++

  •00 forks•00 stars•00 issues•00 pull requests•Updated Feb 12, 2016Feb 12, 2016

• QAIS

  Public
  Quantitative Analysis of Interacting Systems

  Haskell

  •11 fork•11 star•00 issues•00 pull requests•Updated May 10, 2015May 10, 2015