sexpr-parser: Simple s-expression parser

[ command-line, library, mit, program ] [ Propose Tags ]

This package provides a simple Megaparsec-based s-expression parser.

[Skip to Readme]
Versions [faq],,,,
Dependencies base (==4.12.*), bytestring (==0.10.*), megaparsec (==7.0.*), parsec (>=3.1 && <4.0), process (==1.6.*), sexpr-parser [details]
License MIT
Copyright 2019 Richard Cook
Author Richard Cook
Revised Revision 3 made by rcook at Fri Feb 8 03:58:12 UTC 2019
Category Command Line
Home page
Uploaded by rcook at Tue Feb 5 21:24:05 UTC 2019
Distributions NixOS:, Stackage:
Executables sexpr-parser-z3-demo
Downloads 1368 total (213 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs uploaded by user
Build status unknown [no reports yet]




Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

For package maintainers and hackage trustees

Readme for sexpr-parser-

[back to package description]


Travis branch Hackage Licence

S-expression parser in Haskell


This is a Megaparsec-based parser for s-expression, heavily inspired by lispparser. I'm building this to parse SMT-LIB v2 output, so there.

Run Z3 demo

The Z3 demo parses SMT-LIB v2 output from Z3. The executable assumes that you have Z3 installed and available on your system search path:

stack build --fast --exec sexpr-parser-z3-demo


MIT License