Pinned Repositories
anyon-pyzx
anyon package of pyzx
Blogposts
Where to Start?
British-to-American-Spelling
British to American Spelling
corona-death
A DescisionTree model for prediction and comparison of death number
gpt-2
Code for the paper "Language Models are Unsupervised Multitask Learners"
lean-category-theory
An experimental category theory library for Lean
lean-monoidal-categories
lean3
Lean Theorem Prover
lean4
Lean 4 programming language and theorem prover
Spareroom_Project
A python code for extracting data from spareroom.com and storing data in a mysql database
RitaAhmadi's Repositories
RitaAhmadi/anyon-pyzx
anyon package of pyzx
RitaAhmadi/Blogposts
Where to Start?
RitaAhmadi/gpt-2
Code for the paper "Language Models are Unsupervised Multitask Learners"
RitaAhmadi/Spareroom_Project
A python code for extracting data from spareroom.com and storing data in a mysql database
RitaAhmadi/British-to-American-Spelling
British to American Spelling
RitaAhmadi/corona-death
A DescisionTree model for prediction and comparison of death number
RitaAhmadi/lean-category-theory
An experimental category theory library for Lean
RitaAhmadi/lean-monoidal-categories
RitaAhmadi/lean3
Lean Theorem Prover
RitaAhmadi/lean4
Lean 4 programming language and theorem prover
RitaAhmadi/machine-learning-for-physicists
Code for "Machine Learning for Physicists 2020" lecture series
RitaAhmadi/maths-dictionary
multilingual dictionary of mathematical terminology
RitaAhmadi/pytket
Python module for interfacing with CQC's core TKET library
RitaAhmadi/qiskit-finance
Quantum Finance
RitaAhmadi/qiskit-textbook
A university quantum algorithms/computation course supplement based on Qiskit
RitaAhmadi/qiskit-tutorials
A collection of Jupyter notebooks showing how to use the Qiskit SDK
RitaAhmadi/Quantum
Microsoft Quantum Development Kit Samples
RitaAhmadi/QuantumComputing
Quantum Computing for Finance
RitaAhmadi/quizx
A speedy Rust port of PyZX
RitaAhmadi/rita.ahmadi.github.io
A beautiful, simple, clean, and responsive Jekyll theme for academics
RitaAhmadi/rita0ahmadi.github.io
RitaAhmadi/ritaahmadi.github.io
Website
RitaAhmadi/Ritadahmadi.github.io
Website
RitaAhmadi/social-distancing-simulator
An artificial simulation of social distancing in the time of an epidemic.
RitaAhmadi/staq
A full-stack quantum processing toolkit