IRFANSHA (@irfansha)
github

irfansha

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    14
  • Global Rank 798,133 (Top 28 %)
  • Followers 8
  • Following 6
  • Registered over 6 years ago
  • Most used languages
    Python
         100.0 %
  • Location πŸ‡©πŸ‡° Denmark
  • Country Ranking
    Python
         523

Top repositories

1

Q-Synth

Tools for quantum circuits synthesis, optimization and others.
Python
6
star
2

SQval

A tool for Scalable QBF validation
Python
4
star
3

Q-Planner

A QBF based planner without grounding, efficient rewrite of https://github.com/irfansha/Planning.
Python
2
star
4

Q-sage

Generates ungrounded QBF encoding for 2-player positional games.
Python
2
star