6 Search Results
ctoxml
Parses a C program into Cabs AST and dumps as an XML document
FrontC C parser XML
Hugues Cassé <casse@irit.fr> et al
4.1.0
LGPL-2.0-only
Used by 0 other packages
dolmen
A parser library for automated deduction
parser logic tptp smtlib dimacs
Guillaume Bury <guillaume.bury@gmail.com>
0.8
BSD-2-Clause
Used by 6 other packages
FrontC
Parses C programs to an abstract syntax tree
FrontC C parser XML
Hugues Cassé <casse@irit.fr> et al
4.1.0
LGPL-2.0-only
Used by 3 other packages
orsetto
A library of assorted structured data interchange languages
org:conjury.org unicode data-interchange parser-combinators serialization json cbor uri url tai64
james woodyatt <jhw@conjury.org>
1.1.2
BSD-2-Clause
Used by 0 other packages
scfg
OCaml library and executable to work with the scfg configuration file format
scfg configuration format simple config parser printer
Léo Andrès <contact@ndrs.fr>
0.2
ISC
Used by 0 other packages
transept
Generalized parser combinator library
library parser-combinator
Didier Plaindoux <d.plaindoux@free.fr>
0.1.0
MIT
Used by 0 other packages