Learn Qiskit with Qiskit Textbook
☆59Jul 18, 2025Updated 11 months ago
Alternatives and similar repositories for Learn-Quantum-Computing-with-Qiskit
Users that are interested in Learn-Quantum-Computing-with-Qiskit are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Computational Methods for Physicist: Projects in Computational Physics☆13Jul 20, 2023Updated 2 years ago
- This repository contain links to notes, lectures and solutions to the the qiskit events from year 2020 to present☆14Sep 4, 2024Updated last year
- This is a repository of scripts developed as part of the 2020 ENCMP100 Section B3 lecture taught at University of Alberta.☆10Apr 2, 2020Updated 6 years ago
- List of some personal QML Projects☆112Jul 12, 2023Updated 2 years ago
- Implementations of Grover oracles for the block ciphers AES and LowMC in the quantum-focused programming language Q#☆19Jun 5, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Learning algorithm implementation and experiments in the paper "A Composable Specification Language for Reinforcement Learning Tasks" (ht…☆18Nov 23, 2020Updated 5 years ago
- An open-source control library for electrostatically confined spin-qubits developed by HRL Quantum and based on the Quantum Instrumentati…☆39Jun 2, 2026Updated last month
- rubikcubegroup魔方定理证明+视频分享。discuss here: https://lean4daydayup.zulipchat.com/join/45reytdk5yv7t7sheywhulw3/☆14Apr 16, 2024Updated 2 years ago
- Tools for making game with IBM Qiskit☆22Apr 16, 2020Updated 6 years ago
- Long-Horizon Motion Planning with Branch-and-Bound and Neural Dynamics☆20Mar 16, 2025Updated last year
- ☆19Apr 5, 2025Updated last year
- Lean 形式化数学☆18Dec 20, 2025Updated 6 months ago
- ☆19Jan 20, 2025Updated last year
- The Lean Theorem Proving Environment☆15May 7, 2023Updated 3 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.
- Example formalization of Game Theoretic concepts in Lean☆28Feb 14, 2025Updated last year
- pytorch实现的Faster-RCNN模型，参考了许多人写的代码积累起来的。☆12Jul 30, 2020Updated 5 years ago
- ☆19Mar 22, 2019Updated 7 years ago
- https://learningos.github.io/ucore_os_webdocs/☆13Mar 3, 2020Updated 6 years ago
- 電脳麻将の思考ルーチン☆20Mar 12, 2026Updated 3 months ago
- Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.☆35Mar 25, 2026Updated 3 months ago
- A Rust built code judger utils with Web & CLI executables☆18Apr 7, 2025Updated last year
- Damn Small Python compiler designed for use on Arduino for educational purposes. Based on LLVM.☆15Jan 29, 2023Updated 3 years ago
- ☆36Jul 23, 2024Updated last year
- 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.
- libexecinfo for musl libc☆15Apr 16, 2022Updated 4 years ago
- Text classification based on deep learning algorithms☆10Apr 22, 2020Updated 6 years ago
- ☆30Jul 16, 2025Updated 11 months ago
- Official code for paper: Conservative objective models are a special kind of contrastive divergence-based energy model☆14Aug 15, 2023Updated 2 years ago
- Formalization of IMO shortlist problems in Lean 4☆25May 2, 2026Updated 2 months ago
- ☆33Jun 12, 2025Updated last year
- Hands-On Web Development with Flask Published by Packt☆11Jan 15, 2021Updated 5 years ago
- Prize-winning solution to the M6 Forecasting Competition☆23Jan 16, 2023Updated 3 years ago
- My Master's thesis. Reinforcement Learning for LTLf/LDLf goals.☆10Aug 25, 2018Updated 7 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.
- Datasets used in PyCaret☆12Mar 3, 2022Updated 4 years ago
- Starter template for LLM chat interface WITH text streaming☆13Mar 5, 2024Updated 2 years ago
- Proof recording for Lean 3☆27Sep 30, 2021Updated 4 years ago
- New version☆63Oct 11, 2023Updated 2 years ago
- A pytorch toolbox designed for experimentation using a generalization of the Resnet design.☆15Jul 6, 2023Updated 2 years ago
- Project of hardware course group in Tongji University☆15Dec 26, 2019Updated 6 years ago
- ☆11Mar 4, 2024Updated 2 years ago