kwalus / QCADesigner

Related projects: ⓘ

• FSillT / QCADesigner-E
  Extended QCADesigner with estimation of energy dissipation
  ☆14Updated 5 years ago
• lsils / bill
  C++ header-only reasoning library
  ☆11Updated 2 months ago
• msoeken / cirkit
  A circuit toolkit
  ☆95Updated 4 years ago
• cda-tum / fiction
  An open-source design automation framework for Field-coupled Nanotechnologies
  ☆56Updated this week
• erinzm / SageMathematics-raspi
  Sage Math recompiled to run on the Raspberry Pi
  ☆14Updated 8 years ago
• gmeuli / caterpillar
  ☆22Updated 3 years ago
• siqad / siqad
  SiQAD graphical user interface for designing atomic silicon quantum dot assemblies.
  ☆13Updated this week
• hriener / lorina
  C++ parsing library for simple formats used in logic synthesis and formal verification
  ☆35Updated 2 months ago
• msoeken / kitty
  C++ truth table library
  ☆49Updated 5 months ago
• fmozafari / angel
  C++ Library for Quantum State Preparation (QSP)
  ☆10Updated last year
• lsils / lstools-showcase
  Showcase examples for EPFL logic synthesis libraries
  ☆176Updated 5 months ago
• embray / gappy
  Python interface to GAP
  ☆13Updated 3 months ago
• AU-PSL / demon_simulation_code
  2D molecular dynamics simulation of dust in dusty plasmas
  ☆11Updated 6 years ago
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆42Updated 2 weeks ago
• faishasj / spirograph
  ✏️ A web app for visualising hypotrochoids and epitrochoids.
  ☆14Updated 5 years ago
• msoeken / revkit
  RevKit: Python quantum compilation library and framework
  ☆24Updated 5 years ago
• meelgroup / arjun
  CNF minimizer and minimal independent set calculator
  ☆14Updated 2 months ago
• whaaswijk / percy
  An advanced header-only exact synthesis library
  ☆22Updated last year
• arminbiere / lingeling
  Lingeling SAT Solver
  ☆96Updated 6 months ago
• lsils / percy
  C++ header-only exact synthesis library
  ☆15Updated last year
• boschmitt / tweedledum
  C++17 Library for analysis, compilation/synthesis, and optimization of quantum circuits
  ☆97Updated last year
• ivmai / cudd
  CUDD: CU Decision Diagram package - unofficial git mirror of https://web.archive.org/web/20180127051756/http://vlsi.colorado.edu/~fabio/C…
  ☆114Updated last year
• ysiraichi / enfield
  An OpenQASM source-to-source Compiler.
  ☆20Updated 5 years ago
• arminbiere / aiger
  AIGER And-Inverter-Graph Library
  ☆57Updated 3 months ago
• d-kfmnn / amulet2
  AMulet 2. - A better AIG Multiplier Examination Tool
  ☆20Updated last year
• 4ti2 / 4ti2
  A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…
  ☆32Updated 6 months ago
• rutgers-apl / fpsanitizer
  A debugger to detect and diagnose numerical errors in floating point programs
  ☆12Updated 2 years ago
• UCLA-VAST / QUEKO-benchmark
  ☆22Updated 2 years ago
• mvcisback / py-aiger
  py-aiger: A python library for manipulating sequential and combinatorial circuits encoded using `and` & `inverter` gates (AIGs).
  ☆40Updated 6 months ago
• uchuuproject / spark-intro-course
  Material for the PySpark course
  ☆14Updated 4 years ago