Linux tsuru-no-tsurugi 5.15.0-186-generic #196-Ubuntu SMP Sat Jun 20 16:09:34 UTC 2026 x86_64
Apache/2.4.52 (Ubuntu)
Server IP : 192.168.0.18 & Your IP : 216.73.216.68
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.0.0 /
gems /
typeprof-0.12.0 /
Delete
Unzip
Name
Size
Permission
Date
Action
doc
[ DIR ]
drwxr-xr-x
2026-07-06 06:50
exe
[ DIR ]
drwxr-xr-x
2026-07-06 06:50
lib
[ DIR ]
drwxr-xr-x
2026-07-06 06:50
smoke
[ DIR ]
drwxr-xr-x
2026-07-06 06:50
testbed
[ DIR ]
drwxr-xr-x
2026-07-06 06:50
tools
[ DIR ]
drwxr-xr-x
2026-07-06 06:50
Gemfile
235
B
-rw-r--r--
2021-07-07 19:08
Gemfile.lock
628
B
-rw-r--r--
2021-07-07 19:08
LICENSE
1.05
KB
-rw-r--r--
2021-07-07 19:08
README.md
513
B
-rw-r--r--
2021-07-07 19:08
Rakefile
198
B
-rw-r--r--
2021-07-07 19:08
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/