An experimental type-level Ruby interpreter for testing and understanding Ruby code
☆834Sep 29, 2026Updated last week
Alternatives and similar repositories for typeprof
Users that are interested in typeprof are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Static type checker for Ruby☆1,489Updated this week
- The type signature language for Ruby☆2,183Updated this week
- ☆326Sep 3, 2026Updated last month
- A collection of RBS for gems.☆303Oct 2, 2026Updated last week
- Debugging functionality for Ruby☆1,275Jun 12, 2026Updated 3 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Ruby Next makes modern Ruby code run in older versions and alternative implementations☆800Jul 25, 2026Updated 2 months ago
- A central repository for sharing type definitions for Ruby gems☆392Feb 29, 2024Updated 2 years ago
- A fast, powerful type checker designed for Ruby☆3,805Updated this week
- Inline RBS type declaration☆356Jun 22, 2026Updated 3 months ago
- Prism Ruby parser☆1,034Updated this week
- A Ruby language formatter written in Ruby☆609May 3, 2026Updated 5 months ago
- interactive Ruby☆477Oct 1, 2026Updated last week
- The compatible library with the API of Ruby's stdlib 'readline'☆311Sep 21, 2026Updated 2 weeks ago
- A Ruby language server.☆2,008Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Convert YARD docs to Sorbet RBI and Ruby 3/Steep RBS files☆337Jul 7, 2025Updated last year
- The swiss army knife of RBI generation☆874Updated this week
- Pure Ruby LALR parser generator☆318Oct 2, 2026Updated last week
- A high-performance web server for Ruby, supporting HTTP/1, HTTP/2 and TLS.☆3,046Aug 11, 2026Updated last month
- An awesome asynchronous event-driven reactor for Ruby.☆2,461Sep 14, 2026Updated 3 weeks ago
- VSCode extension for Steep☆83Sep 29, 2026Updated last week
- A modern gem manager: Gel is a lightweight alternative to Bundler☆823Mar 24, 2025Updated last year
- ruby.wasm is a collection of WebAssembly ports of the CRuby.☆876Updated this week
- Efficient and thread-safe code loader for Ruby☆2,141Aug 30, 2026Updated last month
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- RBS syntax highlight for VSCode.☆20Feb 14, 2026Updated 7 months ago
- A set of tools to make the Sorbet typechecker work with Ruby on Rails seamlessly.☆630Jun 30, 2023Updated 3 years ago
- The gem enhances Exception#message by adding a short explanation where the exception is raised☆155Sep 24, 2026Updated 2 weeks ago
- An opinionated language server for Ruby☆2,039Updated this week
- IRB with Typed Completion☆94Dec 24, 2023Updated 2 years ago
- A Ruby parser.☆1,645Jul 16, 2026Updated 2 months ago
- Ruby Tests Profiling Toolbox☆2,051Sep 8, 2026Updated last month
- The Ruby Formatter☆938May 28, 2026Updated 4 months ago
- Ruby's bikeshed-proof linter and formatter 🚲☆2,925Updated this week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Ruby parser written in Rust☆242Oct 2, 2024Updated 2 years ago
- Ruby Autoformatter!☆1,234Updated this week
- 💎 Artichoke is a Ruby made with Rust☆3,125Nov 3, 2025Updated 11 months ago
- Good things come in small packages.☆1,922Aug 26, 2026Updated last month
- Alba is a JSON serializer for Ruby, JRuby and TruffleRuby.☆1,207Updated this week
- Useful tools for Sorbet enthusiasts☆272Updated this week
- Add custom processing for warnings☆302Sep 20, 2026Updated 2 weeks ago