🐸💬 - 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–5 of 5 · Most stars
Interactive Coq Proofs in Vim
Jupyter kernel for Coq
Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.
Tool for suggesting lemma names in Coq verification projects
- coq
- machine-learning
- name-generation
- pytorch