Popularity
3.4
Declining
Activity
-
-
3
1
2

Monthly Downloads: 149
Programming language: Haskell
License: MIT License
Tags: Utils     Command Line    
Latest version: v0.1.1.2

sexpr-parser alternatives and similar packages

Based on the "Command Line" category

Do you think we are missing an alternative of sexpr-parser or a related project?

Add another 'Command Line' Package

README

sexpr-parser

Travis CI Hackage Hackage dependencies Licence

S-expression parser in Haskell

Description

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](z3-demo/Main.hs) 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

Licence

[MIT License](LICENSE)


*Note that all licence references and agreements mentioned in the sexpr-parser README section above are relevant to that project's source code only.