An experimental type-level Ruby interpreter for testing and understanding Ruby code
☆833Sep 29, 2026Updated last month
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,492Updated this week
- The type signature language for Ruby☆2,183Updated this week
- ☆326Sep 3, 2026Updated last month
- A collection of RBS for gems.☆302Updated this week
- Debugging functionality for Ruby☆1,276Jun 12, 2026Updated 4 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Ruby Next makes modern Ruby code run in older versions and alternative implementations☆801Jul 25, 2026Updated 3 months ago
- Prism Ruby parser☆1,041Updated this week
- A fast, powerful type checker designed for Ruby☆3,805Updated this week
- The swiss army knife of RBI generation☆874Oct 20, 2026Updated last week
- Inline RBS type declaration☆357Jun 22, 2026Updated 4 months ago
- A central repository for sharing type definitions for Ruby gems☆392Feb 29, 2024Updated 2 years ago
- interactive Ruby☆477Oct 14, 2026Updated 2 weeks ago
- Convert YARD docs to Sorbet RBI and Ruby 3/Steep RBS files☆339Jul 7, 2025Updated last year
- An opinionated language server for Ruby☆2,043Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Efficient and thread-safe code loader for Ruby☆2,143Updated this week
- A high-performance web server for Ruby, supporting HTTP/1, HTTP/2 and TLS.☆3,053Aug 11, 2026Updated 2 months ago
- A Ruby language formatter written in Ruby☆610May 3, 2026Updated 5 months ago
- A Ruby language server.☆2,010Updated this week
- An awesome asynchronous event-driven reactor for Ruby.☆2,460Sep 14, 2026Updated last month
- Pure Ruby LALR parser generator☆318Updated this week
- ruby.wasm is a collection of WebAssembly ports of the CRuby.☆876Updated this week
- The compatible library with the API of Ruby's stdlib 'readline'☆311Updated this week
- RBS syntax highlight for VSCode.☆20Feb 14, 2026Updated 8 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- VSCode extension for Steep☆84Oct 14, 2026Updated 2 weeks ago
- A modern gem manager: Gel is a lightweight alternative to Bundler☆823Mar 24, 2025Updated last year
- The gem enhances Exception#message by adding a short explanation where the exception is raised☆155Oct 8, 2026Updated 3 weeks ago
- Useful tools for Sorbet enthusiasts☆273Updated this week
- Good things come in small packages.☆1,927Aug 26, 2026Updated 2 months ago
- Ruby Autoformatter!☆1,234Updated this week
- ☆72Jul 1, 2026Updated 3 months ago
- Ruby Tests Profiling Toolbox☆2,052Oct 9, 2026Updated 2 weeks ago
- ☆54Jul 29, 2026Updated 3 months ago
- 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.
- A Ruby parser.☆1,645Updated this week
- ☆21Oct 21, 2026Updated last week
- IRB with Typed Completion☆94Dec 24, 2023Updated 2 years ago
- Optimizing JIT compiler built inside CRuby☆730Jun 19, 2024Updated 2 years ago
- Ruby's bikeshed-proof linter and formatter 🚲☆2,927Updated this week
- Query Method Calls from Ruby Programs☆252Oct 31, 2022Updated 3 years ago
- The Ruby Formatter☆938May 28, 2026Updated 5 months ago