Science && AI

Pinned Loading

1. lean4-toolkit lean4-toolkit Public

   👾 my perpetual studies on lean 4, a powerful theorem prover and programming language for the AI age

   Lean 4

2. my_japanese_ai my_japanese_ai Public

   👾 my customized AI from distilled tiny models for in-browser inference (webGPU + webLLM)

   TypeScript 1

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 13 6

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

   👾 random and unorganized "robot" experiments

   Python 16 1

5. 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

6. interstellar-idl interstellar-idl Public archive

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

   IDL 14 1