# Git URLs of publicly-accessible projects to be used for parsing stats,
# one per line.

# R2C'S OCaml projects
https://github.com/semgrep/semgrep

# Projects with more than 1000 stars on GitHub.
# (we could add more, we're looking for large amounts of handwritten
# code rather than popularity)
#
https://github.com/facebook/flow
https://github.com/reasonml/reason
https://github.com/facebook/pyre-check
https://github.com/astrada/google-drive-ocamlfuse
https://github.com/batsh-dev-team/Batsh
https://github.com/coq/coq
https://github.com/fastpack/fastpack
https://github.com/bcpierce00/unison
https://github.com/mirage/mirage
https://github.com/mirage/irmin
https://github.com/BinaryAnalysisPlatform/bap
https://github.com/tomprimozic/type-systems
https://github.com/MLstate/opalang
https://github.com/airbus-seclab/bincat

# popular and used by R2C
https://github.com/ocaml/dune
https://github.com/ocaml/merlin

# We currently skip the compiler repo because it contains lots of test files
# which are not representative of regular OCaml code
# https://github.com/ocaml/ocaml

# this contains a 22MB whole_compiler.ml file that requires 4GB
# of memory to parse, which is a good stress test for semgrep
https://github.com/rescript-lang/rescript-compiler
