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
Type
9 of 6,565 resources
LLMs as copilots for theorem proving in Lean 4, exposing native tactics (`suggest_tactics`, `search_proof`, `select_premises`) that embed language model inference and premise retrieval directly inside the Lean proof environment, supporting local CTranslate2/CUDA inference as well as remote model APIs for interactive and automated proof search (Caltech & NVIDIA, NeurIPS 2024, 1.2K+ stars)
A haplotype-resolved assembler for accurate Hifi reads.
Bayesian haplotype-based polymorphism discovery and genotyping.
A C++ library for parsing and manipulating VCF files.
maeparser is a parser for Schrodinger Maestro files.
A polymorphic bayesian genotyping model with wide applicability.
Collection of tools for working with BAM files.
A generic C++ trie search tree library for small alphabets, allowing customizable leaf node structures and supporting approximate matching and word generation.
A bioinformatics tool for viewing and calculating base modification frequencies from BAM files