Skip to content
Change the repository type filter

All

    Repositories list

    • Docker and benchmarks for the HyperPardinus tool
      Alloy
      0000Updated Apr 10, 2026Apr 10, 2026
    • HyperPardinus

      Public
      HyperPardinus Model Finder
      Java
      Other
      1000Updated Apr 9, 2026Apr 9, 2026
    • HCIspecs-models

      Public
      The models for the HCIspecs repository. Submit your model here.
      SWIG
      0000Updated Mar 6, 2026Mar 6, 2026
    • JasminCode

      Public
      Jasmin Code repository
      Python
      Apache License 2.0
      0100Updated 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
      0000Updated Feb 26, 2026Feb 26, 2026
    • Alloy4Fun

      Public
      A webapp for developing and sharing Alloy models
      JavaScript
      MIT License
      102782Updated Feb 20, 2026Feb 20, 2026
    • Specification-Narrowing

      Public
      Alloy
      0000Updated Feb 12, 2026Feb 12, 2026
    • scloudplus

      Public
      Scloud+: An Efficient LWE-based KEM Without Ring/Module Structure
      C
      MIT License
      7000Updated Jan 8, 2026Jan 8, 2026
    • HyperSMV

      Public
      HyperSMV model checker
      Haskell
      BSD 3-Clause "New" or "Revised" License
      0000Updated Dec 16, 2025Dec 16, 2025
    • jasmin

      Public
      Language for high-assurance and high-speed cryptography
      Rocq Prover
      MIT License
      71000Updated Dec 6, 2025Dec 6, 2025
    • why3do

      Public
      Why3-do: a WhyML library for state machine specifications and distributed systems
      Shell
      MIT License
      0900Updated Apr 4, 2025Apr 4, 2025
    • libjade

      Public
      Crypto library
      eC
      Creative Commons Zero v1.0 Universal
      17000Updated 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
      1404960Updated Jan 30, 2023Jan 30, 2023
    • ifta

      Public
      Scala
      0300Updated Aug 12, 2022Aug 12, 2022
    • Pardinus

      Public
      An extension of the Kodkod relational model finder
      Java
      MIT License
      27531Updated Dec 9, 2021Dec 9, 2021
    • libjbn

      Public
      BigNums library for Jasmin
      C
      0400Updated Nov 26, 2021Nov 26, 2021
    • Electrum

      Public
      A model checker for relational first-order temporal specifications
      Java
      42953Updated Jul 6, 2021Jul 6, 2021
    • SIMD extensions for ccomp
      C
      1500Updated Mar 12, 2021Mar 12, 2021
    • LangSMC

      Public
      Language-based Secure Multiparty Computation
      eC
      MIT License
      0000Updated Dec 23, 2020Dec 23, 2020
    • Reassure

      Public
      Reassure Project
      C
      0000Updated Oct 19, 2020Oct 19, 2020
    • CircGen

      Public
      Coq
      1600Updated Aug 3, 2020Aug 3, 2020
    • HAAP

      Public
      Haskell Automated Assessment Platform
      Haskell
      MIT License
      1900Updated Dec 9, 2019Dec 9, 2019
    • labhe

      Public
      Labelled homomorphic encryption implementation (ESORICS 2017)
      C
      MIT License
      3800Updated May 30, 2019May 30, 2019
    • echo

      Public
      A tool for model repair and transformation
      Java
      Eclipse Public License 1.0
      312150Updated Oct 5, 2018Oct 5, 2018
    • CRDTs

      Public
      CRDTs @ HASLab
      0000Updated Jun 8, 2018Jun 8, 2018
    • SecreC

      Public
      Haskell
      GNU General Public License v3.0
      2310Updated Nov 19, 2017Nov 19, 2017
    • hcispecs

      Public
      Formal models of human-machine interfaces
      HTML
      0100Updated Sep 28, 2017Sep 28, 2017
    • 0200Updated Jul 30, 2016Jul 30, 2016
    • Exactly once quantity transfer
      C++
      0000Updated Feb 12, 2016Feb 12, 2016
    • QAIS

      Public
      Quantitative Analysis of Interacting Systems
      Haskell
      1100Updated May 10, 2015May 10, 2015
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.