package menhir

  1. Overview
  2. Docs
An LR(1) parser generator

Install

Dune Dependency

Authors

Maintainers

Sources

archive.tar.gz
md5=ff8b8c4c58b1365128d0d2aeaad85d1c
sha512=361d4d81ac92fbe78a88ca731e8ec7e3287bf536b430949c88f87a7dca63e0d65ec30130331e5f00692b7cbbfcec8f3b2a7733cf023fe71067419bcc38ced91e

Description

Published: 31 Dec 2021

Dependencies (4)

  1. menhirSdk = version
  2. menhirLib = version
  3. dune >= "2.8.0"
  4. ocaml >= "4.03.0" & < "5.0"

Dev Dependencies

None

  1. abella >= "2.0.8"
  2. absolute >= "0.2"
  3. acgtk
  4. aifad >= "2.3.0"
  5. alba
  6. alt-ergo >= "2.4.2"
  7. alt-ergo-parsers >= "2.4.0"
  8. anders
  9. archetype
  10. arrakis
  11. asli
  12. bdd >= "0.5"
  13. binsec >= "0.5.0"
  14. bnfgen
  15. caper
  16. catala >= "0.3.0"
  17. cca < "0.6.2"
  18. cfg >= "2.3.0"
  19. cfml
  20. charrua-server
  21. coccinelle >= "1.0.9"
  22. codept < "0.12.1"
  23. codept-lib
  24. cosovo
  25. css-parser
  26. dedukti
  27. diffast-core
  28. diffast-langs-cpp-parsing
  29. diffast-langs-fortran-parsing
  30. diffast-langs-java-parsing
  31. diffast-langs-python-parsing
  32. diffast-langs-verilog-parsing
  33. dirsp-ps2ocaml
  34. dkml-dune-dsl-show
  35. dolmen
  36. drom_toml
  37. dune >= "3.17.2"
  38. earlybird
  39. edn >= "0.2.0"
  40. electrod >= "0.6.2"
  41. electrumAnalyzer
  42. elpi
  43. embedded_ocaml_templates < "0.8"
  44. erlang
  45. FrontC >= "4.0.0"
  46. forester < "4.2.0"
  47. frama-c >= "27.0~beta"
  48. frama-c-luncov >= "0.2.1"
  49. frenetic
  50. fsml < "0.3.0"
  51. fstar < "2025.02.17"
  52. gadelac
  53. gdbprofiler
  54. gobba
  55. gospel
  56. graphql_parser >= "0.9.0"
  57. gufo
  58. heptagon
  59. herdtools7 >= "7.55"
  60. inferno >= "20220603"
  61. jasmin
  62. jingoo >= "1.3.1"
  63. js_of_ocaml-compiler >= "4.0.0"
  64. js_of_ocaml-webgpu < "0.2"
  65. karamel
  66. kdl
  67. kind2 >= "1.6.0"
  68. kremlin < "transition"
  69. lambda
  70. lambdapi >= "2.1.0"
  71. libabsolute
  72. libsail < "0.18"
  73. libzipperposition
  74. links
  75. liquidsoap = "2.1.4"
  76. liquidsoap-lang < "2.3.0"
  77. lp
  78. lreplay >= "0.1.1"
  79. lsp < "1.15.1-5.0"
  80. lua_parser >= "1.0.2"
  81. MlFront_Cli < "2.3.1"
  82. mazeppa
  83. melange >= "1.0.0"
  84. melange-compiler-libs
  85. merlin < "4.14-500"
  86. merlin-lib
  87. minicaml
  88. mopsa
  89. morbig
  90. msat = "0.8"
  91. mustache >= "3.1.0"
  92. netkat
  93. nice_parser
  94. nuscr != "2.0.0"
  95. obelisk
  96. obus >= "1.2.0"
  97. ocamlformat >= "0.14.0" & < "0.25.1"
  98. ocamlformat-lib
  99. ocamlformat-mlx-lib
  100. ocamlformat-rpc < "0.21.0"
  101. ocamlmig
  102. odds
  103. ometrics < "0.2.0"
  104. opam-file-format >= "2.2.0~alpha1"
  105. openQASM
  106. optal
  107. otoml
  108. ott >= "0.32"
  109. p4pp >= "0.1.8"
  110. p5scm
  111. petr4
  112. phylogenetics
  113. ppx_open
  114. ppx_pbt
  115. ppx_pyformat
  116. psmt2-frontend >= "0.3.0"
  117. pyast
  118. rdf < "1.0.0"
  119. reason
  120. res_tailwindcss
  121. rfsm >= "2.0"
  122. runtime_events_tools >= "0.5.0"
  123. satex
  124. satyrographos >= "0.0.2.8"
  125. scfg
  126. sifun
  127. smtlib-utils >= "0.4"
  128. solidity-parser
  129. sqlgg >= "20231201"
  130. squirrel
  131. stog = "0.20.0"
  132. stog-writing < "0.19.0"
  133. swhid < "0.2"
  134. talaria-bibtex
  135. toml >= "7.1.0"
  136. touist
  137. tptp
  138. trs
  139. wasm_of_ocaml-compiler
  140. wcs-lib >= "2017-05-26.02"
  141. webidl < "1.2"
  142. why3 >= "1.3.0"
  143. wikitext >= "3.0.1"
  144. zanuda
  145. zelus
  146. zipperposition < "1.6"

Conflicts

None

OCaml

Innovation. Community. Security.