typeprof
An experimental type-level Ruby interpreter for testing and understanding Ruby code (by ruby)
Our great sponsors
| typeprof | rubykaigi-2021 | |
|---|---|---|
| 5 | 1 | |
| 709 | 6 | |
| 1.1% | - | |
| 6.4 | 0.0 | |
| about 1 month ago | over 2 years ago | |
| Ruby | ||
| MIT License | - |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
typeprof
Posts with mentions or reviews of typeprof.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-10-20.
- Почему я программирую на Ruby
- TypeProf: A type analysis tool for Ruby code based on abstract interpretation
-
Ruby 3.1.0 Preview 1 released with new experimental JIT
Good to see IDE support for TypeProf type hints[1]. I've been doing a lot of work in statically typed languages lately. Ruby has been moving towards static types for a while, but the lack of IDE support has always been the dealbreaker for me to pick up Ruby again.
[1] https://github.com/ruby/typeprof/blob/master/doc/ide.md
-
rbs collection was released!
rbs collection feature integrates this repository and tools use RBS, such as rbs command, Steep, and TypeProf.
rubykaigi-2021
Posts with mentions or reviews of rubykaigi-2021.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-09-17.
-
rbs collection was released!
By the way, I made a presentation on Sep. 10 at RubyKaigi Takeout 2021 and explained rbs collection in the talk. This article is based on the talk. See https://github.com/pocke/rubykaigi-2021 for more details (unfortunately I spoke in Japanese but it has English slides and subtitles).
What are some alternatives?
When comparing typeprof and rubykaigi-2021 you can also consider the following projects:
steep - Static type checker for Ruby
rbs - Type Signature for Ruby
gem_rbs_collection - A collection of RBS for gems.
yjit - Optimizing JIT compiler built inside CRuby
error_highlight - The gem enhances Exception#message by adding a short explanation where the exception is raised
ruby - The Ruby Programming Language
DefinitelyTyped - The repository for high quality TypeScript type definitions.
django-sockpuppet - Build reactive applications with the django tooling you already know and love.
ruby-next - Ruby Next makes modern Ruby code run in older versions and alternative implementations
mocha - ☕️ simple, flexible, fun javascript test framework for node.js & the browser