inQWIRE / VyZX

Related projects: ⓘ

• inQWIRE / QuantumLib
  Coq library for reasoning about quantum programs
  ☆28Updated 2 weeks ago
• inQWIRE / SQIR
  A Small Quantum Intermediate Representation
  ☆78Updated last month
• inQWIRE / QWIRE
  A quantum circuit language and formal verification tool
  ☆90Updated 9 months ago
• duckki / lean-quantum
  Formalized quantum computing in Lean theorem prover
  ☆20Updated 3 years ago
• coq-quantum / CoqQ
  ☆15Updated 3 weeks ago
• brown-cs22 / CS22-Lean-2024
  ☆11Updated 4 months ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆12Updated 3 weeks ago
• zxcalc / quantomatic
  Quantomatic is a tool for doing automated graph rewriting.
  ☆152Updated 4 years ago
• meamy / feynman
  Quantum circuit analysis toolkit
  ☆57Updated last week
• rigetti / oqaml
  An OCaml based implementation of a Quil QVM
  ☆37Updated 5 years ago
• Suikaba / SelingerQuantumLambdaCalculus
  Implementatoin of Selinger's Typed Quantum Lambda Calculus
  ☆13Updated 4 years ago
• philzook58 / fib-anyon
  An implementation of Fibonacci Anyons in Haskell
  ☆22Updated 4 years ago
• Coq-Polyhedra / Coq-Polyhedra
  Formalizing convex polyhedra in Coq
  ☆21Updated 2 months ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆42Updated 4 years ago
• homalg-project / CAP_project
  CAP project -- Categories, Algorithms, and Programming
  ☆24Updated this week
• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆14Updated last week
• DavidJaz / DynamicalSystemsBook
  ☆41Updated 4 months ago
• dabacon / qsel
  Quantum programming language putting entanglement and superposition front and center
  ☆40Updated last year
• coq-community / trocq
  A modular parametricity plugin for proof transfer in Coq [maintainers=@CohenCyril,@ecranceMERCE,@amahboubi]
  ☆17Updated last month
• b-mehta / topos
  Topos theory in lean
  ☆55Updated 3 years ago
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆105Updated 7 months ago
• Yosuke-Ito-345 / Actuary
  Formalization of the basic actuarial mathematics using Coq
  ☆22Updated 10 months ago
• validsdp / validsdp
  A Coq tactic for proving multivariate inequalities using SDP solvers
  ☆9Updated 6 months ago
• bzhan / holpy
  Implementation of higher-order logic in Python
  ☆56Updated last year
• HEPLean / HepLean
  A project to digitalise results from high energy physics into Lean.
  ☆47Updated this week
• coq-community / buchberger
  Verified implementation in Coq of Buchberger's algorithm for computing Gröbner bases [maintainer=@palmskog]
  ☆9Updated 8 months ago
• cryptogoth / skc-python
  Quantum compiler using the Solovay-Kitaev algorithm for n-qubits, i.e. SU(d=2^n)
  ☆26Updated 5 years ago
• evanhockings / QuantumACES.jl
  Design scalable noise characterisation experiments for quantum computers
  ☆17Updated this week
• tchajed / coq-ltac2-experiments
  All the code I've ever written in Ltac2
  ☆11Updated 3 years ago
• msr-quarc / ReVerC
  Verified compilation of space-efficient reversible circuits
  ☆18Updated 5 years ago