Popular repositories Loading

1. vqc_in_lean vqc_in_lean Public

   Lean 4 port of the Verified Quantum Computing. Developed as a personal learning project to deepen understanding of quantum computing concepts and formal verification.

   Lean 2

2. graduatePL20-1 graduatePL20-1 Public

   1

3. core core Public

   Forked from home-assistant/core

   🏡 Open source home automation that puts local control and privacy first.

   Python

4. CS470-Spring-2022- CS470-Spring-2022- Public

   Forked from keai-kaist/CS470-Spring-2022-

   Jupyter Notebook

5. hasssyn hasssyn Public

   Scala

6. rescript-syntax rescript-syntax Public

   Forked from rescript-lang/syntax

   ReScript's syntax as a standalone repo.

   OCaml