Popular repositories Loading

1. mata mata Public

   Forked from VeriFIT/mata

   A fast and simple automata library

   Stata

2. mata-sim-eval mata-sim-eval Public

   Forked from samo538/mata-sim-iny

   Evaluation enviroment for simulation algorithm implemented in libmata (https://github.com/VeriFIT/mata)

   Stata

3. AutoQ AutoQ Public

   Forked from fmlab-iis/AutoQ

   OpenQASM

4. SliQSim SliQSim Public

   Forked from NTU-ALComLab/SliQSim

   A BDD-based Quantum Circuit Simulator

   HTML

5. ddsim ddsim Public

   Forked from munich-quantum-toolkit/ddsim

   MQT DDSIM - A quantum circuit simulator based on decision diagrams written in C++

   C++