eohjelle

eohjelle's Stars

• GasStationManager/LeanTool

  A "code intepreter" for Lean

  Language:Python8

• cma1114/activation_steering

  An exploration of LLM steering

  Language:Jupyter Notebook5

• rossant/awesome-math

  A curated list of awesome mathematics resources

  Language:Python9.3k981

• bilal-chughtai/rep-theory-mech-interp

  Language:Jupyter Notebook267

• EleutherAI/sae

  Sparse autoencoders

  Language:Python40553

• zama-ai/concrete-ml

  Concrete ML: Privacy Preserving ML framework using Fully Homomorphic Encryption (FHE), built on top of Concrete, with bindings to traditional ML frameworks.

  Language:Python1.1k155

• callummcdougall/ARENA_3.0

  Language:Jupyter Notebook407249

• LouisYRYJ/Finite-groups

  Language:Jupyter Notebook2

• vlcn-io/cr-sqlite

  Convergent, Replicated SQLite. Multi-writer and CRDT support for SQLite

  Language:Rust3.1k84