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 27 4

  3. Alloy4Fun Alloy4Fun Public

    Forked from jmcPereira/Alloy4FunWebApp

    A webapp for developing and sharing Alloy models

    JavaScript 22 4

  4. echo echo Public

    A tool for model repair and transformation

    Java 12 3

  5. halex halex Public

    Haskell 8 5

  6. labhe labhe Public

    Labelled homomorphic encryption implementation (ESORICS 2017)

    C 8 3

Repositories

Showing 10 of 29 repositories
  • why3do Public

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

    haslab/why3do’s past year of commit activity
    Shell 4 MIT 0 0 0 Updated Jul 22, 2024
  • jasmin Public Forked from jasmin-lang/jasmin

    Language for high-assurance and high-speed cryptography

    haslab/jasmin’s past year of commit activity
    Coq 0 MIT 57 0 0 Updated Jun 20, 2024
  • Alloy4Fun Public Forked from jmcPereira/Alloy4FunWebApp

    A webapp for developing and sharing Alloy models

    haslab/Alloy4Fun’s past year of commit activity
    JavaScript 22 MIT 6 8 1 Updated Jun 16, 2024
  • libjade Public Forked from formosa-crypto/libjade

    Crypto library

    haslab/libjade’s past year of commit activity
    eC 0 CC0-1.0 19 0 0 Updated Apr 17, 2023
  • 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 security mechanisms to designing telephone switching networks. This repository contains the code for the tool.

    haslab/Electrum2’s past year of commit activity
    Java 49 123 6 0 Updated Jan 30, 2023
  • ifta Public
    haslab/ifta’s past year of commit activity
    Scala 3 0 0 0 Updated Aug 12, 2022
  • Pardinus Public Forked from emina/kodkod

    An extension of the Kodkod relational model finder

    haslab/Pardinus’s past year of commit activity
    Java 5 MIT 23 3 1 Updated Dec 9, 2021
  • libjbn Public

    BigNums library for Jasmin

    haslab/libjbn’s past year of commit activity
    C 4 0 0 0 Updated Nov 26, 2021
  • Electrum Public

    A model checker for relational first-order temporal specifications

    haslab/Electrum’s past year of commit activity
    Java 27 4 5 3 Updated Jul 6, 2021
  • ccomp-simd Public

    SIMD extensions for ccomp

    haslab/ccomp-simd’s past year of commit activity
    C 3 1 0 0 Updated Mar 12, 2021
View all repositories

Most used topics

Loading…