Linux cesa-www-main 6.1.0-49-cloud-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.1.174-1 (2026-05-26) x86_64
Apache/2.4.68 (Debian)
Server IP : 10.218.0.2 & Your IP : 216.73.216.28
Domains :
Cant Read [ /etc/named.conf ]
User : www-data
Terminal
Auto Root
Create File
Create Folder
Localroot Suggester
Backdoor Destroyer
Readme
/
usr /
lib /
ruby /
gems /
3.1.0 /
gems /
typeprof-0.21.2 /
Delete
Unzip
Name
Size
Permission
Date
Action
exe
[ DIR ]
drwxr-xr-x
2025-06-05 11:22
lib
[ DIR ]
drwxr-xr-x
2025-06-05 11:22
tools
[ DIR ]
drwxr-xr-x
2025-06-05 11:22
vscode
[ DIR ]
drwxr-xr-x
2025-06-05 11:22
Gemfile
235
B
-rw-r--r--
2022-04-12 11:11
Gemfile.lock
629
B
-rw-r--r--
2022-04-12 11:11
LICENSE
1.05
KB
-rw-r--r--
2022-04-12 11:11
README.md
513
B
-rw-r--r--
2022-04-12 11:11
Rakefile
198
B
-rw-r--r--
2022-04-12 11:11
typeprof-lsp
113
B
-rw-r--r--
2022-04-12 11:11
Save
Rename
# TypeProf: A type analysis tool for Ruby code based on abstract interpretation ## Synopsis ```sh gem install typeprof typeprof app.rb ``` ## Demo ```rb # test.rb def foo(x) if x > 10 x.to_s else nil end end foo(42) ``` ``` $ typeprof test.rb # Classes class Object def foo : (Integer) -> String? end ``` ## Documentation [English](doc/doc.md) / [日本語](doc/doc.ja.md) ## Playground You can try typeprof gem on the Web via the URL below. https://mame.github.io/typeprof-playground/