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