Pinned Loading

1. anndata-duckdb-extension anndata-duckdb-extension Public

   Attach and AnnData file in duckdb and query it with SQL. Perform SQL over groups of AnnData files

   C++ 8

2. GenePT-tools GenePT-tools Public

   Tools to use and expand the capabilities of the original GenePT

   Jupyter Notebook 8 2

3. fun-with-lean fun-with-lean Public

   Use Claude code and lean to prove well known theorems

   Lean