Popular repositories Loading

1. twine_trial twine_trial Public

   Forked from tweecode/twine

   UI for creating hypertext stories

   Python

2. formalizing-game-theory formalizing-game-theory Public

   Forked from MixedMatched/formalizing-game-theory

   Example formalization of Game Theoretic concepts in Lean

   Lean

3. lean4-tactics lean4-tactics Public

   Forked from madvorak/lean4-tactics

   Overview of tactics in Lean 4 for beginners — longer version

4. awesome-cursorrules awesome-cursorrules Public

   Forked from PatrickJS/awesome-cursorrules

   📄 A curated list of awesome .cursorrules files

5. ai-comic-factory ai-comic-factory Public

   Forked from jbilcke-hf/ai-comic-factory

   Generate comic panels using a LLM + SDXL. Powered by Hugging Face 🤗

   TypeScript

6. DeepSeek-LLM DeepSeek-LLM Public

   Forked from deepseek-ai/DeepSeek-LLM

   DeepSeek LLM: Let there be answers

   Makefile