Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

hackage.haskell.org "parsing" keyword

Top 1.1% on hackage.haskell.org
parsec 3.1.11
Parsec is designed from scratch as an industrial-strength parser library. It is simple, safe, we...
26 versions - Latest release: about 8 years ago - 173 dependent packages - 4,638 dependent repositories - 400 thousand downloads total - 832 stars on GitHub - 3 maintainers
Top 2.5% on hackage.haskell.org
binary 0.4.5
Efficient, pure binary serialisation using lazy ByteStrings. Haskell values may be encoded to and...
49 versions - Latest release: about 12 years ago - 215 dependent packages - 3,451 dependent repositories - 195 thousand downloads total - 103 stars on GitHub - 4 maintainers
Top 0.9% on hackage.haskell.org
optparse-applicative 0.11.0
optparse-applicative is a haskell library for parsing options on the command line, and providing ...
46 versions - Latest release: over 9 years ago - 286 dependent packages - 3,274 dependent repositories - 278 thousand downloads total - 898 stars on GitHub - 2 maintainers
Top 1.5% on hackage.haskell.org
attoparsec 0.14.4
A fast parser combinator library, aimed particularly at dealing efficiently with network protocol...
61 versions - Latest release: over 2 years ago - 206 dependent packages - 3,246 dependent repositories - 453 thousand downloads total - 510 stars on GitHub - 3 maintainers
Top 2.8% on hackage.haskell.org
cereal 0.5.8.3
25 versions - Latest release: almost 2 years ago - 73 dependent packages - 1,393 dependent repositories - 292 thousand downloads total - 78 stars on GitHub - 3 maintainers
Top 1.2% on hackage.haskell.org
megaparsec 9.6.1
This is an industrial-strength monadic parser combinator library. Megaparsec is a feature-rich pa...
44 versions - Latest release: 6 months ago - 124 dependent packages - 967 dependent repositories - 100 thousand downloads total - 890 stars on GitHub - 3 maintainers
Top 4.9% on hackage.haskell.org
safecopy 0.10.4
An extension to Data.Serialize with built-in version control
43 versions - Latest release: about 3 years ago - 4 dependent packages - 571 dependent repositories - 61.3 thousand downloads total - 60 stars on GitHub - 5 maintainers
Top 4.3% on hackage.haskell.org
parser-combinators 1.3.0
Lightweight package providing commonly useful parser combinators.
13 versions - Latest release: over 3 years ago - 47 dependent packages - 314 dependent repositories - 49.3 thousand downloads total - 51 stars on GitHub - 2 maintainers
Top 3.8% on hackage.haskell.org
parsers 0.12.11
This library provides convenient combinators for working with and building parsing combinator lib...
39 versions - Latest release: about 2 years ago - 25 dependent packages - 277 dependent repositories - 92.8 thousand downloads total - 88 stars on GitHub - 3 maintainers
Top 2.9% on hackage.haskell.org
trifecta 2.1.4
A modern parser combinator library with slicing and Clang-style colored diagnostics For example:
93 versions - Latest release: 3 months ago - 11 dependent packages - 220 dependent repositories - 118 thousand downloads total - 294 stars on GitHub - 4 maintainers
Top 3.8% on hackage.haskell.org
appar 0.1.8
A simple applicative parser in Parsec style
8 versions - Latest release: about 5 years ago - 1 dependent package - 192 dependent repositories - 63.4 thousand downloads total - 1 maintainer
Top 4.3% on hackage.haskell.org
pipes-parse 3.0.9
14 versions - Latest release: about 3 years ago - 3 dependent packages - 190 dependent repositories - 27.7 thousand downloads total - 1 maintainer
Top 5.9% on hackage.haskell.org
regex-applicative 0.3.4
regex-applicative is a Haskell library for parsing using regular expressions. Parsers can be buil...
18 versions - Latest release: almost 4 years ago - 6 dependent packages - 175 dependent repositories - 28.5 thousand downloads total - 127 stars on GitHub - 1 maintainer
indents 0.3.3
Simple indentation sensitive parser-combinators for parsec
11 versions - Latest release: almost 12 years ago - 171 dependent repositories - 20.3 thousand downloads total - 20 stars on GitHub - 2 maintainers
Top 2.3% on hackage.haskell.org
polyparse 1.12.1
16 versions - Latest release: over 5 years ago - 3 dependent packages - 166 dependent repositories - 193 thousand downloads total - 2 maintainers
Top 7.8% on hackage.haskell.org
postgresql-binary 0.13.1
Encoders and decoders for the PostgreSQL's binary format
49 versions - Latest release: over 1 year ago - 4 dependent packages - 161 dependent repositories - 39.1 thousand downloads total - 20 stars on GitHub - 1 maintainer
Top 6.2% on hackage.haskell.org
data-reify 0.6.3
'data-reify' provided the ability to turn recursive structures into explicit graphs. Many (implic...
9 versions - Latest release: over 3 years ago - 3 dependent packages - 159 dependent repositories - 14.9 thousand downloads total - 2 maintainers
incremental-parser 0.5.1
This package defines yet another parser combinator library. This one is implemented using the con...
33 versions - Latest release: 5 months ago - 1 dependent package - 147 dependent repositories - 20 thousand downloads total - 21 stars on GitHub - 1 maintainer
attoparsec-expr 0.1.1
Port of parsec's expression parser to attoparsec.
4 versions - Latest release: over 10 years ago - 1 dependent package - 146 dependent repositories - 5.03 thousand downloads total - 3 maintainers
Top 3.6% on hackage.haskell.org
attoparsec-enumerator 0.3.4
15 versions - Latest release: almost 9 years ago - 5 dependent packages - 143 dependent repositories - 43.9 thousand downloads total - 1 maintainer
hspec-attoparsec 0.1.0.2
utility functions for testing attoparsec parsers with hspec
3 versions - Latest release: about 9 years ago - 117 dependent repositories - 4.17 thousand downloads total - 14 stars on GitHub - 1 maintainer
hspec-megaparsec 2.2.1
Utility functions for testing Megaparsec parsers with Hspec.
13 versions - Latest release: 7 months ago - 1 dependent package - 114 dependent repositories - 12.6 thousand downloads total - 16 stars on GitHub - 1 maintainer
Top 5.7% on hackage.haskell.org
ConfigFile 1.1.4
Parser and writer for handling sectioned config files in Haskell. The ConfigFile module works wi...
10 versions - Latest release: over 9 years ago - 3 dependent packages - 111 dependent repositories - 23.5 thousand downloads total - 1 maintainer
mtlparse 0.1.2
7 versions - Latest release: almost 13 years ago - 105 dependent repositories - 8.72 thousand downloads total - 1 maintainer
Top 7.9% on hackage.haskell.org
RefSerialize 0.4.0
18 versions - Latest release: over 7 years ago - 1 dependent package - 103 dependent repositories - 18.8 thousand downloads total - 1 maintainer
multiarg 0.30.0.10
multiarg helps you build command-line parsers for programs with options that take more than one a...
24 versions - Latest release: over 8 years ago - 101 dependent repositories - 18.9 thousand downloads total - 1 maintainer
Top 9.4% on hackage.haskell.org
descriptive 0.9.5
Self-describing consumers/parsers. See the README.md for more information. It is currently EXPERI...
22 versions - Latest release: over 5 years ago - 1 dependent package - 97 dependent repositories - 30.1 thousand downloads total - 41 stars on GitHub - 1 maintainer
network-attoparsec 0.12.2
Utility functions for running a parser against a socket, without the need of a bigger framework s...
10 versions - Latest release: about 9 years ago - 96 dependent repositories - 7.57 thousand downloads total - 2 stars on GitHub - 1 maintainer
Top 3.0% on hackage.haskell.org
attoparsec-conduit 1.1.0
A streaming data library
17 versions - Latest release: about 10 years ago - 7 dependent packages - 94 dependent repositories - 54.5 thousand downloads total - 883 stars on GitHub - 1 maintainer
picoparsec 0.1.2
A fast and flexible parser combinator library, accepting any input type that is an instance of an...
6 versions - Latest release: about 9 years ago - 93 dependent repositories - 4.75 thousand downloads total - 1 maintainer
Top 6.4% on hackage.haskell.org
boomerang 1.4.9
31 versions - Latest release: almost 1 year ago - 2 dependent packages - 92 dependent repositories - 25.2 thousand downloads total - 2 maintainers
roman-numerals 0.5.1
Parsing and pretty printing of Roman numerals
12 versions - Latest release: over 12 years ago - 2 dependent packages - 64 dependent repositories - 15.4 thousand downloads total - 5 stars on GitHub - 1 maintainer
Top 5.9% on hackage.haskell.org
uu-parsinglib 2.9.2
48 versions - Latest release: about 2 years ago - 2 dependent packages - 61 dependent repositories - 39.2 thousand downloads total - 2 maintainers
hsemail 2.2.2
Parsec parsers for the Internet Message format defined in RFC2822.
20 versions - Latest release: 3 months ago - 2 dependent packages - 60 dependent repositories - 17.3 thousand downloads total - 14 stars on GitHub - 2 maintainers
Top 5.8% on hackage.haskell.org
streamly 0.10.1
For upgrading to streamly-0.9.0+ please read the Streamly-0.9.0 upgrade guide. Streamly is a sta...
27 versions - Latest release: 4 months ago - 18 dependent packages - 58 dependent repositories - 17 thousand downloads total - 3 maintainers
Top 8.6% on hackage.haskell.org
Earley 0.10.0
See https://www.github.com/ollef/Earley for more information and https://github.com/ollef/Earley/...
18 versions - Latest release: over 8 years ago - 1 dependent package - 57 dependent repositories - 18.2 thousand downloads total - 2 maintainers
derp 0.1.6
6 versions - Latest release: about 12 years ago - 57 dependent repositories - 4.86 thousand downloads total - 1 maintainer
Top 8.0% on hackage.haskell.org
cron 0.7.1
Cron data structure and Attoparsec parser. The idea is to embed it in larger systems which want t...
24 versions - Latest release: 4 months ago - 2 dependent packages - 53 dependent repositories - 19.9 thousand downloads total - 53 stars on GitHub - 1 maintainer
Top 4.3% on hackage.haskell.org
binary-orphans 1.0.4
17 versions - Latest release: about 1 year ago - 4 dependent packages - 48 dependent repositories - 38.1 thousand downloads total - 1 maintainer
flat 0.5.2
Reference implementation of flat, a principled and efficient binary serialization format.
11 versions - Latest release: over 1 year ago - 2 dependent packages - 46 dependent repositories - 7.31 thousand downloads total - 1 maintainer
Top 2.7% on hackage.haskell.org
attoparsec-iso8601 1.1.0.1
Parsing of ISO 8601 dates, originally from aeson.
6 versions - Latest release: 7 months ago - 4 dependent packages - 44 dependent repositories - 45.9 thousand downloads total - 1,226 stars on GitHub - 3 maintainers
uu-interleaved 0.2.0.2
4 versions - Latest release: almost 6 years ago - 40 dependent repositories - 5.73 thousand downloads total - 1 stars on GitHub - 2 maintainers
Top 8.3% on hackage.haskell.org
libxml-sax 0.7.5
17 versions - Latest release: about 10 years ago - 1 dependent package - 35 dependent repositories - 25.6 thousand downloads total - 1 maintainer
Top 9.6% on hackage.haskell.org
parsec-numbers 0.1.0
7 versions - Latest release: over 9 years ago - 2 dependent packages - 29 dependent repositories - 12.6 thousand downloads total - 1 maintainer
scanner 0.3.1
Parser combinator library designed to be fast. It doesn't support backtracking.
4 versions - Latest release: over 4 years ago - 3 dependent packages - 28 dependent repositories - 9.75 thousand downloads total - 46 stars on GitHub - 1 maintainer
html-entities 1.1.4
A codec library for HTML-escaped text and HTML-entities
19 versions - Latest release: about 7 years ago - 3 dependent packages - 27 dependent repositories - 14.1 thousand downloads total - 7 stars on GitHub - 1 maintainer
BNFC-meta 0.6.1
22 versions - Latest release: over 4 years ago - 26 dependent repositories - 22.1 thousand downloads total - 3 maintainers
time-parsers 0.2
Parsers for types in time using parser library. Originally forked from aeson parsers. See also ...
5 versions - Latest release: about 1 year ago - 1 dependent package - 25 dependent repositories - 5.38 thousand downloads total - 4 stars on GitHub - 1 maintainer
binary-bits 0.5
5 versions - Latest release: over 9 years ago - 1 dependent package - 25 dependent repositories - 7.78 thousand downloads total - 1 maintainer
ParsecTools 0.0.2.0
1 version - Latest release: over 13 years ago - 22 dependent repositories - 2.55 thousand downloads total - 1 maintainer
binary-strict 0.4.8
22 versions - Latest release: about 14 years ago - 19 dependent repositories - 21.1 thousand downloads total - 2 maintainers
parsec-numeric 0.1.0.0
1 version - Latest release: over 7 years ago - 19 dependent repositories - 1.46 thousand downloads total - 1 maintainer
wire-streams 0.1.1.0
Fast binary io-streams adapter.
3 versions - Latest release: over 7 years ago - 1 dependent package - 18 dependent repositories - 4.22 thousand downloads total - 3 stars on GitHub - 1 maintainer
indentation-parsec 0.0.0.2
3 versions - Latest release: over 5 years ago - 17 dependent repositories - 2.45 thousand downloads total - 1 maintainer
Top 9.3% on hackage.haskell.org
chronos 1.1.5
Chronos is a performance-oriented time library for Haskell, with a straightforward API. The main ...
23 versions - Latest release: over 1 year ago - 9 dependent packages - 17 dependent repositories - 13.7 thousand downloads total - 54 stars on GitHub - 3 maintainers
cassava-megaparsec 2.1.1
Megaparsec parser of CSV files that plays nicely with Cassava.
9 versions - Latest release: 2 months ago - 1 dependent package - 16 dependent repositories - 7.93 thousand downloads total - 9 stars on GitHub - 4 maintainers
indentation-core 0.0.0.2
3 versions - Latest release: over 5 years ago - 16 dependent repositories - 2.69 thousand downloads total - 1 maintainer
makefile 1.1.0.0 💰
Haskell Makefile parser
13 versions - Latest release: over 6 years ago - 14 dependent repositories - 8.3 thousand downloads total - 14 stars on GitHub - 1 maintainer
cassette 0.1.0
1 version - Latest release: about 12 years ago - 14 dependent repositories - 1.34 thousand downloads total - 1 maintainer
streaming-binary 0.3.0.1
[Index] Package maintainers For package maintainers and hackage trustees Candidates This ...
6 versions - Latest release: almost 7 years ago - 13 dependent repositories - 18.2 thousand downloads total - 2 stars on GitHub - 1 maintainer
papillon 0.0.88
18 versions - Latest release: over 10 years ago - 12 dependent repositories - 14.1 thousand downloads total - 1 maintainer
replace-megaparsec 1.5.0.1
Find text patterns, replace the patterns, split on the patterns. Use Megaparsec monadic parsers i...
21 versions - Latest release: 12 months ago - 2 dependent packages - 11 dependent repositories - 5.94 thousand downloads total - 77 stars on GitHub - 2 maintainers
BNFC 2.9.5
The BNF Converter is a compiler construction tool generating a compiler front-end from a Labelled...
27 versions - Latest release: 10 months ago - 1 dependent package - 11 dependent repositories - 25.9 thousand downloads total - 4 maintainers
attoparsec-data 1.0.5
Parsers for the standard Haskell data types
13 versions - Latest release: over 3 years ago - 2 dependent packages - 11 dependent repositories - 6.48 thousand downloads total - 3 stars on GitHub - 1 maintainer
uulib 0.9.24
Fast Parser Combinators and Pretty Printing Combinators
18 versions - Latest release: about 5 years ago - 2 dependent packages - 11 dependent repositories - 25 thousand downloads total - 8 stars on GitHub - 5 maintainers
persist 0.1.1.5 💰
Minimal binary serialization library with focus on performance
7 versions - Latest release: almost 4 years ago - 1 dependent package - 11 dependent repositories - 3.36 thousand downloads total - 17 stars on GitHub - 1 maintainer
megaparsec-tests 9.6.1
Test utilities and the test suite of Megaparsec.
15 versions - Latest release: 6 months ago - 10 dependent repositories - 2.37 thousand downloads total - 890 stars on GitHub - 1 maintainer
replace-attoparsec 1.5.0.0
Find text patterns, replace the patterns, split on the patterns. Use Attoparsec monadic parsers i...
13 versions - Latest release: 12 months ago - 10 dependent repositories - 3.6 thousand downloads total - 14 stars on GitHub - 2 maintainers
input-parsers 0.2.3
Extended version of the parsers library, with the additional classes providing more capable and e...
11 versions - Latest release: almost 3 years ago - 5 dependent packages - 10 dependent repositories - 2.32 thousand downloads total - 1 maintainer
strptime 1.0.10
19 versions - Latest release: over 11 years ago - 10 dependent repositories - 13.9 thousand downloads total - 1 maintainer
postgresql-syntax 0.4.1
PostgreSQL SQL syntax utilities
12 versions - Latest release: about 2 years ago - 2 dependent packages - 9 dependent repositories - 4.58 thousand downloads total - 15 stars on GitHub - 1 maintainer
parsec3 1.0.1.8
11 versions - Latest release: about 9 years ago - 1 dependent package - 9 dependent repositories - 9.46 thousand downloads total - 1 maintainer
hspec-parsec 0
[Index] [Quick Jump] Note: This package has metadata revisions in the cabal description newer ...
1 version - Latest release: over 4 years ago - 8 dependent repositories - 826 downloads total - 1 stars on GitHub - 1 maintainer
optima 0.1.2
Simple and composable options parser
14 versions - Latest release: over 5 years ago - 8 dependent repositories - 4.6 thousand downloads total - 4 stars on GitHub - 1 maintainer
sexp-grammar 2.3.3
Serialisation to and deserialisation from S-expressions derived from a single grammar definition.
24 versions - Latest release: over 2 years ago - 1 dependent package - 7 dependent repositories - 10.4 thousand downloads total - 31 stars on GitHub - 2 maintainers
flatparse 0.5.1.0
Flatparse is a high-performance parsing library for strict bytestring input. See the README for m...
26 versions - Latest release: 2 months ago - 8 dependent packages - 7 dependent repositories - 3.3 thousand downloads total - 141 stars on GitHub - 1 maintainer
headed-megaparsec 0.2.1
Abstration over try in megaparsec
12 versions - Latest release: about 2 years ago - 1 dependent package - 7 dependent repositories - 4.4 thousand downloads total - 1 stars on GitHub - 1 maintainer
binary-generic-combinators 0.4.4.0
Please see the README on GitHub at https://github.com/0xd34df00d/binary-generic-combinators#readme
4 versions - Latest release: over 2 years ago - 6 dependent repositories - 673 downloads total - 4 stars on GitHub - 1 maintainer
parser-combinators-tests 1.3.0
Test suite of parser-combinators.
5 versions - Latest release: over 3 years ago - 6 dependent repositories - 2.4 thousand downloads total - 51 stars on GitHub - 1 maintainer
parsec3-numbers 0.1.0
4 versions - Latest release: over 9 years ago - 1 dependent package - 6 dependent repositories - 3.64 thousand downloads total - 1 maintainer
optparse-enum 1.0.0.0
Please see the README on GitHub at https://github.com/cdornan/optparse-enum#readme
1 version - Latest release: almost 5 years ago - 6 dependent repositories - 651 downloads total - 0 stars on GitHub - 1 maintainer
fuzzy-dates 0.1.1.2
Please see the README on GitHub at https://github.com/ReedOei/fuzzy-dates#readme
6 versions - Latest release: about 4 years ago - 6 dependent repositories - 3.99 thousand downloads total - 5 stars on GitHub - 1 maintainer
construct 0.3.1
A Haskell version of the Construct library for Python. A succinct file format specification provi...
9 versions - Latest release: about 2 years ago - 6 dependent repositories - 1.73 thousand downloads total - 1 maintainer
extensions 0.1.0.2 💰
Parse Haskell Language Extensions. See README.md for more details.
5 versions - Latest release: 14 days ago - 2 dependent packages - 5 dependent repositories - 2.58 thousand downloads total - 46 stars on GitHub - 2 maintainers
sexp 0.7
See the README.md file and the homepage for details.
3 versions - Latest release: about 11 years ago - 5 dependent repositories - 2.74 thousand downloads total - 4 stars on GitHub - 1 maintainer
aterm 0.1.0.2
The Heterogeneous Tool Set
3 versions - Latest release: over 3 years ago - 5 dependent repositories - 3.23 thousand downloads total - 54 stars on GitHub - 1 maintainer
winery 1.3.2
Please see the README on GitHub at https://github.com/fumieval/winery#readme [Last Documenta...
19 versions - Latest release: over 3 years ago - 2 dependent packages - 4 dependent repositories - 8.25 thousand downloads total - 89 stars on GitHub - 1 maintainer
vcs-revision 0.0.2
2 versions - Latest release: almost 10 years ago - 4 dependent repositories - 2.53 thousand downloads total - 1 maintainer
tree-sitter 0.9.0.3
Haskell bindings for tree-sitter
17 versions - Latest release: about 2 years ago - 4 dependent repositories - 6.48 thousand downloads total - 137 stars on GitHub - 9 maintainers
yoctoparsec 0.1.0.0
A truly tiny monadic parsing library
1 version - Latest release: over 8 years ago - 4 dependent repositories - 1.31 thousand downloads total - 28 stars on GitHub - 1 maintainer
binary-generic 0.2.1
Instead of manual or semi-automated generation of instances of Data.Binary.Binary you just derive...
3 versions - Latest release: almost 12 years ago - 4 dependent repositories - 2.94 thousand downloads total - 4 stars on GitHub - 1 maintainer
master-plan 0.3.1
Master Plan is a tool that parses files that describes projects using a simple and powerful synta...
4 versions - Latest release: over 6 years ago - 3 dependent repositories - 2.86 thousand downloads total - 130 stars on GitHub - 1 maintainer
parsek 1.0.1
8 versions - Latest release: over 9 years ago - 3 dependent repositories - 4.1 thousand downloads total - 1 maintainer
rere 0.2.0.1
3 versions - Latest release: 7 months ago - 3 dependent repositories - 3.51 thousand downloads total - 1 maintainer
uu-tc 2015.1.1
2 versions - Latest release: over 8 years ago - 3 dependent repositories - 2.57 thousand downloads total - 2 maintainers
crypto-pubkey-openssh 0.2.7
OpenSSH keys decoder/encoder
10 versions - Latest release: over 9 years ago - 3 dependent repositories - 8.45 thousand downloads total - 7 stars on GitHub - 1 maintainer
aeson-combinators 0.1.2.1
Low overhead value space Decoder on top of Aeson's Parser for combinator style decoding.
13 versions - Latest release: 5 months ago - 3 dependent repositories - 2.38 thousand downloads total - 12 stars on GitHub - 1 maintainer
diff-parse 0.2.1
3 versions - Latest release: about 9 years ago - 3 dependent repositories - 2.57 thousand downloads total - 2 maintainers
xml-query-xml-types 0.4.1
An interpreter of "xml-query" queries for the "xml-types" documents
2 versions - Latest release: about 8 years ago - 2 dependent repositories - 1.33 thousand downloads total - 1 stars on GitHub - 1 maintainer
permute 1.0
1 version - Latest release: over 12 years ago - 2 dependent repositories - 1.25 thousand downloads total - 1 maintainer
Related Keywords
library 270 bsd3 160 data 61 mit 58 text 53 haskell 32 program 25 deprecated 23 gpl 12 xml 12 cli 11 system 11 options 10 parser-combinators 8 enumerator 7 json 7 parser 6 haskell-library 6 language 6 serialization 6 bsd2 6 time 5 megaparsec 5 network 4 streaming 4 logic 4 control 4 mpl 4 html 3 io-streams 3 web 3 agpl 3 tools 3 template-haskell 3 apache 3 natural-language-processing 3 database 3 testing 3 pretty-printer 3 public-domain 3 pipes 3 protocol 2 applicative 2 codecs 2 find-and-replace 2 regex 2 stream-editor 2 attoparsec 2 parsec 2 utility 2 wgs84 2 vincenty 2 utm 2 shortest-path 2 servant 2 hacktoberfest 2 reflex-frp 2 igc 2 haversines 2 haskell-application 2 ghcjs 2 kml 2 lgpl 2 option-parser 2 array 2 math 2 dataflow 2 parser-library 2 list 2 optparse-applicative 2 non-determinism 2 file 2 configuration 2 streamly 2 console 2 hspec 2 gps 2 logging 2 development 2 postgresql 2 csv 2 tptp 1 theorem-proving 1 vampire 1 sorting 1 pretty-print 1 parsing-library 1 eprover 1 automated-theorem-provers 1 theorem-provers 1 formal-methods 1 ruby 1 reflection- 1 fitness 1 networks 1 network-science 1 network-dataset 1 graph-datasets 1 network-api 1 network-programming 1