Discover Open Source Apps, Apps with Code, iOS Apps with Code, Android Apps with Code, Games with Code

Platform:

Language:

License:

coq-serapi

Coq Protocol Playground with Se(xp)rialization of Internal Structures.

OCaml116other

5 months ago

coqjsonmachine-learning-api