The type system is a programmer's best friend

• sorbet

  53 3,524 9.9 Ruby

  A fast, powerful type checker designed for Ruby

  

Shopify is listed as using Sorbet, which is static typing for Ruby.

• mypy

  112 17,506 9.7 Python

  Optional static typing for Python

  

I recently used mypy extensively on a project and it was a great experience. Optional typing is a big win imo.

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• deno

  448 92,841 9.9 Rust

  A modern runtime for JavaScript and TypeScript.

  

Looking at the Deno GitHub page, I see Rust, Typescript, and Javascript in the languages list: https://github.com/denoland/deno

• node

  918 103,479 9.9 JavaScript

  Node.js JavaScript runtime ✨🐢🚀✨

  

Looking at the Node.js GitHub page, I see C++, Javascript, and Python (?) as its primary languages: https://github.com/nodejs/node

• bun

  286 70,251 10.0 Zig

  Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one

  

For serverside stuff, I haven't tried it yet but Bun looks pretty interesting. It has an internal TS transpiler so you can run TS directly.

• lang-team

  25 190 7.8 JavaScript

  Home of the Rust lang team

  

That's what Rust does, and it's considered a problem (that the devs are regrettably unable to reasonably solve) rather than a good thing.

• fp-ts

  96 10,435 7.5 TypeScript

  Functional programming in TypeScript

I think TypeScript's type system is "good" in the sense it's expressively powerful enough to implement e.g. fp-ts. So it's effectively in the same class as OCaml's. And there are a lot of similarities: both are structurally typed, both have some flavor of "polymorphic variants," both (a criticism) lack higher-kinded types and have to resort to the "Lightweight Higher-Kinded Types" emulation to implement things like fp-ts.

• InfluxDB

  www.influxdata.com sponsored

  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.

  

• pipreqs

  9 5,801 6.8 Python

  pipreqs - Generate pip requirements.txt file based on imports of any project. Looking for maintainers to move this project forward.

Ah this is enlightening but also disheartening to hear. I am currently in the process of cleaning up our projects and some way of knowing the gems we actually use would have been a great help. The excellent pip-reqs package for python has been an immense help with my python specific problems

Suggest a related project