Pinned Loading

1. awesome-formal-ai awesome-formal-ai Public

   A curated list of awesome formal reasoning AI.

   3

2. vector-wlc/AsmVsZombies vector-wlc/AsmVsZombies Public

   Windows 高精度代码注入式键控框架

   C++ 104 15

3. librosa/librosa librosa/librosa Public

   Python library for audio and music analysis

   Python 7.9k 1k

4. CPJKU/madmom CPJKU/madmom Public

   Python audio and music signal processing library

   Python 1.5k 257

5. leanprover-community/mathlib4 leanprover-community/mathlib4 Public

   The math library of Lean 4

   Lean 2.4k 826