zaqqwerty

Pinned Repositories

Cirq
A python framework for creating, editing, and invoking Noisy Intermediate Scale Quantum (NISQ) circuits.
Language:Python0 1 00
cpython
The Python programming language
Language:Python0 0 00
lean4
Lean 4 programming language and theorem prover
Language:Lean0 0 00
math2001
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
Language:HTML0 0 00
new-project
This repository contains a template you can use to seed a repository for a new open source project.
0 1 00
outlines
Generative Model Programming
Language:Python0 0 00
pennylane
PennyLane is a cross-platform Python library for quantum machine learning, automatic differentiation, and optimization of hybrid quantum-classical computations
Language:Python1 1 00
qhbm-library
Quantum Hamiltonian-Based Models built on TensorFlow Quantum
Language:Python0 1 00
quantum
Hybrid Quantum-Classical Machine Learning in TensorFlow
Language:Python0 1 00

zaqqwerty's Repositories

zaqqwerty/pennylane
PennyLane is a cross-platform Python library for quantum machine learning, automatic differentiation, and optimization of hybrid quantum-classical computations
Language:Python1 1 00
zaqqwerty/Cirq
A python framework for creating, editing, and invoking Noisy Intermediate Scale Quantum (NISQ) circuits.
Language:Python0 1 00
zaqqwerty/cpython
The Python programming language
Language:Python0 0 00
zaqqwerty/lean4
Lean 4 programming language and theorem prover
Language:Lean0 0 00
zaqqwerty/math2001
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
Language:HTML0 0 00
zaqqwerty/new-project
This repository contains a template you can use to seed a repository for a new open source project.
0 1 00
zaqqwerty/outlines
Generative Model Programming
Language:Python0 0 00
zaqqwerty/qhbm-library
Quantum Hamiltonian-Based Models built on TensorFlow Quantum
Language:Python0 1 00
zaqqwerty/quantum
Hybrid Quantum-Classical Machine Learning in TensorFlow
Language:Python0 1 00
zaqqwerty/stellar-core
stellar-core is the backbone of the Stellar network. It maintains a local copy of the ledger, communicating and staying in sync with other instances of stellar-core on the network. Optionally, stellar-core can store historical records of the ledger and participate in consensus.
Language:C0 1 00
zaqqwerty/urbit-webrtc
WebRTC integration for Urbit: https://grants.urbit.org/proposals/21131866-webrtc-gall-agent-and-external-app
Language:TypeScript0 1 00