Aditya Giridharan's repositories
img-restoration
Minor Project '18
qosf-mentorship-tasks
submission for the screening phase of the qosf mentorship program 2020
quantum-algorithms
A collection of quantum algorithms and their implementations
quantum-challenge-2020
Solutions to all 4 exercises of IBM's Quantum Challenge 2020 (https://quantum-computing.ibm.com/challenges/4anniversary)
Cirq
A python framework for creating, editing, and invoking Noisy Intermediate Scale Quantum (NISQ) circuits.
cryptopals
My solutions to the Matasano Challenges in Cryptography.
cyclegg
Cyclic theorem prover for equalitional reasoning using egraphs
deno
A secure JavaScript and TypeScript runtime
egg
egg is a flexible, high-performance e-graph library
jovo-framework
🔈 Build cross-platform Voice Apps for Amazon Alexa and Google Assistant
leveldb
LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.
loma_public
UCSD CSE 291
monthly-challenges
Repository containing monthly challenges about quantum computing.
msft-quantum-challenge-2020
Solutions to the Microsoft Q# Coding Contest 2020
oh-my-posh
A prompt theme engine for any shell.
penrose
Create beautiful diagrams just by typing mathematical notation in plain text.
qiskit-aer
Aer is a high performance simulator for quantum circuits that includes noise models
qiskit-ignis
Ignis provides tools for quantum hardware verification, noise characterization, and error correction.
qiskit-terra
Terra provides the foundations for Qiskit. It allows the user to write quantum circuits easily, and takes care of the constraints of real hardware.
qiskit-textbook
A university quantum algorithms/computation course supplement based on Qiskit
qiskit.org
The Qiskit official website