-
Servers
ID 当前状态 系统信息 CPU信息 内存信息 Handled requests 631031f8 2025-11-29 3:44:47 Ubuntu 20.04.6 LTS focal x64 Intel Xeon® E7-4820 v3@1.9GHz 15.3 GiB/15.6 GiB 0 -
Compiler Versions
ocaml, ocaml.o2, ocaml.def
5.3.0lean4, lean4.o2, lean4.def
Lean (version 4.22.0, commit v4.22.0, Release) -
Compile Commands
- C(c)
/usr/bin/gcc -Wall --std=c99 -o foo foo.c -lm
- C++(cc)
/usr/bin/g++ -Wall -std=c++14 -o foo foo.cc -lm
- C++98(cc.cc98)
/usr/bin/g++ -Wall -std=c++98 -o foo foo.cc -lm
- C++98(O2)(cc.cc98o2)
/usr/bin/g++ -Wall -std=c++98 -o foo foo.cc -lm -O2
- C++11(cc.cc11)
/usr/bin/g++ -Wall -std=c++11 -o foo foo.cc -lm
- C++11(O2)(cc.cc11o2)
/usr/bin/g++ -Wall -std=c++11 -o foo foo.cc -lm -O2
- C++14(cc.cc14)
/usr/bin/g++ -Wall -std=c++14 -o foo foo.cc -lm
- C++14(O2)(cc.cc14o2)
/usr/bin/g++ -Wall -std=c++14 -o foo foo.cc -lm -O2
- C++17(cc.cc17)
/usr/bin/g++ -Wall -std=c++17 -o foo foo.cc -lm
- C++17(O2)(cc.cc17o2)
/usr/bin/g++ -Wall -std=c++17 -o foo foo.cc -lm -O2
- C++20(cc.cc20)
/usr/bin/g++ -Wall -std=c++20 -o foo foo.cc -lm
- C++20(O2)(cc.cc20o2)
/usr/bin/g++ -Wall -std=c++20 -o foo foo.cc -lm -O2
- C++23(cc.cc23)
/usr/bin/g++ -Wall -std=c++23 -o foo foo.cc -lm
- C++23(O2)(cc.cc23o2)
/usr/bin/g++ -Wall -std=c++23 -o foo foo.cc -lm -O2
- Pascal(pas)
/usr/bin/fpc -O2 -o/w/foo foo.pas
- Java(java)
/usr/bin/bash -c "javac -d /w -encoding utf8 ./Main.java && jar cvf Main.jar *.class >/dev/null"
- Python(py)
/usr/bin/python -c "import py_compile; py_compile.compile('/w/foo.py', '/w/foo', doraise=True)" - Python 2(py.py2)
/usr/bin/python -c "import py_compile; py_compile.compile('/w/foo.py', '/w/foo', doraise=True)" - Python 3(py.py3)
/usr/bin/python3 -c "import py_compile; py_compile.compile('/w/foo.py', '/w/foo', doraise=True)" - PHP(php)
/usr/bin/php foo.php
- Rust(rs)
/usr/bin/rustc -O -o /w/foo /w/foo.rs
- Haskell(hs)
/usr/bin/ghc -O -outputdir /tmp -o foo foo.hs
- Javascript (Node.js)(js)
/usr/bin/node /w/foo.js
- Javascript (JSC)(jsc)
/usr/bin/jsc /w/foo.js
- Golang(go)
/usr/bin/go build -o foo foo.go
- Ruby(rb)
/usr/bin/ruby foo.rb
- C#(cs)
/usr/bin/mcs -optimize+ -out:/w/foo /w/foo.cs
- cat(cat)
/usr/bin/cat foo
- OCaml(ocaml)
/usr/bin/ocamlopt foo.ml -o foo
- OCaml(O2)(ocaml.o2)
/usr/bin/ocamlopt -O2 foo.ml -o foo
- Lean4(lean4)
/usr/bin/bash -c "/usr/bin/lean foo.lean -c foo.c && /usr/bin/leanc foo.c -o foo"
- Lean4 (O2)(lean4.o2)
/usr/bin/bash -c "/usr/bin/lean foo.lean -c foo.c && /usr/bin/leanc -O2 foo.c -o foo"
- OCaml(ocaml.def)
/usr/bin/ocamlopt foo.ml -o foo
- Lean4(lean4.def)
/usr/bin/bash -c "/usr/bin/lean foo.lean -c foo.c && /usr/bin/leanc foo.c -o foo"
- C(c)
