OCaml JSON Projects
Low-level JSON parsing and pretty-printing library for OCaml
Coq Protocol Playground with Se(xp)rialization of Internal Structures.
Learn any GitHub repo in 59 seconds. Onboard AI learns any GitHub repo in minutes and lets you chat with it to locate functionality, understand different parts, and generate new code. Use it for free at www.getonboard.dev.