Style and Grammar Checker for 25+ Languages
- grammar
- natural-language
- natural-language-processing
- style-checker
Repository Index
47,133 repositories indexed
1–4 of 4 · Most stars
Coq Protocol Playground with Se(xp)rialization of Internal Structures.
- coq
- serialization
- json
- sexp
Python bindings for the Coq interactive proof assistant
- python
- coq
- verification
- machine-learning
Proof Of Concept of DEcentralised Machine Learning on top of the Golem (https://golem.network/) architecture
- golem
- decentralised-machine-learning
- federated-learning