The repository host gives no description.
Repository Index
78,351 visible repositories in the index
1–6 of 6 · Most stars
A Practical and Efficient NCBI Taxonomy Toolkit, also supports creating NCBI-style taxdump files for custom taxonomies like GTDB/ICTV
- bioinformatics
- taxonomy
- cross-platform
- lineage
A formalization of geometry in Coq based on Tarski's axiom system
A Lean formalization of the Classification of Finite Simple Groups
A Lean formalization of the Stacks Project
A simple ffi-accelerated vector library for everyone with support for z-axis