Pinned Loading

1. ml-classifiers-and-experiments-py ml-classifiers-and-experiments-py Public archive

   👾 random and unorganized "robot" experiments

   Python 16 1

2. lean4-toolkit lean4-toolkit Public

   👾 zero 2 hero studies on lean 4, a powerful theorem prover and programming language for the AI age

   Lean 4

3. awesome-decentralized-ai awesome-decentralized-ai Public archive

   👾 awesome curated resources for decentralized AI and LLMs, with a focus on agents, blockchains, and privacy

   Makefile 12 5

4. quantum-computing-toolkit quantum-computing-toolkit Public archive

   👾 notes and resources on quantum computing (e.g., quantum information, post-quantum cryptography, implications on post-quantum and blockchains)

   25 3

5. mlnet-complex-networks-py mlnet-complex-networks-py Public archive

   👾 classifying complex graph networks with machine learning

   Python 15

6. interstellar-idl interstellar-idl Public archive

   👾 interstellar dust data reduction and analysis obtained from the stony brook mt. telescope

   IDL 14 1