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

Coq-serapi Alternatives

Similar projects and alternatives to coq-serapi based on common topics and language

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better coq-serapi alternative or higher similarity.

coq-serapi reviews and mentions

Posts with mentions or reviews of coq-serapi. We have used some of these posts to build our list of alternatives and similar projects.

We haven't tracked posts mentioning coq-serapi yet.
Tracking mentions began in Dec 2020.


Basic coq-serapi repo stats
8 days ago

ejgallego/coq-serapi is an open source project licensed under GNU General Public License v3.0 or later which is an OSI approved license.

The primary programming language of coq-serapi is OCaml.

The modern API for authentication & user identity.
The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.