The agda-unimath library
-
Updated
Jul 29, 2026 - Agda
The agda-unimath library
Helping humanity evolve
Fish Detection (Segmentation) & Classification models and training scripts
Workbench for biodiversity informatics.
Genome wide orthology inference and dNdS estimation
🐭
UCLCHEM - A gas-grain chemical code for Astrochemistry.
NeurIPS 2024 Track on Datasets and Benchmarks (Spotlight)
Seamless Integration of BLAST Sequence Searches in R
Quick access to gene synonyms
sdmverse is a collaborative metapackage for listing all the metadata of the Species Distribution Modelling (SDM) packages. sdmverse includes a graphical interface available locally or online (see below). sdmverse integrates metadata from SDM packages and checks their validity against the CRAN metadata for perenity.
Tools for analyzing changes in diversity across scales
Work collaboratively in IUCN Red List assessments and manage online biodiversity databases, including a graph-based taxonomy system, species traits and habitats, and species occurrences.
Add a description, image, and links to the species topic page so that developers can more easily learn about it.
To associate your repository with the species topic, visit your repo's landing page and select "manage topics."