Popular repositories Loading

1. jsonschema_smt jsonschema_smt Public

   Coq based JSON-Schema to SMT system.

   Rocq Prover 12 2

2. rocq-piler rocq-piler Public

   MCP server for Coq LSP

   TeX 9 3

3. axiomander axiomander Public

   Code by Contract Dev Environment

   Python 7 1

4. bookwyrm-client bookwyrm-client Public

   The bookwyrm client library

   Python 4

5. paperchecker paperchecker Public

   Check latex paper citations automatically

   Python 4

6. jsound jsound Public

   jSound JSON schema subsumption checker using SMT verification conditions

   Python 3