Explore @haslab Open Source projects

High-Assurance Software Laboratory (@haslab)

haslab

Stars
180
Global Org. Rank 42,765 (Top 14 %)
Registered over 11 years ago
Most used languages

Haskell
23.5 %

Java
17.6 %

C
17.6 %

Erlang
11.8 %

Scala
5.9 %

Coq 5.9 %

HTML
5.9 %

Python
5.9 %

Shell
5.9 %
Location 🇵🇹 Portugal
Country Total Rank 470
Country Ranking

Coq 2

Erlang
8

Haskell
10

Scala
36

Java
85

C
123

Shell
296

HTML
1,086

Python
1,472

Electrum

A model checker for relational first-order temporal specifications

echo

A tool for model repair and transformation

HAAP

Haskell Automated Assessment Platform

labhe

Labelled homomorphic encryption implementation (ESORICS 2017)

halex

Scalable-Bloom-Filters

CircGen

Dotted-Version-Vectors

libjbn

BigNums library for Jasmin

why3do

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

SecreC

ccomp-simd

SIMD extensions for ccomp

ifta

MeT

electrum-old

apex

hcispecs

Formal models of human-machine interfaces

QAIS

Quantitative Analysis of Interacting Systems

Interval-Tree-Clocks