Coq Protocol Playground with Se(xp)rialization of Internal Structures.
- coq
- serialization
- json
- sexp
Repository Index
64,764 visible repositories in the index
25–29 of 29 · Most stars
"Tuantuan Cloud Study" is an online learning platform that allows students to study anytime and anywhere, breaking the limitations of traditional study rooms.
- java
- spring-boot
- javascipt
- spring-security
Deploy machine learning models in Ruby (and Rails)
The repository host gives no description.
DataSet File Format (DSFF)
- dataset
- file-format
- machine-learning
- python