coq-serapi
coq-serapi copied to clipboard
ejgallego
Coq Protocol Playground with Se(xp)rialization of Internal Structures.
[serlib] Add ppx_python serialization. We add Python serialization for the complete protocol, modulo the existing issues the current setup seems to work well! Main hiccup was the lack of variants...
We should provide a Python binding for SerAPI as this is what many people actually use. In principle, we should have a `doc` object, with `add` and `cancel` methods, as...
This is a frequent request by for example @cpitclaudel or @JasonGross ; I already have something in my document manager implementation that does exactly this [so incremental checking can have...
As discussed in chat rooms, we would like to provide a JSON interface to SerAPI; more generally, we would like to make the main code parametric w.r.t. serialization method so...
We update JS library manager to newer jsCoq code. This almost works, however, there are some API deficiencies in jsCoq that must be solved before we can make this function...
We want to be able to serialize and deserialize environments with elaborated and fully typed kernel terms (`Constr.t`). More specifically, we want to be able to serialize (relevant data from)...
Since the inception of SerAPI providing a way to query dependency data was a goal. In fact, this is possible to do now by clients and you can dump the...
Hi, Can you please add a build of serapijs that includes coqreals?
We want to add a benchmarking mode to sercomp. We could gather statistics section, module and sentence. With a bit of help from the STM we could do quite well....
We want to compile SerApi to Javascript, Coq will run in a worker thread. Thanks to [jsCoq](https://github.com/ejgallego/jscoq) how to this is well understood. Once this is complete, jsCoq will just...