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

Monadic parser combinator library in Coq
https://github.com/liyishuai/coq-parsec

Last synced: 9 days ago
JSON representation

Monadic parser combinator library in Coq

• Host: GitHub
• URL: https://github.com/liyishuai/coq-parsec
• Owner: liyishuai
• License: bsd-3-clause
• Created: 2020-09-24T00:19:47.000Z (about 4 years ago)
• Default Branch: master
• Last Pushed: 2023-09-04T09:40:56.000Z (about 1 year ago)
• Last Synced: 2024-05-01T16:49:54.510Z (7 months ago)
• Language: Makefile
• Homepage:
• Size: 54.7 KB
• Stars: 4
• Watchers: 3
• Forks: 2
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        

# Parsec

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

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

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

Inspired by Haskell Parsec library.

## Meta

- Author(s):

  - Yishuai Li [](https://orcid.org/0000-0002-5728-5903)

  - Azzam Althagafi

  - Yao Li [](https://orcid.org/0000-0001-8720-883X)

  - Li-yao Xia [](https://orcid.org/0000-0003-2673-4400)

  - Benjamin C. Pierce [](https://orcid.org/0000-0001-7839-1636)

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

- Compatible Coq versions: 8.14 or later

- Additional dependencies:

  - [Cérès](https://github.com/Lysxia/coq-ceres)

  - [ExtLib](https://coq-community.org/coq-ext-lib/)

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

- Coq namespace: `Parsec`

- Related publication(s): none

## Building and installation instructions

The easiest way to install the latest released version of Parsec

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-parsec

```

To instead build and install manually, do:

``` shell

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

cd coq-parsec

dune build

dune install

```