Dev tools · alternatives · 2026
24 alternatives to Ruby static type checker – proof of concept
⛑ Fork of diamondback-ruby. Contribute to stereobooster/diamondback-ruby development by creating an account on GitHub.
Ruby static type checker is a proof-of-concept tool that adds static type checking capabilities to Ruby, a dynamically typed programming language. It is designed for Ruby developers who want to catch type-related… Below are 24 products that do a similar job, ranked by how close each is in meaning and then by launch-day votes. Ruby static type checker – proof of concept launched in 2017; newer entries below may have overtaken it.
- 1
Hello HN, I introduce a property-based testing tool for Ruby. Ruby's ease of test-writing and rich ecosystem are widely acclaimed. However, property-based testing is not as widely used as in other languages such as Haskell or Elixir, and I think this is because there is no de facto testing tool. This gem currently not only has the basic functionality of stateless property-based testing but also has the following features: - Support verbose mode that allows you to see its shrinking procedure and algorithms. - Support several concurrency/parallel executions of each test. As of now,…
2024 · github.com · its alternatives →
- 2
Open sourcing Ezno's checker and trying out / previewing the JavaScript type checker today
2023 · github.com · its alternatives →
- 3
A simple utility for running exhaustiveness checks on Go "sum types." - BurntSushi/go-sumtype
2017 · github.com · its alternatives →
- 4
Introducing Ezno and the current state of the project.
2022 · kaleidawave.github.io · its alternatives →
- 5
- 6
A functional programming language with static memory management - vekatze/neut
2020 · github.com · its alternatives →
- 7
transpile algorithms/libs to idiomatic JS, Go, C#, Ruby - GitHub - pseudo-lang/pseudo: transpile algorithms/libs to idiomatic JS, Go, C#, Ruby
2016 · github.com · its alternatives →
- 8FS
Hi HN! I've been working on the fuse programming language, it's a statically typed purely functional language with higher-kinder types and ad-hoc polymorphism. It compiles to the GRIN whole-program optimizer, producing LLVM-generated native code. Fuse supports ADTs, Generics, Type Methods, Traits, Pattern matching etc. all in a functional style with no mutations. I’ve been developing the language for 5 years, with code written in Scala. I’ve started coding the language from the base of System F that was implemented as part of the book: Types and Programming Languages (tapl). And then…
Aug 2026 · fuselang.org · its alternatives →
- 9
Find static code analysis tools and linters for Java, JavaScript, PHP, Python, Ruby, C/C++, C#, Go, Swift, and more. All tools and linters are peer-reviewed by fellow developers to select the best tools available. Avoid bugs in production, outages on weekends, and angry customers.
2020 · analysis-tools.dev · its alternatives →
- 10
a python-like language with hindley-milner-like type system, which is compiled to c - alehander92/Airtight
2015 · github.com · its alternatives →
- 11
An implementation of a dynamic programming language in Rust. Includes: Parser/Compiler, REPL, Virtual Machine, Bytecode Disassembler This started out as a learning project to teach myself Rust. It has grown into a decently substantial piece of software and I've learned quite a bit in the process! Some neat things: + A garbage collector that can store dynamically sized types without any double-indirection (i.e. I have my own Box implementation with manual alloc/dealloc) + The smart pointer used to reference GCed data is a thin pointer. The ptr metadata needed for DSTs is stored in…
2022 · github.com · its alternatives →
- 12
Program synthesis for Ruby. Contribute to ku-progsys/rbsyn development by creating an account on GitHub.
2022 · github.com · its alternatives →
- 13
The Hindley Milner Type Inference Algorithm. Contribute to prakhar1989/type-inference development by creating an account on GitHub.
2016 · github.com · its alternatives →
- 14
A horrible demonstration of a new Ruby concept. Contribute to afiler/safetyblanket development by creating an account on GitHub.
2013 · github.com · its alternatives →
- 15
:icecream: vanillatype - Lightweight runtime types for vanilla JS and Node - crisdosaygo/vanillatype
2020 · github.com · its alternatives →
- 16
I built a browser-based REPL for Coalton, a statically typed Lisp dialect that merges Haskell’s type system with Common Lisp. Coalton gives you: - Algebraic data types, pattern matching, static guarantees - Full interoperability with dynamic Lisp functions Demo & examples: https://coalton.app Under the hood: Prebuilt SBCL cores with Coalton preloaded, running on a droplet
2025 · coalton.app · its alternatives →
- 17
An interactive Ruby Object Graph Visualization. Contribute to mattbaker/ruby-heap-viz development by creating an account on GitHub.
2014 · github.com · its alternatives →
- 18
I created this ORM to fill a gap in the Python ecosystem. Due to the nature of typing in Python there are no other Python ORMs that can provide correct type hints. Prisma Python manages to work around this by auto-generating python types. Aside from static type checking, providing type hints means that you will get autocomplete suggestions for you which for me is the killer feature for this ORM (see the GIF in the README for an example). It's also built on top of Prisma, a next-generation ORM for TypeScript which means that the core query building and connection handling has been battle…
2022 · github.com · its alternatives →
- 19
Pure Ruby Cuckoo Filter Implementation. Contribute to pawandubey/cuckoo_filter development by creating an account on GitHub.
2017 · github.com · its alternatives →
- 20
GitHub: https://www.github.com/fizzbee-io/FizzBee Traditionally, formal methods are used only for highly mission critical systems to validate the software will work as expected before it's built. Recently, every major cloud vendor like AWS, Azure, Mongo DB, confluent, elastic and so on use formal methods to validate their design like the replication algorithm or various protocols doesn't have a design bug. I used TLA+ for billing and usage based metering applications. However, the current formal methods solutions like TLA+, Alloy or P and so on are incredibly complex to…
2024 · fizzbee.io · its alternatives →
- 21RA
2017 · rubyproctor.com · its alternatives →
- 22PI
A Ruby programming tutorial for journalists, researchers, investigators, scientists, analysts and anyone else in the business of finding information and making it useful and visible. Programming experience not required, but provided.
2011 · ruby.bastardsbook.com · its alternatives →
- 23RA
2015 · rbkit.codemancers.com · its alternatives →
- 24
A Javascript implementation in Ruby! Contribute to haileys/twostroke development by creating an account on GitHub.
2012 · github.com · its alternatives →
Also compare
- PBT – A property-based testing library for Ruby alternatives
- Ezno, a TypeScript checker written in Rust, is now open source alternatives
- A utility for running exhaustiveness checks on “sum types” in Go alternatives
- Ezno, a type checker for JavaScript and optimiser for React alternatives
- Flow alternatives
- A dependently-typed programming language with static memory management alternatives
Ranked by how close each launch is in meaning, then by votes. Prices were read from each product’s own site when checked and can change. Refine with your own description →