Pinned Loading

1. mindofcharles.github.io mindofcharles.github.io Public

   Just small notes.

   1

2. AI-Team-Team/AI-Team-Team AI-Team-Team/AI-Team-Team Public

   Autonomous Process - Hundreds, thousands, even tens of thousands of AI work together in an orderly manner.

   Python 7

3. MINI-OS MINI-OS Public

   A Relatively Complete OS Written 100% in Assembly.

   C 2

4. Van-Aubel-Extensions Van-Aubel-Extensions Public

   Van Aubel Extensions - A structural formulation of Van Aubel's theorem through complex structures on real vector spaces, together with a Lean 4 formalization, randomized numerical checks, and a sel…

   Lean 1

5. AI-Team-Team/AI-Novel AI-Team-Team/AI-Novel Public

   Autonomous and Free-Forming Multi-AI Systems

   Python 3

6. CodeSentinel CodeSentinel Public

   CodeSentinel is an AI-powered security auditor designed.

   Python 2 1