ruby / typeprofLinks
An experimental type-level Ruby interpreter for testing and understanding Ruby code
☆810Updated 2 weeks ago
Alternatives and similar repositories for typeprof
Users that are interested in typeprof are comparing it to the libraries listed below
Sorting:
- Static type checker for Ruby☆1,464Updated this week
- Debugging functionality for Ruby☆1,247Updated 2 weeks ago
- Ruby Next makes modern Ruby code run in older versions and alternative implementations☆774Updated 6 months ago
- The Ruby Formatter☆928Updated last week
- Interact with the Ruby syntax tree☆603Updated last month
- Prism Ruby parser☆967Updated this week
- Alba is a JSON serializer for Ruby, JRuby and TruffleRuby.☆1,111Updated this week
- Type Signature for Ruby☆2,115Updated last week
- Generate OpenAPI schema from RSpec request specs☆490Updated this week
- A central repository for sharing type definitions for Ruby gems☆389Updated last year
- A collection of RBS for gems.☆298Updated this week
- A more helpful way to view differences between complex data structures in RSpec.☆1,042Updated last month
- ruby.wasm is a collection of WebAssembly ports of the CRuby.☆823Updated this week
- A modern gem manager: Gel is a lightweight alternative to Bundler☆821Updated 9 months ago
- A set of tools to make the Sorbet typechecker work with Ruby on Rails seamlessly.☆633Updated 2 years ago
- An extension of RuboCop focused on code performance checks.☆724Updated this week
- ☆314Updated this week
- Efficient and thread-safe code loader for Ruby☆2,099Updated last week
- Rumale is a machine learning library in Ruby☆894Updated this week
- Useful, common monads in idiomatic Ruby☆851Updated last week
- A RuboCop extension focused on enforcing Rails best practices and coding conventions.☆856Updated this week
- An awesome asynchronous event-driven reactor for Ruby.☆2,393Updated 2 weeks ago
- Inline RBS type declaration☆336Updated last month
- Ruby Autoformatter!☆1,098Updated this week
- A Visual Studio Code extension for Solargraph.☆434Updated last month
- Coercion and validation for data structures☆467Updated this week
- Flexible type system for Ruby with coercions and constraints☆878Updated this week
- Use ActiveRecord transactional callbacks outside of models, literally everywhere in your application.☆775Updated 10 months ago
- Analyze code for potentially uncalled / dead methods, now with auto-removal.☆744Updated this week
- interactive Ruby☆435Updated last week