package menhir
An LR(1) parser generator
Install
Dune Dependency
gitlab.inria.fr
LGPL-2.0-only WITH OCaml-LGPL-linking-exception License
Edit opam file
Versions (62)
Authors
Maintainers
Sources
archive.tar.gz
md5=1af2d137eb20811c74ca516500164fd4
sha512=37a88b3ea0bde6089e5fbf0c1f10c1867c4edcd033ed3d5b75e7ed93e14ddd4f4c4db96baf638a054f65e294b83411497615c7fc14c6ff3a2a007e70f9d12c98
Description
Published: 19 Apr 2021
Dev Dependencies
None
-
absolute
>= "0.2"
-
acgtk
= "1.5.0" | >= "1.5.2" & < "2.0.0"
-
aifad
>= "2.3.0"
- alba
-
alt-ergo
>= "2.0.0" & < "2.3.0" | >= "2.4.0"
-
alt-ergo-free
< "2.3.3"
- alt-ergo-parsers
- anders
- archetype
- arrakis
- asli
- atd
-
bamboo
< "0.0.02"
-
batsh
< "0.0.5"
- binsec
-
bnfgen
< "3.1.0"
- caper
- caradoc
- catala
-
cca
< "0.6.2"
- ccss
-
cfg
< "2.1.0" | >= "2.3.0"
- cfml
- charrua-core
- charrua-server
- clarity-lang
-
coccinelle
>= "1.0.9"
-
codept
>= "0.10.3"
-
coin
< "0.1.4"
-
combine
>= "0.42"
- cosovo
- css-parser
- DrawGrammar
- dedukti
- dirsp-ps2ocaml
- dkml-dune-dsl-show
- doc-ock-xml
-
dolmen
< "0.7"
- drom_toml
-
earlybird
>= "1.0.0"
- edn
-
electrod
< "0.4.1" | >= "0.6.2"
- electrumAnalyzer
-
embedded_ocaml_templates
< "0.8"
-
encoding
< "0.0.2"
- erlang
-
FrontC
>= "4.0.0"
-
forester
!= "2.1" & < "3.0.0"
-
frama-c
>= "27.0~beta"
-
frama-c-luncov
>= "0.2.1"
-
frenetic
>= "5.0.5"
- fsml
-
fstar
>= "0.9.5.0"
- gadelac
- gdb
- gdbprofiler
-
genet
!= "0.2"
- gobba
- gospel
-
graphql_parser
>= "0.9.0"
- gufo
-
heptagon
>= "1.01.00"
-
herdtools7
>= "7.55"
- imaplet-lwt
-
inferno
>= "20220603"
- jasmin
-
jingoo
>= "1.3.1"
-
js_of_ocaml
= "1.4.0"
-
js_of_ocaml-compiler
>= "3.7.0"
-
js_of_ocaml-webgpu
< "0.2"
- js_of_ocaml-webidl
- karamel
- kdl
- kind2
-
kremlin
< "transition"
- labrys
- lambda
- lambdapi
- lambdoc
- libabsolute
-
libsail
< "0.18"
- libzipperposition
- lilis
-
links
>= "0.9"
-
liquidsoap
>= "1.4.0" & < "2.2.0"
- liquidsoap-lang
-
logtk
>= "1.5.1"
- lp
-
lreplay
>= "0.1.1"
-
lsp
< "1.8.0" | >= "1.11.3" & < "1.12.1"
- lua_parser
- mc2
-
melange
>= "1.0.0"
- melange-compiler-libs
-
merlin
< "2.0.0" | >= "3.5.0" & < "4.6-414" | >= "4.7-412" & < "4.7-414"
- merlin-lib
- mezzo
- minicaml
- minimal
- mlx
- modelica_ml
- mopsa
- morbig
-
msat
= "0.8"
-
mustache
>= "3.0.0"
- netkat
- nice_parser
- nmea
- nuscr
- obelisk
- obrowser
-
obus
>= "1.2.0"
-
ocaml-lsp-server
< "1.2.0"
-
ocaml-r
< "0.1.0"
-
ocamlformat
>= "0.14.0" & < "0.25.1"
- ocamlformat-lib
-
ocamlformat-rpc
< "0.21.0"
-
odate
< "0.7"
- odds
- ollvm
- ollvm-tapir
-
ometrics
< "0.2.0"
- openQASM
- optal
- otoml
-
ott
>= "0.32"
-
p4pp
!= "0.1.8"
- p5scm
- petr4
-
pfff
>= "0.40.4"
- phylogenetics
- ppx_open
- ppx_pbt
- ppx_pyformat
- profound
- psmt2-frontend
- pyast
-
rdf
>= "0.6.0" & < "1.0.0"
-
reason
>= "3.3.5"
- relit-reason
- rfsm
-
runtime_events_tools
>= "0.5.0"
-
sail
< "0.15"
- satex
-
satyrographos
>= "0.0.2.8"
- sgf
- shapefile
- sibylfs
- sifun
-
smbc
< "0.4.2"
- smtlib-utils
- sociaml-vcard
- solidity-parser
- sqlgg
- squirrel
-
stog-writing
< "0.19.0"
-
swhid
< "0.2"
-
systemverilog
>= "0.0.2"
- talaria-bibtex
-
tip-parser
>= "0.4"
- toml
- touist
-
tptp
>= "0.3.1"
-
uuuu
< "0.3.0"
-
wcs-lib
>= "2017-05-26.02"
-
webidl
!= "1.2"
-
why3
>= "1.3.0"
-
why3-base
>= "0.86.3"
-
wikitext
>= "3.0.1"
- zanuda
- zelus
- zephyrus
-
zipperposition
>= "1.1"
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page