shakes76 / ModernComputation
Example Code for Teaching Computation Theory
โ21Updated 5 years ago
Alternatives and similar repositories for ModernComputation:
Users that are interested in ModernComputation are comparing it to the libraries listed below
- Qurry (was) a prototype for a functional quantum programming language. It incorporated many aspects of functional programming (Haskell, Cโฆโ25Updated 5 years ago
- ๐ฎ Monitoring the load of IBM Q processorsโ22Updated 6 years ago
- A scalable quantum network simulator based on cost vector analysis implemented in Julia.โ15Updated 3 years ago
- A curated list of projects developed using the Forest quantum programming environment.โ42Updated 5 years ago
- Quantum programming language putting entanglement and superposition front and centerโ41Updated last year
- Playable quantum game theory gamesโ68Updated 2 years ago
- Qiskit Camp - Hackaton Madrid 2019 - Quantum Game of Lifeโ31Updated last year
- An Infinite Descent into Pure Mathematicsโ42Updated 4 years ago
- Macaulay2 web app with support for KaTeX and HTML outputโ17Updated last month
- Quantum Annealing Prologโ39Updated 3 years ago
- QuantumFlow: A Quantum Algorithms Development Toolkitโ59Updated 6 months ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.โ70Updated last year
- Quantum game of catsweeper flagsโ23Updated 2 years ago
- A curated implementation of quantum algorithms with Yao.jlโ98Updated last year
- A quantum circuit language and formal verification toolโ96Updated last year
- A reference implementation for a quantum virtual machine in Pythonโ46Updated 6 years ago
- minorminer is a heuristic tool for minor embedding: given a minor and target graph, it tries to find a mapping that embeds the minor intoโฆโ48Updated last month
- An implementation of the NISQ neural network described in Farhi and Neven (1802.06002)โ15Updated 5 years ago
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.โ45Updated 6 years ago
- FunQy - A high-level hybrid quantum programming languageโ33Updated 4 years ago
- A place to put our 2018 Xena project UROP thoughts and programs.โ25Updated 4 years ago
- Quipper: embedded, scalable functional programming language for quantum computing (unofficial fork)โ84Updated 9 years ago
- Arithmetic library for IBM Qiskitโ36Updated 3 years ago
- A series of short stories describing quantum algorithms and their use-cases.โ23Updated 10 months ago
- Quantum ramblings and moreโ25Updated 2 years ago
- A system for computational category theory and applicationsโ38Updated 8 years ago
- YaoLang: The next DSL for Yao and quantum programs.โ31Updated 3 years ago
- Latex notes on papers, courses, ideas: Pure math and computer science.โ61Updated last year
- Standard basic quantum circuit simulator building blocks. (archived, for it is moved to Yao.jl)โ26Updated 3 years ago
- Code for implementing the quantum log-likelihood using PennyLane and TensorFlow.โ11Updated 5 years ago