Quantum Annealing Prolog
☆40Jan 25, 2022Updated 4 years ago
Alternatives and similar repositories for QA-Prolog
Users that are interested in QA-Prolog are comparing it to the libraries listed below
Sorting:
- Run hardware descriptions on a quantum annealer☆25Sep 23, 2022Updated 3 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- Translate a subset of C to Verilog☆11May 8, 2019Updated 6 years ago
- A performance orientated QGL compiler.☆13Dec 19, 2023Updated 2 years ago
- Map constraint satisfaction problems with binary variables to binary quadratic models.☆21Mar 18, 2025Updated 11 months ago
- A Jupyter kernel for Prolog☆24May 7, 2024Updated last year
- Utilities and interfaces for using penalty models.☆19Aug 26, 2025Updated 6 months ago
- Functional Geometry in Prolog☆18May 17, 2020Updated 5 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆31Oct 18, 2017Updated 8 years ago
- Yes, Erlang in SWI-Prolog!☆12Jun 18, 2018Updated 7 years ago
- Fast, simplified WAM-based Prolog system☆25Oct 30, 2025Updated 4 months ago
- Tabu solver for QUBO/Ising problems.☆23Nov 25, 2022Updated 3 years ago
- CLP(BNR) module for SWI-Prolog☆44Updated this week
- Parallel Quantum Annealing☆10Jan 7, 2023Updated 3 years ago
- Quantum game of catsweeper flags☆22Jul 16, 2022Updated 3 years ago
- An Experimental Rust Crate for Post-Quantum Code-Signing Certificates.☆26Dec 11, 2021Updated 4 years ago
- Simple BlackJack game via Browser using SWI Prolog, Tau Prolog☆10Feb 2, 2020Updated 6 years ago
- Difflog: Synthesizing Datalog Programs using Numerical Relaxation☆12Sep 26, 2019Updated 6 years ago
- Extended DCG syntax for Prolog by Peter Van Roy☆21Mar 22, 2018Updated 7 years ago
- Quantum Computation Language port from http://tph.tuwien.ac.at/~oemer/qcl.html☆43Jan 13, 2018Updated 8 years ago
- Offline partial evaluation system for Prolog written using the cogen approach☆21Jul 19, 2016Updated 9 years ago
- Random ideas about libraries for Prolog☆12Nov 2, 2016Updated 9 years ago
- APL-like functions for use from Lua.☆18Mar 23, 2015Updated 10 years ago
- Julia package for generating random quantum states and processes according to a number of natural distributions.☆13Dec 16, 2022Updated 3 years ago
- Unitary and Lindbladian evolution in Julia☆28May 19, 2022Updated 3 years ago
- Generic lab tools in Julia☆15May 16, 2025Updated 9 months ago
- A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.☆20Apr 2, 2020Updated 5 years ago
- A small language to demo turning an interpreter into a compiler☆11Nov 3, 2016Updated 9 years ago
- ☆15May 9, 2025Updated 9 months ago
- ☆15Jan 22, 2017Updated 9 years ago
- match a Lua string, comment, or expression by loose parsing in pure Lua☆19Apr 19, 2013Updated 12 years ago
- Tutorial for the CHR system☆16Feb 8, 2021Updated 5 years ago
- An implementation of a simulated annealing sampler for general Ising model graphs in C++ with a dimod Python wrapper.☆60Nov 25, 2022Updated 3 years ago
- Python tools for analyzing both classical and quantum Bayesian Networks☆79Feb 13, 2023Updated 3 years ago
- Collates markdown into one file☆17Feb 1, 2018Updated 8 years ago
- miniKanren for search, SMT for solving☆13Oct 20, 2019Updated 6 years ago
- An R7RS implementation of Scheme written in Go☆15Apr 25, 2018Updated 7 years ago
- An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.☆17Jan 31, 2021Updated 5 years ago
- Julia library for quantum information related calculations.☆18Feb 21, 2022Updated 4 years ago