Alternatives and similar repositories for tower-oopsla22:

Users that are interested in tower-oopsla22 are comparing it to the libraries listed below

• inQWIRE / QuantumLib
  Coq library for reasoning about quantum programs
  ☆39Updated 2 months ago
• psg-mit / twist-popl22
  POPL'22 Artifact for "Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs".
  ☆43Updated 3 years ago
• inQWIRE / SQIR
  A Small Quantum Intermediate Representation
  ☆86Updated 2 months ago
• inQWIRE / QWIRE
  A quantum circuit language and formal verification tool
  ☆101Updated last year
• VeriNum / vcfloat
  VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
  ☆28Updated last month
• inQWIRE / VyZX
  Verifying the ZX Calculus
  ☆20Updated this week
• verse-lab / lean-ssr
  LeanSSR: an SSReflect-Like Tactic Language for Lean
  ☆35Updated last week
• RobertHarper / pl-syntax
  PL syntax macros.
  ☆19Updated last week
• digama0 / lean-sys
  Rust bindings for the Lean 4 proof assistant
  ☆21Updated last month
• Suikaba / SelingerQuantumLambdaCalculus
  Implementatoin of Selinger's Typed Quantum Lambda Calculus
  ☆13Updated 5 years ago
• psg-mit / smooth
  An arbitrary-precision differentiable programming language.
  ☆35Updated last year
• argumentcomputer / RustFFI.lean
  Template for Lean<->Rust FFI
  ☆12Updated last year
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆35Updated 10 months ago
• rocq-community / gaia
  Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
  ☆30Updated last week
• rocq-community / bignums
  Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@…
  ☆22Updated 2 months ago
• leanprover-community / lean4-samples
  Code samples for Lean 4
  ☆73Updated last year
• verse-lab / ego
  EGraphs in OCaml
  ☆65Updated last year
• duckki / lean-quantum
  Formalized quantum computing in Lean theorem prover
  ☆22Updated 4 years ago
• kirkedal / rfun-interp
  Interpreter for the reversible functional language rFun
  ☆36Updated 7 years ago
• pamellies / models-of-programming-languages
  Slides and handwritten notes on the course on models of programming languages
  ☆51Updated 4 years ago
• SchrodingerZhu / LeanGccBackend
  Lean4 backend using `libgccjit`!
  ☆11Updated last year
• annenkov / two-level
  Two-Level Type Theory
  ☆28Updated 5 years ago
• RobertHarper / nsml
  SML The Living Language
  ☆11Updated 11 years ago
• tlringer / thesis
  haha I'm graduating
  ☆14Updated 3 years ago
• tydeu / lean4-papyrus
  An LLVM interface for Lean 4. (WIP)
  ☆20Updated last year
• herbie-fp / regraph
  Racket Equivalence Graph Library
  ☆18Updated 2 years ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆68Updated 3 weeks ago
• leo-colisson / zx-calculus
  A package to typeset ZX calculus directly in LaTeX.
  ☆16Updated last year
• strub / elliptic-curves-ssr
  A Formal Library about Elliptic Curves for the Mathematical Components Library.
  ☆15Updated 3 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆13Updated 3 months ago