https://github.com/liyishuai/coq-json

JSON in Coq
https://github.com/liyishuai/coq-json

Last synced: 3 months ago
JSON representation

JSON in Coq

• Host: GitHub
• URL: https://github.com/liyishuai/coq-json
• Owner: liyishuai
• License: bsd-3-clause
• Created: 2021-03-20T04:27:57.000Z (almost 4 years ago)
• Default Branch: master
• Last Pushed: 2024-10-09T06:02:43.000Z (4 months ago)
• Last Synced: 2024-10-11T21:49:47.373Z (4 months ago)
• Language: Coq
• Size: 59.6 KB
• Stars: 2
• Watchers: 3
• Forks: 3
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        

# Coq JSON

[![Docker CI][docker-action-shield]][docker-action-link]

[docker-action-shield]: https://github.com/liyishuai/coq-json/actions/workflows/docker-action.yml/badge.svg?branch=master

[docker-action-link]: https://github.com/liyishuai/coq-json/actions/workflows/docker-action.yml

From JSON to Coq, and vice versa.

## Meta

- Author(s):

  - Yishuai Li

- License: [BSD 3-Clause "New" or "Revised" License](LICENSE)

- Compatible Coq versions: 8.14 or later

- Additional dependencies:

  - [Parsec](https://github.com/liyishuai/coq-parsec)

  - [Menhir](http://gallium.inria.fr/~fpottier/menhir/)

  - [MenhirLib](https://gitlab.inria.fr/fpottier/menhir/-/tree/master/coq-menhirlib/)

  - [Dune](https://dune.build) 3.6 or later

- Coq namespace: `JSON`

- Related publication(s): none

## Building and installation instructions

The easiest way to install the latest released version of Coq JSON

is via [OPAM](https://opam.ocaml.org/doc/Install.html):

```shell

opam repo add coq-released https://coq.inria.fr/opam/released

opam install coq-json

```

To instead build and install manually, do:

``` shell

git clone https://github.com/liyishuai/coq-json.git

cd coq-json

dune build

dune install

```