Tool for suggesting lemma names in Coq verification projects
Repository Index
47,133 repositories indexed
193–195 of 195 · Most stars
Panoptic segmentation algorithms for 2D and 3D electron microscopy images
A minimalistic codebase for training NLG models from HuggingFace Transformers using PyTorch Lightning.