jacopol

Aarhus UniversityDenmark

Pinned Repositories

libcuckoo
A high-performance, concurrent hash table
Language:C++1.6k 75 120275
imitator
IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuations for safety properties and more.
Language:OCaml27 10 14512
Q-Synth
Tools for quantum circuits synthesis, optimization and others.
Language:Python6 2 00
amc-petri-nets
Language:C++20
Qubi
Language:C++10
sylvan
Implementation of multi-core (binary) decision diagrams
Language:C00
sylvan
Implementation of multi-core (binary) decision diagrams
Language:C67 8 3129
buddy
Language:C10 9 17
ltsmin
The LTSmin model checking toolset
Language:C53 13 16731
sylvan
Multi-core Decision Diagram (BDD/LDD) implementation
Language:C41 11 108

jacopol's Repositories

jacopol/amc-petri-nets
Language:C++20
jacopol/Qubi
Language:C++10
jacopol/sylvan
Implementation of multi-core (binary) decision diagrams
Language:C00