package menhir
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)
Dev Dependencies
None
-
abella
>= "2.0.8"
-
absolute
>= "0.2"
-
acgtk
= "1.5.0" | >= "1.5.2"
-
aifad
>= "2.3.0"
- alba
- alonzo
-
alt-ergo
>= "2.4.2"
-
alt-ergo-parsers
>= "2.4.0"
- anders
- archetype
- arrakis
- asli
-
atd
>= "2.3.3"
-
bamboo
< "0.0.02"
-
batsh
< "0.0.5"
-
binsec
< "0.4.0" | >= "0.5.0"
- bnfgen
- cairn
- caper
- caradoc
-
catala
>= "0.3.0"
- cca
- ccss
-
cfg
< "2.1.0" | >= "2.3.0"
- cfml
- charrua-core
- charrua-server
-
coccinelle
>= "1.0.9"
-
codept
>= "0.10.3"
-
combine
>= "0.42"
-
coq-lsp
>= "0.1.5+8.16"
- cosovo
- css-parser
- DrawGrammar
- dedukti
- dirsp-ps2ocaml
- dkml-dune-dsl-show
- doc-ock-xml
- dolmen
- drom_toml
-
earlybird
>= "1.0.0"
-
edn
!= "0.1.6-1-gff9db95"
-
electrod
>= "0.6.2"
- electrumAnalyzer
-
elpi
>= "1.15.0"
-
embedded_ocaml_templates
< "0.8"
- encoding
- erlang
-
FrontC
>= "4.0.0"
- forester
-
frama-c
>= "27.0~beta"
-
frama-c-luncov
>= "0.2.1"
-
frenetic
>= "5.0.5"
-
fsml
< "0.3.0"
-
fstar
>= "0.9.5.0"
- gadelac
- gdb
- gdbprofiler
-
genet
!= "0.2"
- gobba
- gospel
-
graphql_parser
>= "0.9.0"
- gufo
- hardcaml-lua
-
heptagon
>= "1.01.00"
-
herdtools7
>= "7.55"
- highlexer
- http-date
- imaplet-lwt
-
inferno
>= "20220603"
- jasmin
-
jingoo
>= "1.3.1"
-
js_of_ocaml-compiler
>= "4.0.0"
-
js_of_ocaml-webgpu
< "0.2"
- karamel
- kdl
-
kind2
>= "1.6.0"
-
kremlin
< "transition"
- lambda
-
lambdapi
!= "2.0.0"
- lambdoc
- libabsolute
- libsail
- libzipperposition
- lilis
-
links
>= "0.9"
-
liquidsoap
>= "2.1.0" & < "2.2.0"
- liquidsoap-lang
- lp
-
lreplay
>= "0.1.1"
-
lsp
< "1.8.0" | >= "1.11.3" & < "1.15.0-4.14"
-
lua_parser
>= "1.0.1"
- MlFront_Cli
-
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
>= "1.1.0"
- modelica_ml
- mopsa
- morbig
-
msat
= "0.8"
-
mustache
>= "3.0.0"
- netkat
- nice_parser
-
nuscr
!= "2.0.0"
- 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.6"
- odds
-
ometrics
< "0.2.0"
- openQASM
- optal
- otoml
-
ott
>= "0.32"
- owi
-
p4pp
>= "0.1.11"
- p5scm
-
pa_ppx_q_ast
>= "0.11"
- passage
- petr4
- phylogenetics
-
plist-xml
>= "0.4.0"
- ppx_open
- ppx_pbt
- ppx_pyformat
- profound
-
psmt2-frontend
>= "0.3.0"
- pyast
-
rdf
>= "0.7.0"
-
reason
>= "3.3.5"
- relit-reason
- res_tailwindcss
-
rfsm
>= "2.0"
-
runtime_events_tools
>= "0.5.0"
- satex
-
satyrographos
>= "0.0.2.8"
- scfg
- sherlodoc
- sibylfs
- sifun
-
smbc
< "0.4.2"
-
smtlib-utils
>= "0.4"
- smtml
- sociaml-vcard
- solidity-parser
-
sqlgg
< "0.4.4" | >= "20231201"
- squirrel
-
stog
>= "0.20.0"
-
stog-writing
< "0.19.0"
- styled-ppx
-
swhid
< "0.2"
- talaria-bibtex
-
toml
>= "7.1.0"
- touist
-
tptp
>= "0.3.1"
-
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" & != "1.5" & < "1.6"
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page