A collection of learning resources for curious software engineers
- read-articles
- programmer
- professional
- scalability
Repository Index
47,133 repositories indexed
1–3 of 3 · Most stars
Mock an SSH server and define all commands it supports (Python, Twisted)
Tool for suggesting lemma names in Coq verification projects
- coq
- machine-learning
- name-generation
- pytorch