Find open-source science resources
A directory of tools, AI models, datasets, and research resources for biotech, bioinformatics, and other scientific fields. Aggregated from curated GitHub awesome-lists, HuggingFace, bio.tools, Bioconductor, and more.
Filters
Health
Domain
Language(1)
License(1)
Source(1)
Type
2 of 7,078 resources
Terminal AI coding assistant with a built-in math formalization engine that converts plain-language math problems into Lean 4 theorems and attempts formal proofs; bundles a local Lean toolchain and WebUI for interactive mathematical reasoning (math-ai-org, 582+ stars, 2026)
Efficient foundation model and benchmark for multi-species genome understanding with context-aware nucleotide representations, improving upon DNABERT for diverse genomic task transfer learning (UIUC MAGICS Lab, 484+ stars)