ALCom Lab (@NTU-ALComLab)
Guthub

NTU-ALComLab

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    60
  • Global Org. Rank 73,271 (Top 24 %)
  • Registered over 6 years ago
  • Most used languages
    C
         45.5 %
    Python
         27.3 %
    C++
         27.3 %
  • Location πŸ‡ΉπŸ‡Ό Taiwan
  • Country Total Rank 1,987
  • Country Ranking
    C
         124
    C++
         525
    Python
         1,776

Top repositories

1

SliQSim

A BDD-based Quantum Circuit Simulator
C
17
star
2

SliQEC

A BDD-based Quantum Circuit Equivalence Checker
C
11
star
3

ssatABC

Stochastic SAT solver within ABC
C
5
star
4

SliQSim-Qiskit-Interface

The Qiskit Provider of SliQSim
Python
3
star
5

ext-folding

A circuit folding interface in ABC system
C++
3
star
6

ClauSSat

C++
2
star
7

SLENT

A Symbolic Model Checking Approach to the Analysis of String and Length Constraints
C
2
star
8

LogicRegression

C
2
star
9

MCC2021

Files to participate in the Model Counting Competition 2021
Python
1
star
10

ssat-benchmarks

Collection of SSAT instances
1
star
11

IWLS2021

Code repository for the IWLS 2021 Programming Contest
Python
1
star
12

TLCanonicalLib

A canonical library for threshold logic functions
1
star
13

ext-sample

A sampling circuit generator package embedded in abc.
C++
1
star