Pinned

1. hanzi-writer hanzi-writer Public

   Chinese character stroke order animations and practice quizzes

   TypeScript 2.9k 484

2. tensor-theorem-prover tensor-theorem-prover Public

   First-order logic theorem prover supporting unification with approximate vector similarity

   Rust 7 1

3. steering-vectors/steering-vectors steering-vectors/steering-vectors Public

   Steering vectors for transformer language models in Pytorch / Huggingface

   Python 20 2

4. frame-semantic-transformer frame-semantic-transformer Public

   Frame Semantic Parser based on T5 and FrameNet

   Python 49 10

5. mathlib-changelog mathlib-changelog Public

   Lean 9

6. linear-relational linear-relational Public

   Linear Relational Embeddings (LREs) and Linear Relational Concepts (LRCs) for LLMs in PyTorch

   Python 3 1