A Maximum Independent Set (MIS) solver library using Quantum Computing
☆19Feb 27, 2026Updated last week
Alternatives and similar repositories for maximum-independent-set
Users that are interested in maximum-independent-set are comparing it to the libraries listed below
Sorting:
- The official Python library for the Log-hub API☆16Oct 27, 2025Updated 4 months ago
- Sends Sentry notifications to Mattermost Open Source Chat☆10Jan 10, 2023Updated 3 years ago
- Verification infrastructure for the Isabelle/HOL interactive proof assistant☆66Updated this week
- A decoding algorithm for quantum error correcting codes.☆16Feb 8, 2026Updated last month
- Amazing package to compute decompositions into irreducibles of explicit group representations and the Wedderburn decomposition for endomo…☆12Dec 22, 2025Updated 2 months ago
- An `AbstractTestSet` implementation and a helper macro for test execution with auto discovery and a neater test summary.☆11Dec 6, 2024Updated last year
- A Rougelike Peer-to-Peer Multi Player Dungeon Explorer Game written in Rust☆10Feb 12, 2022Updated 4 years ago
- Download raw data from the Fatality Analysis Reporting System and prepare it for research.☆11Dec 17, 2025Updated 2 months ago
- QArray - a GPU accelerated constant capacitance simulator for quantum dots☆12Jan 19, 2026Updated last month
- A tutorial on simulating quantum circuits and quantum error correction with tensor networks☆20Sep 20, 2025Updated 5 months ago
- Computer algebra tools for symbolic manipulations in quantum mechanics and quantum information☆42Feb 28, 2026Updated last week
- ☆19Feb 23, 2026Updated 2 weeks ago
- Python-based domain-specific language for computational magnetism.☆13Mar 2, 2026Updated last week
- This library makes it easy to request a navitia api in python☆10Feb 25, 2017Updated 9 years ago
- Optimised multi-node MPI sorting algorithms in Julia☆10Sep 25, 2024Updated last year
- TeGere! = Behave! — a Gherkin library for Clojure☆13Oct 12, 2023Updated 2 years ago
- Python 3 runtime libraries for ANTLR 4☆13Jun 7, 2015Updated 10 years ago
- Bundles all the protocols that are using COMMS library from comms_champion project into a single project☆10Feb 14, 2018Updated 8 years ago
- Open-source implementations of reference Physical True Random Number Generators (TRNG or PTRNG) based on ring oscillators.☆15Oct 15, 2025Updated 4 months ago
- JAX-based differentiable Kohn-Sham Density Functional Theory implementation for training quantum(-enhanced) neural exchange-correlation f…☆19Jan 29, 2026Updated last month
- A simulation of the true impact on climate and CO2 emissions of an electric car vs a traditional gasoline car, based on science.☆16Jan 29, 2026Updated last month
- The Rails application that powers OpenStreetMap☆12Aug 9, 2024Updated last year
- An R implementation of the ForSys program☆13Sep 3, 2025Updated 6 months ago
- Exercises for the Dafny Tutorial☆14May 21, 2018Updated 7 years ago
- A prototype of an SSA-based quantum IR exploiting value semantics☆12Jan 23, 2024Updated 2 years ago
- Hardware Accelerated MWPM decoder for Quantum Error Correction☆18Mar 23, 2025Updated 11 months ago
- Django database backend for MySQL via oursql.☆37Feb 25, 2012Updated 14 years ago
- An example of how to run Java in the browser with help from WebAssembly and TeaVM☆10Feb 9, 2023Updated 3 years ago
- ☆10Nov 21, 2023Updated 2 years ago
- A SQL-esque scripting language for spatial processing and ETL☆11Mar 4, 2019Updated 7 years ago
- A risc v based architecture to develop a core/ processor which is capable of Matrix MAC Operations☆11Apr 21, 2024Updated last year
- Distributed SDDMM Kernel☆12Jul 8, 2022Updated 3 years ago
- Graph-theoretical optimization of fusion-based graph state generation☆11Jun 4, 2025Updated 9 months ago
- the xoroshiro32++ and xoroshiro64++ PRNG algorthims by David Blackman and Sebastiano Vigna in C++, Verilog, VHDL and SpinalHDL.☆16Dec 2, 2018Updated 7 years ago
- ☆12Feb 9, 2026Updated last month
- Flower is a Clojure (and Emacs) library for integration with Github, Gitlab, Atlassian Jira, Microsoft TFS, Microsoft Exchange and Slack.…☆15Apr 16, 2022Updated 3 years ago
- CASprzak is a Computer Algebra System by EasyKayzey (Erez Abrams and Michael Kasprzak)☆11Jul 17, 2025Updated 7 months ago
- Rust SDK for Rigetti Quantum Cloud Services (QCS)☆14Mar 2, 2026Updated last week
- A library for analyzing Quantum Error Correction Codes from their Tanner Graphs.☆14Aug 23, 2025Updated 6 months ago