-
math2001 Public
Forked from hrmacbeth/math2001Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
HTML UpdatedSep 10, 2024 -
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedMar 13, 2024 -
outlines Public
Forked from dottxt-ai/outlinesGenerative Model Programming
Python Apache License 2.0 UpdatedAug 22, 2023 -
cpython Public
Forked from python/cpythonThe Python programming language
Python Other UpdatedNov 2, 2022 -
qhbm-library Public
Forked from google/qhbm-libraryQuantum Hamiltonian-Based Models built on TensorFlow Quantum
Python Apache License 2.0 UpdatedApr 28, 2022 -
quantum Public
Forked from tensorflow/quantumHybrid Quantum-Classical Machine Learning in TensorFlow
Python Apache License 2.0 UpdatedApr 7, 2022 -
urbit-webrtc Public
Forked from urbit/urbit-webrtcWebRTC integration for Urbit: https://grants.urbit.org/proposals/21131866-webrtc-gall-agent-and-external-app
TypeScript MIT License UpdatedOct 16, 2021 -
new-project Public
Forked from google/new-projectThis repository contains a template you can use to seed a repository for a new open source project.
Apache License 2.0 UpdatedFeb 24, 2021 -
Cirq Public
Forked from quantumlib/CirqA python framework for creating, editing, and invoking Noisy Intermediate Scale Quantum (NISQ) circuits.
Python Apache License 2.0 UpdatedAug 17, 2020 -
pennylane Public
Forked from PennyLaneAI/pennylanePennyLane is a cross-platform Python library for quantum machine learning, automatic differentiation, and optimization of hybrid quantum-classical computations
-
stellar-core Public
Forked from stellar/stellar-corestellar-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, stel…
C Other UpdatedOct 4, 2019
{{ message }}