Pinned Loading

1. ColorChord ColorChord Public

   Forked from Whfkl/ColorChord

   色彩和声——和弦量化工具

   Jupyter Notebook

2. HOL HOL Public

   Forked from HOL-Theorem-Prover/HOL

   Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

   Standard ML

3. personal_userscripts personal_userscripts Public

   Browser userscripts for personal use

   JavaScript

4. QuantumKatas QuantumKatas Public

   Forked from microsoft/QuantumKatas

   Tutorials and programming exercises for learning Q# and quantum computing

   Jupyter Notebook