7 results found Sort:

UniMath
agda-unimath UniMath
70
226
mit
9
The agda-unimath library
trees species ring-theory graph-theory group-theory order-theory finite-groups number-theory type-theories category-theory structured-types universal-algebra commutative-algebra higher-group-theory homotopy-type-theory univalent-foundations univalent-mathematics univalent-combinatorics synthetic-homotopy-theory orthogonal-factorization-systems
Created 2021-11-19
2,866 commits to master branch, last one 23 days ago
cybercongress
cybercongress cybercongress
29
204
other
32
Helping humanity evolve
web3 robots species craftsmen cyberpunk evolution blockchain engineering communications cyber-congress decentralization freedom-of-information
Created 2018-04-06
1,880 commits to master branch, last one 2 years ago
ropensci
rgbif ropensci
50
157
other
21
Interface to the Global Biodiversity Information Facility API
r api data gbif spocc rstats oscibio species lifewatch r-package biodiversity
Created 2011-08-26
2,083 commits to master branch, last one 2 months ago
ropensci
spocc ropensci
27
118
other
21
Species occurrence data toolkit for R
r api data gbif obis bison ebird spocc antweb rstats idigbio species vertnet ecoengine r-package occurrence inaturalist species-occurrence
Created 2013-09-05
877 commits to master branch, last one 9 months ago
drostlab
orthologr drostlab
27
88
gpl-2.0
12
Genome wide orthology inference and dNdS estimation
r blast species biomartr genomics proteome comparative blast-searches entire-genomes codon-alignment dnds-estimation genomics-studies retrieve-genomes comparing-genomes orthologous-genes sequence-alignment orthology-inference sequence-alignments comparative-genomics comparative-genomics-studies
Created 2014-07-08
1,087 commits to master branch, last one about a year ago
SpeciesFileGroup
taxonworks SpeciesFileGroup
28
88
mit
24
Workbench for biodiversity informatics.
life ruby species describe taxonomy evolution collections biodiversity nomenclature biodiversity-informatics
Created 2013-09-03
27,788 commits to development branch, last one 3 days ago
fishial
fish-identification fishial
8
48
mit
8
Fish Detection (Segmentation) & Classification models and training scripts
ai ml fish species fishspecies machinelearning artificial-intelligence
Created 2020-10-24
51 commits to main branch, last one about a month ago