Solovay Kitaev algorithm
☆12Aug 14, 2019Updated 7 years ago
Alternatives and similar repositories for sk
Users that are interested in sk are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Bitblasting functions into boolean formulas☆11Oct 17, 2013Updated 13 years ago
- Call functions automatically when Common Lisp exit☆13May 25, 2021Updated 5 years ago
- Lecture notes from Introduction to Conformal Field Theory course given by Dr. Tobias Osborne.☆16Sep 7, 2021Updated 5 years ago
- Generate CHANGELOG entries out of commit messages using AI/ML techniques☆11Oct 17, 2023Updated 3 years ago
- An experimental python library to compile and analyze the cost of any desired composite simulation in real or imaginary time, and with or…☆11Feb 9, 2024Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Tool for effective and efficient detection of API misuses.☆11May 20, 2022Updated 4 years ago
- A compatible re-implementation of the BibTeX program in Common Lisp, with a BST-to-CL compiler. By Matthias Köppe☆29Dec 5, 2018Updated 7 years ago
- A collection of awesome Coalton libraries, tutorials, examples, and applications.☆13Apr 30, 2026Updated 6 months ago
- WASM to CL transpiler☆15Oct 11, 2026Updated 2 weeks ago
- A literate programming system for Common Lisp.☆25Apr 30, 2021Updated 5 years ago
- Common Lisp implementation of (grid restrained) Nelder-Mead☆14Jan 26, 2018Updated 8 years ago
- This is a JSON parser implemented in Coalton.☆11Jun 2, 2024Updated 2 years ago
- 復現學長的鋰電池壽命預測模型☆10Aug 23, 2023Updated 3 years ago
- Exploiting SNP correlations within Random Forest for Genome-Wide Association Studies☆13Oct 20, 2014Updated 12 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Google Summer of Code (GSOC) Machine Learning for Science (ML4SCI) Quantum Machine Learning for High Energy Physics (HEP)☆13Jun 24, 2024Updated 2 years ago
- 3D Computational Geometry in C++11☆21Oct 23, 2018Updated 8 years ago
- ☆16Sep 23, 2024Updated 2 years ago
- Computations in the monodromy polytope for quantum gate sets☆18Sep 10, 2026Updated last month
- Livin' like it's 1813 (or 1988).☆35Dec 13, 2025Updated 10 months ago
- dwave-gate provides the functionality for generating quantum circuit description language (QCDL) programs.☆17Oct 1, 2026Updated 3 weeks ago
- Small Stack-Based Computer Compiler -- Verilog micro controller for FPGA housekeeping with peripherals☆16Jan 11, 2020Updated 6 years ago
- Intervals and interval trees for Common Lisp☆21Oct 31, 2018Updated 8 years ago
- A lisp dedicated to bnl intended for use under 2.11BSD on a PDP-11☆21Dec 20, 2022Updated 3 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- QREM - Quantum Readout Errors Mitigation, an open-source package for implementing techniques of measurement error mitigation on quantum d…☆20Jan 12, 2022Updated 4 years ago
- Python version gridsynth program computes approximations of Z-rotations over the Clifford+T gate set☆35Jan 9, 2026Updated 9 months ago
- Trivial portability for raw *nix IO in Common Lisp☆20Dec 2, 2014Updated 11 years ago
- UNIX signal handling library for Common Lisp.☆36Jun 25, 2019Updated 7 years ago
- Jet is a cross-platform library for simulating quantum circuits using tensor network contractions.☆61Sep 16, 2026Updated last month
- ☆13Dec 9, 2024Updated last year
- Code and dataset for SNP2Vec paper☆21May 12, 2023Updated 3 years ago
- QiskitFlow. Framework for reproducible quantum experiments☆11Jun 30, 2021Updated 5 years ago
- Functional IO interfaces and implementation for Coalton. Includes terminal IO, file system IO, random variables, mutable variables, multi…☆20Jul 26, 2026Updated 3 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Specifications for my homebrew CPU 'Titan'☆18Nov 24, 2016Updated 9 years ago
- Hunchentoot and CL-WHO utility library☆23Oct 30, 2016Updated 10 years ago
- ☆14Nov 4, 2025Updated 11 months ago
- A quantum circuit optimizer based on sum-over-paths representations☆26Nov 8, 2019Updated 6 years ago
- 🤖 An automated NTU Thesis LaTeX continuous integration and continuous deploying service built up with GitHub Actions.☆10May 8, 2020Updated 6 years ago
- ☆39Apr 17, 2019Updated 7 years ago
- 🦜 Floq: Accelerate the world's discoveries through high-performance quantum simulation and optimization.☆19Sep 30, 2021Updated 5 years ago