Explore @haslab Open Source projects

High-Assurance Software Laboratory (@haslab)

haslab

Stars
178
Global Org. Rank 42,439 (Top 14 %)
Registered about 11 years ago
Most used languages

Haskell
23.5 %

Java
17.6 %

C
17.6 %

Erlang
11.8 %

Coq 5.9 %

Scala
5.9 %

Python
5.9 %

Shell
5.9 %

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

Coq 2

Erlang
8

Haskell
11

Scala
40

Java
81

C
106

Shell
250

HTML
1,007

Python
1,513

Electrum

A model checker for relational first-order temporal specifications

echo

A tool for model repair and transformation

labhe

Labelled homomorphic encryption implementation (ESORICS 2017)

HAAP

Haskell Automated Assessment Platform

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

ccomp-simd

SIMD extensions for ccomp

ifta

MeT

SecreC

electrum-old

apex

hcispecs

Formal models of human-machine interfaces

QAIS

Quantitative Analysis of Interacting Systems

Interval-Tree-Clocks