OXIESEC PANEL
- Current Dir:
/
/
opt
/
alt
/
python311
/
lib
/
python3.11
/
site-packages
/
pygments
/
lexers
Server IP: 2a02:4780:11:1084:0:327f:3464:10
Upload:
Create Dir:
Name
Size
Modified
Perms
๐
..
-
05/08/2024 06:42:35 PM
rwxr-xr-x
๐
__init__.py
11.78 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
__pycache__
-
05/08/2024 06:42:35 PM
rwxr-xr-x
๐
_ada_builtins.py
1.51 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
_asy_builtins.py
26.65 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
_cl_builtins.py
13.67 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
_cocoa_builtins.py
102.71 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
_csound_builtins.py
17.98 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
_css_builtins.py
12.15 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
_julia_builtins.py
11.6 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
_lasso_builtins.py
131.36 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
_lilypond_builtins.py
105.56 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
_lua_builtins.py
7.92 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
_luau_builtins.py
955 bytes
05/08/2024 06:42:35 PM
rw-r--r--
๐
_mapping.py
67.47 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
_mql_builtins.py
24.13 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
_mysql_builtins.py
25.23 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
_openedge_builtins.py
48.24 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
_php_builtins.py
105.39 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
_postgres_builtins.py
13.03 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
_qlik_builtins.py
12.3 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
_scheme_builtins.py
31.8 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
_scilab_builtins.py
51.18 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
_sourcemod_builtins.py
26.15 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
_stan_builtins.py
13.13 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
_stata_builtins.py
26.59 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
_tsql_builtins.py
15.1 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
_usd_builtins.py
1.62 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
_vbscript_builtins.py
4.13 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
_vim_builtins.py
55.73 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
actionscript.py
11.45 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
ada.py
5.23 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
agile.py
896 bytes
05/08/2024 06:42:35 PM
rw-r--r--
๐
algebra.py
9.68 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
ambient.py
2.54 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
amdgpu.py
1.68 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
ampl.py
4.08 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
apdlexer.py
30.08 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
apl.py
3.32 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
archetype.py
11.27 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
arrow.py
3.48 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
arturo.py
11.15 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
asc.py
1.65 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
asm.py
40.95 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
asn1.py
4.16 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
automation.py
19.37 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
bare.py
2.95 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
basic.py
27.33 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
bdd.py
1.6 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
berry.py
3.13 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
bibtex.py
4.7 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
blueprint.py
6.04 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
boa.py
3.83 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
bqn.py
3.26 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
business.py
27.68 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
c_cpp.py
17.64 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
c_like.py
31.27 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
capnproto.py
2.12 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
carbon.py
3.14 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
cddl.py
4.96 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
chapel.py
5.04 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
clean.py
6.27 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
comal.py
3.1 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
compiled.py
1.39 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
configs.py
49.35 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
console.py
4.08 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
cplint.py
1.36 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
crystal.py
15.38 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
csound.py
16.6 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
css.py
24.77 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
d.py
9.69 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
dalvik.py
4.5 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
data.py
26.39 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
dax.py
7.91 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
devicetree.py
3.92 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
diff.py
5.26 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
dns.py
3.8 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
dotnet.py
37.07 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
dsls.py
35.88 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
dylan.py
10.15 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
ecl.py
6.22 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
eiffel.py
2.63 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
elm.py
3.08 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
elpi.py
6.38 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
email.py
4.69 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
erlang.py
18.7 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
esoteric.py
10.25 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
ezhil.py
3.2 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
factor.py
19.07 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
fantom.py
9.99 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
felix.py
9.43 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
fift.py
1.61 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
floscript.py
2.6 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
forth.py
7.02 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
fortran.py
10.14 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
foxpro.py
25.68 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
freefem.py
26.28 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
func.py
3.61 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
functional.py
693 bytes
05/08/2024 06:42:35 PM
rw-r--r--
๐
futhark.py
3.66 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
gcodelexer.py
874 bytes
05/08/2024 06:42:35 PM
rw-r--r--
๐
gdscript.py
7.39 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
go.py
3.69 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
grammar_notation.py
7.85 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
graph.py
4.01 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
graphics.py
38.23 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
graphql.py
5.47 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
graphviz.py
1.89 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
gsql.py
3.9 KB
05/08/2024 06:42:35 PM
rwxr-xr-x
๐
haskell.py
32.46 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
haxe.py
30.25 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
hdl.py
22.21 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
hexdump.py
3.57 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
html.py
20.09 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
idl.py
15.09 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
igor.py
30.88 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
inferno.py
3.06 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
installers.py
12.99 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
int_fiction.py
55.22 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
iolang.py
1.86 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
j.py
4.74 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
javascript.py
61.62 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
jmespath.py
2.03 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
jslt.py
3.61 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
jsonnet.py
5.5 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
jsx.py
2.18 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
julia.py
11.41 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
jvm.py
70.96 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
kuin.py
11.14 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
kusto.py
3.4 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
ldap.py
6.4 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
lean.py
8.37 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
lilypond.py
9.52 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
lisp.py
153.97 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
macaulay2.py
32.07 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
make.py
7.65 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
markup.py
63.56 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
math.py
695 bytes
05/08/2024 06:42:35 PM
rw-r--r--
๐
matlab.py
129.85 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
maxima.py
2.65 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
meson.py
4.23 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
mime.py
7.4 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
minecraft.py
13.38 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
mips.py
4.55 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
ml.py
34.56 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
modeling.py
13.36 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
modula2.py
51.83 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
mojo.py
23.61 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
monte.py
6.14 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
mosel.py
9.08 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
ncl.py
62.5 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
nimrod.py
6.26 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
nit.py
2.66 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
nix.py
4.32 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
oberon.py
4.11 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
objective.py
22.7 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
ooc.py
2.91 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
openscad.py
3.61 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
other.py
1.72 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
parasail.py
2.66 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
parsers.py
25.97 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
pascal.py
30.26 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
pawn.py
8.06 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
perl.py
38.27 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
phix.py
22.7 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
php.py
12.75 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
pointless.py
1.93 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
pony.py
3.2 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
praat.py
12.38 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
procfile.py
1.13 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
prolog.py
12.56 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
promql.py
4.63 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
prql.py
8.54 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
ptx.py
4.4 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
python.py
52.38 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
q.py
6.77 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
qlik.py
3.61 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
qvt.py
5.96 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
r.py
6.19 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
rdf.py
15.67 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
rebol.py
17.83 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
resource.py
2.86 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
ride.py
4.92 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
rita.py
1.1 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
rnc.py
1.93 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
roboconf.py
2.03 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
robotframework.py
18.02 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
ruby.py
22.22 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
rust.py
8.07 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
sas.py
9.23 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
savi.py
4.76 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
scdoc.py
2.46 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
scripting.py
79.16 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
sgf.py
1.94 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
shell.py
35.38 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
sieve.py
2.46 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
slash.py
8.29 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
smalltalk.py
7.04 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
smithy.py
2.6 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
smv.py
2.74 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
snobol.py
2.71 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
solidity.py
3.09 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
soong.py
2.28 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
sophia.py
3.3 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
special.py
3.47 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
spice.py
2.72 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
sql.py
41.6 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
srcinfo.py
1.71 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
stata.py
6.26 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
supercollider.py
3.61 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
tact.py
10.56 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
tal.py
2.84 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
tcl.py
5.38 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
teal.py
3.44 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
templates.py
73.94 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
teraterm.py
9.49 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
testing.py
10.56 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
text.py
1.02 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
textedit.py
7.58 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
textfmts.py
15.16 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
theorem.py
17.44 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
thingsdb.py
5.88 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
tlb.py
1.42 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
tls.py
1.5 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
tnt.py
10.21 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
trafficscript.py
1.47 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
typoscript.py
8.14 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
typst.py
4.24 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
ul4.py
10.25 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
unicon.py
18.19 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
urbi.py
5.94 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
usd.py
3.23 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
varnish.py
7.3 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
verification.py
3.84 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
verifpal.py
2.6 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
vip.py
5.58 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
vyper.py
5.46 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
web.py
913 bytes
05/08/2024 06:42:35 PM
rw-r--r--
๐
webassembly.py
5.56 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
webidl.py
10.27 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
webmisc.py
39.61 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
wgsl.py
11.6 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
whiley.py
3.92 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
wowtoc.py
3.98 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
wren.py
3.15 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
x10.py
1.9 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
xorg.py
925 bytes
05/08/2024 06:42:35 PM
rw-r--r--
๐
yang.py
4.39 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
yara.py
2.37 KB
05/08/2024 06:42:35 PM
rw-r--r--
๐
zig.py
3.88 KB
05/08/2024 06:42:35 PM
rw-r--r--
Editing: lean.py
Close
""" pygments.lexers.lean ~~~~~~~~~~~~~~~~~~~~ Lexers for the Lean theorem prover. :copyright: Copyright 2006-2024 by the Pygments team, see AUTHORS. :license: BSD, see LICENSE for details. """ import re from pygments.lexer import RegexLexer, words, include from pygments.token import Comment, Operator, Keyword, Name, String, \ Number, Generic, Whitespace __all__ = ['Lean3Lexer', 'Lean4Lexer'] class Lean3Lexer(RegexLexer): """ For the Lean 3 theorem prover. """ name = 'Lean' url = 'https://leanprover-community.github.io/lean3' aliases = ['lean', 'lean3'] filenames = ['*.lean'] mimetypes = ['text/x-lean', 'text/x-lean3'] version_added = '2.0' # from https://github.com/leanprover/vscode-lean/blob/1589ca3a65e394b3789409707febbd2d166c9344/syntaxes/lean.json#L186C20-L186C217 _name_segment = ( "(?![ฮปฮ ฮฃ])[_a-zA-Zฮฑ-ฯฮ-ฮฉฯ-ฯปแผ-แฟพโ-โ ๐-๐]" "(?:(?![ฮปฮ ฮฃ])[_a-zA-Zฮฑ-ฯฮ-ฮฉฯ-ฯปแผ-แฟพโ-โ ๐-๐0-9'โฟ-โโ-โแตข-แตช])*") _name = _name_segment + r"(\." + _name_segment + r")*" tokens = { 'expression': [ (r'\s+', Whitespace), (r'/--', String.Doc, 'docstring'), (r'/-', Comment, 'comment'), (r'--.*?$', Comment.Single), (words(( 'forall', 'fun', 'Pi', 'from', 'have', 'show', 'assume', 'suffices', 'let', 'if', 'else', 'then', 'in', 'with', 'calc', 'match', 'do' ), prefix=r'\b', suffix=r'\b'), Keyword), (words(('sorry', 'admit'), prefix=r'\b', suffix=r'\b'), Generic.Error), (words(('Sort', 'Prop', 'Type'), prefix=r'\b', suffix=r'\b'), Keyword.Type), (words(( '(', ')', ':', '{', '}', '[', ']', 'โจ', 'โฉ', 'โน', 'โบ', 'โฆ', 'โฆ', ':=', ',', )), Operator), (_name, Name), (r'``?' + _name, String.Symbol), (r'0x[A-Za-z0-9]+', Number.Integer), (r'0b[01]+', Number.Integer), (r'\d+', Number.Integer), (r'"', String.Double, 'string'), (r"'(?:(\\[\\\"'nt])|(\\x[0-9a-fA-F]{2})|(\\u[0-9a-fA-F]{4})|.)'", String.Char), (r'[~?][a-z][\w\']*:', Name.Variable), (r'\S', Name.Builtin.Pseudo), ], 'root': [ (words(( 'import', 'renaming', 'hiding', 'namespace', 'local', 'private', 'protected', 'section', 'include', 'omit', 'section', 'protected', 'export', 'open', 'attribute', ), prefix=r'\b', suffix=r'\b'), Keyword.Namespace), (words(( 'lemma', 'theorem', 'def', 'definition', 'example', 'axiom', 'axioms', 'constant', 'constants', 'universe', 'universes', 'inductive', 'coinductive', 'structure', 'extends', 'class', 'instance', 'abbreviation', 'noncomputable theory', 'noncomputable', 'mutual', 'meta', 'attribute', 'parameter', 'parameters', 'variable', 'variables', 'reserve', 'precedence', 'postfix', 'prefix', 'notation', 'infix', 'infixl', 'infixr', 'begin', 'by', 'end', 'set_option', 'run_cmd', ), prefix=r'\b', suffix=r'\b'), Keyword.Declaration), (r'@\[', Keyword.Declaration, 'attribute'), (words(( '#eval', '#check', '#reduce', '#exit', '#print', '#help', ), suffix=r'\b'), Keyword), include('expression') ], 'attribute': [ (r'\]', Keyword.Declaration, '#pop'), include('expression'), ], 'comment': [ (r'[^/-]+', Comment.Multiline), (r'/-', Comment.Multiline, '#push'), (r'-/', Comment.Multiline, '#pop'), (r'[/-]', Comment.Multiline) ], 'docstring': [ (r'[^/-]+', String.Doc), (r'-/', String.Doc, '#pop'), (r'[/-]', String.Doc) ], 'string': [ (r'[^\\"]+', String.Double), (r"(?:(\\[\\\"'nt])|(\\x[0-9a-fA-F]{2})|(\\u[0-9a-fA-F]{4}))", String.Escape), ('"', String.Double, '#pop'), ], } def analyse_text(text): if re.search(r'^import [a-z]', text, re.MULTILINE): return 0.1 LeanLexer = Lean3Lexer class Lean4Lexer(RegexLexer): """ For the Lean 4 theorem prover. """ name = 'Lean4' url = 'https://github.com/leanprover/lean4' aliases = ['lean4'] filenames = ['*.lean'] mimetypes = ['text/x-lean4'] version_added = '2.18' # same as Lean3Lexer, with `!` and `?` allowed _name_segment = ( "(?![ฮปฮ ฮฃ])[_a-zA-Zฮฑ-ฯฮ-ฮฉฯ-ฯปแผ-แฟพโ-โ ๐-๐]" "(?:(?![ฮปฮ ฮฃ])[_a-zA-Zฮฑ-ฯฮ-ฮฉฯ-ฯปแผ-แฟพโ-โ ๐-๐0-9'โฟ-โโ-โแตข-แตช!?])*") _name = _name_segment + r"(\." + _name_segment + r")*" keywords1 = ( 'import', 'unif_hint', 'renaming', 'inline', 'hiding', 'lemma', 'variable', 'theorem', 'axiom', 'inductive', 'structure', 'universe', 'alias', '#help', 'precedence', 'postfix', 'prefix', 'infix', 'infixl', 'infixr', 'notation', '#eval', '#check', '#reduce', '#exit', 'end', 'private', 'using', 'namespace', 'instance', 'section', 'protected', 'export', 'set_option', 'extends', 'open', 'example', '#print', 'opaque', 'def', 'macro', 'elab', 'syntax', 'macro_rules', '#reduce', 'where', 'abbrev', 'noncomputable', 'class', 'attribute', '#synth', 'mutual', 'scoped', 'local', ) keywords2 = ( 'forall', 'fun', 'obtain', 'from', 'have', 'show', 'assume', 'let', 'if', 'else', 'then', 'by', 'in', 'with', 'calc', 'match', 'nomatch', 'do', 'at', ) keywords3 = ( # Sorts 'Type', 'Prop', 'Sort', ) operators = ( '!=', '#', '&', '&&', '*', '+', '-', '/', '@', '!', '-.', '->', '.', '..', '...', '::', ':>', ';', ';;', '<', '<-', '=', '==', '>', '_', '|', '||', '~', '=>', '<=', '>=', '/\\', '\\/', 'โ', 'ฮ ', 'ฮป', 'โ', 'โง', 'โจ', 'โ ', 'โค', 'โฅ', 'ยฌ', 'โปยน', 'โฌ', 'โธ', 'โ', 'โ', 'โ', 'ร', 'โ', 'โ', 'โก', 'โจ', 'โฉ', "โฆ", ) punctuation = ('(', ')', ':', '{', '}', '[', ']', 'โฆ', 'โฆ', ':=', ',') tokens = { 'expression': [ (r'\s+', Whitespace), (r'/--', String.Doc, 'docstring'), (r'/-', Comment, 'comment'), (r'--.*$', Comment.Single), (words(keywords3, prefix=r'\b', suffix=r'\b'), Keyword.Type), (words(('sorry', 'admit'), prefix=r'\b', suffix=r'\b'), Generic.Error), (words(operators), Name.Builtin.Pseudo), (words(punctuation), Operator), (_name_segment, Name), (r'``?' + _name, String.Symbol), (r'(?<=\.)\d+', Number), (r'(\d+\.\d*)([eE][+-]?[0-9]+)?', Number.Float), (r'\d+', Number.Integer), (r'"', String.Double, 'string'), (r'[~?][a-z][\w\']*:', Name.Variable), (r'\S', Name.Builtin.Pseudo), ], 'root': [ (words(keywords1, prefix=r'\b', suffix=r'\b'), Keyword.Namespace), (words(keywords2, prefix=r'\b', suffix=r'\b'), Keyword), (r'@\[', Keyword.Declaration, 'attribute'), include('expression') ], 'attribute': [ (r'\]', Keyword.Declaration, '#pop'), include('expression'), ], 'comment': [ # Multiline Comments (r'[^/-]+', Comment.Multiline), (r'/-', Comment.Multiline, '#push'), (r'-/', Comment.Multiline, '#pop'), (r'[/-]', Comment.Multiline) ], 'docstring': [ (r'[^/-]+', String.Doc), (r'-/', String.Doc, '#pop'), (r'[/-]', String.Doc) ], 'string': [ (r'[^\\"]+', String.Double), (r'\\[n"\\\n]', String.Escape), ('"', String.Double, '#pop'), ], } def analyse_text(text): if re.search(r'^import [A-Z]', text, re.MULTILINE): return 0.1