🐸💬 - a deep learning toolkit for Text-to-Speech, battle-tested in research and production
- python
- text-to-speech
- deep-learning
- speech
Repository Index
47,133 repositories indexed
1–4 of 4 · Most stars
A foundational framework for modular cryptographic proofs in Coq
- cryptography
- coq-library
- coq-formalization
- state-separating-proofs
An enhanced unification algorithm for Coq
Tool for suggesting lemma names in Coq verification projects
- coq
- machine-learning
- name-generation
- pytorch