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]


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS],,,,,,
Dependencies base (>=4.9 && <5), bytestring (>=0.10 && <0.12), data-default (>=0.6 && <0.8), megaparsec (>=6.5 && <9.3), process (>=1.6 && <1.7), sexpr-parser [details]
License MIT
Copyright 2019 Richard Cook
Author Richard Cook
Category Command Line
Home page
Uploaded by rcook at 2022-03-11T22:41:56Z
Reverse Dependencies 1 direct, 0 indirect [details]
Executables sexpr-parser-z3-demo
Downloads 2511 total (23 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2022-03-12 [all 1 reports]

Readme for sexpr-parser-

[back to package description]


Travis CI Hackage Hackage dependencies Licence

S-expression parser in Haskell


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

Run Z3 demo

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

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


MIT License