package menhir

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

Install

Dune Dependency

Authors

Maintainers

Sources

archive.tar.gz
md5=d39a8943fe1be28199e5ec1f4133504c
sha512=4f933cfc9026f5f2ffda9b0e626862560a233c35ecf097d179edd926d9009bdf46b6611294aea02b63c34427348568f37376a033fbe8cf98a7746fa6f1354dbd

Description

Published: 16 Jul 2024

Dependencies (5)

  1. menhirCST = version
  2. menhirSdk = version
  3. menhirLib = version
  4. dune >= "2.8.0"
  5. ocaml >= "4.03.0"

Dev Dependencies

None

  1. abella >= "2.0.8"
  2. absolute >= "0.2"
  3. acgtk = "1.5.0" | >= "1.5.2"
  4. aifad >= "2.3.0"
  5. alba
  6. alonzo
  7. alt-ergo >= "2.4.2"
  8. alt-ergo-parsers >= "2.4.0"
  9. anders
  10. archetype
  11. arrakis
  12. asli
  13. atd >= "2.3.3"
  14. bamboo < "0.0.02"
  15. batsh < "0.0.5"
  16. binsec < "0.4.0" | >= "0.5.0"
  17. bnfgen
  18. cairn
  19. caper
  20. caradoc
  21. catala >= "0.3.0"
  22. cca
  23. ccss
  24. cfg < "2.1.0" | >= "2.3.0"
  25. cfml
  26. charrua-core
  27. charrua-server
  28. coccinelle >= "1.0.9"
  29. codept >= "0.10.3"
  30. combine >= "0.42"
  31. coq-lsp >= "0.1.5+8.16"
  32. cosovo
  33. css-parser
  34. DrawGrammar
  35. dedukti
  36. dirsp-ps2ocaml
  37. dkml-dune-dsl-show
  38. doc-ock-xml
  39. dolmen
  40. drom_toml
  41. earlybird >= "1.0.0"
  42. edn != "0.1.6-1-gff9db95"
  43. electrod >= "0.6.2"
  44. electrumAnalyzer
  45. elpi >= "1.15.0"
  46. embedded_ocaml_templates < "0.8"
  47. encoding
  48. erlang
  49. FrontC >= "4.0.0"
  50. forester
  51. frama-c >= "27.0~beta"
  52. frama-c-luncov >= "0.2.1"
  53. frenetic >= "5.0.5"
  54. fsml < "0.3.0"
  55. fstar >= "0.9.5.0"
  56. gadelac
  57. gdb
  58. gdbprofiler
  59. genet != "0.2"
  60. gobba
  61. gospel
  62. graphql_parser >= "0.9.0"
  63. gufo
  64. hardcaml-lua
  65. heptagon >= "1.01.00"
  66. herdtools7 >= "7.55"
  67. highlexer
  68. http-date
  69. imaplet-lwt
  70. inferno >= "20220603"
  71. jasmin
  72. jingoo >= "1.3.1"
  73. js_of_ocaml-compiler >= "4.0.0"
  74. js_of_ocaml-webgpu < "0.2"
  75. karamel
  76. kdl
  77. kind2 >= "1.6.0"
  78. kremlin < "transition"
  79. lambda
  80. lambdapi != "2.0.0"
  81. lambdoc
  82. libabsolute
  83. libsail
  84. libzipperposition
  85. lilis
  86. links >= "0.9"
  87. liquidsoap >= "2.1.0" & < "2.2.0"
  88. liquidsoap-lang
  89. lp
  90. lreplay >= "0.1.1"
  91. lsp < "1.8.0" | >= "1.11.3" & < "1.15.0-4.14"
  92. lua_parser >= "1.0.1"
  93. MlFront_Cli
  94. melange >= "1.0.0"
  95. melange-compiler-libs
  96. merlin < "2.0.0" | >= "3.5.0" & < "4.6-414" | >= "4.7-412" & < "4.7-414"
  97. merlin-lib
  98. mezzo
  99. minicaml
  100. minimal >= "1.1.0"
  101. modelica_ml
  102. mopsa
  103. morbig
  104. msat = "0.8"
  105. mustache >= "3.0.0"
  106. netkat
  107. nice_parser
  108. nuscr != "2.0.0"
  109. obelisk
  110. obrowser
  111. obus >= "1.2.0"
  112. ocaml-lsp-server < "1.2.0"
  113. ocaml-r < "0.1.0"
  114. ocamlformat >= "0.14.0" & < "0.25.1"
  115. ocamlformat-lib
  116. ocamlformat-rpc < "0.21.0"
  117. odate != "0.6"
  118. odds
  119. ometrics < "0.2.0"
  120. openQASM
  121. optal
  122. otoml
  123. ott >= "0.32"
  124. owi
  125. p4pp >= "0.1.11"
  126. p5scm
  127. pa_ppx_q_ast >= "0.11"
  128. passage
  129. petr4
  130. phylogenetics
  131. plist-xml >= "0.4.0"
  132. ppx_open
  133. ppx_pbt
  134. ppx_pyformat
  135. profound
  136. psmt2-frontend >= "0.3.0"
  137. pyast
  138. rdf >= "0.7.0"
  139. reason >= "3.3.5"
  140. relit-reason
  141. res_tailwindcss
  142. rfsm >= "2.0"
  143. runtime_events_tools >= "0.5.0"
  144. satex
  145. satyrographos >= "0.0.2.8"
  146. scfg
  147. sherlodoc
  148. sibylfs
  149. sifun
  150. smbc < "0.4.2"
  151. smtlib-utils >= "0.4"
  152. smtml
  153. sociaml-vcard
  154. solidity-parser
  155. sqlgg < "0.4.4" | >= "20231201"
  156. squirrel
  157. stog >= "0.20.0"
  158. stog-writing < "0.19.0"
  159. styled-ppx
  160. swhid < "0.2"
  161. talaria-bibtex
  162. toml >= "7.1.0"
  163. touist
  164. tptp >= "0.3.1"
  165. wcs-lib >= "2017-05-26.02"
  166. webidl < "1.2"
  167. why3 >= "1.3.0"
  168. why3-base >= "0.86.3"
  169. wikitext >= "3.0.1"
  170. zanuda
  171. zelus
  172. zephyrus
  173. zipperposition >= "1.1" & != "1.5" & < "1.6"

Conflicts

None

OCaml

Innovation. Community. Security.