Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality. Learn more →
Top 16 type-checking Open-Source Projects
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
-
-
-
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
-
-
infer-types
A CLI tool to automatically add type annotations into Python code. Must have tool for annotating existing code.
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
There are a bunch of awesome type utility libraries that may boost your works on types, like ts-toolbelt, utility-types, SimplyTyped, etc., which you can already use.
I highly recommend https://github.com/sdiehl/write-you-a-haskell as it is very developer friendly. It’s not complete, but it really gets the gears turning and will set you up for writing your own Hendley-Milner style type checker.
Project mention: JAX – NumPy on the CPU, GPU, and TPU, with great automatic differentiation | news.ycombinator.com | 2023-09-28Agree, though I wouldn’t call PyTorch a drop-in for NumPy either. CuPy is the drop-in. Excepting some corner cases, you can use the same code for both. Thinc’s ops work with both NumPy and CuPy:
https://github.com/explosion/thinc/blob/master/thinc/backend...
Project mention: Ravi is a dialect of Lua, with JIT and AOT compilers | news.ycombinator.com | 2024-03-18it's based off MIR, does it have something to do with https://mlir.llvm.org/ ?
for typed lua, there is another effort https://github.com/teal-language/tl in addition to the mentioned typescript approach: https://github.com/andremm/typedlua
I saw no mention of RBS+Steep, the latter providing a LSP. I use it a lot and very much like it, although it's still young and needs love, but it's making good, steady progress! I've been very pleasantly surprised by some of the crazy things Steep can catch, completely statically!
You appear to be working on projects with Sorbet (which I tried to like but found it fell short in practice, notably outside of the app use case i.e it's mostly useless for gems) so it may be a tall order to try on those. Maybe you can give RBS+Steep a shot on some small project?
RBS: https://github.com/ruby/rbs
RBS collection (for those gems that don't ship RBS signatures in `sig`, integrates with bundler): https://github.com/ruby/gem_rbs_collection
Steep: https://github.com/soutaro/steep
VS Code: https://github.com/soutaro/steep-vscode
Sublime Text: https://github.com/sublimelsp/LSP
Vim (I'm working on it): https://github.com/dense-analysis/ale/pull/4671
I used https://github.com/johnthagen/python-blueprint to build https://github.com/DaveCoDev/not-again-ai. It uses poetry to manage dependencies, sets up automatic linting, testing, and type checking with nox and gets it running with GitHub Actions. It is continually being updated and stays up to date modern Python tooling (ruff, nox, poetry, etc). Not sure why the comments are being so discouraging, but regardless if you are looking to publish a polished library, its super helpful to have these things setup for you.
Use this until the one built into the language is ready. It has incredibly low performance impact too.
https://github.com/Qqwy/elixir-type_check
Project mention: Microsoft DeviceScript – TypeScript for Tiny IoT Devices | news.ycombinator.com | 2023-06-08Because of compile-time type safety / static analysis. And I say this as the author of an IDE that bolts those features onto Lua: https://github.com/Benjamin-Dobell/IntelliJ-Luanalysis
NOTE:
The open source projects on this list are ordered by number of github stars.
The number of mentions indicates repo mentiontions in the last 12 Months or
since we started tracking (Dec 2020).
type-checking related posts
-
What it was like working for Gitlab
-
Day 9 advent of typescript
-
Elixir and Phoenix can do it all
-
InfoQ Interview: Rich Kilmer on the Power of Ruby
-
Teal – Type Hints for Lua
-
Nelua, AOT statically typed Lua
-
Do people actually use @spec? Do you find it useful?
-
A note from our sponsor - InfluxDB
www.influxdata.com | 14 May 2024
Index
What are some of the best open-source type-checking projects? This list will help you:
| Project | Stars | |
|---|---|---|
| 1 | ts-toolbelt | 6,406 |
| 2 | ow | 3,786 |
| 3 | write-you-a-haskell | 3,304 |
| 4 | thinc | 2,796 |
| 5 | tl | 1,950 |
| 6 | rbs | 1,880 |
| 7 | caer | 749 |
| 8 | hammox | 551 |
| 9 | python-blueprint | 533 |
| 10 | elixir-type_check | 511 |
| 11 | Hindley Milner Definitions | 195 |
| 12 | IntelliJ-Luanalysis | 147 |
| 13 | vite-plugin-vitest-typescript-assert | 79 |
| 14 | infer-types | 73 |
| 15 | progge.rs | 33 |
| 16 | typed_struct | 15 |
Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com