Our great sponsors
- ONLYOFFICE ONLYOFFICE Docs — document collaboration in your environment
- InfluxDB - Access the most powerful time series database as a service
- CodiumAI - TestGPT | Generating meaningful tests for busy devs
- SonarQube - Static code analysis for 29 languages.
|7 days ago||10 days ago|
|MIT License||MIT License|
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Writing Python like it's Rust
10 projects | news.ycombinator.com | 21 May 2023
Buck2, a large scale build tool written in Rust by Meta, is now available
11 projects | reddit.com/r/rust | 6 Apr 2023
Internally we use Pyre for Python type checking: https://github.com/facebook/pyre-check
Are there any sectors that use Haskell as a main programming language?
2 projects | reddit.com/r/haskell | 1 Apr 2023
It is becoming difficult for me to be productive in Python
8 projects | reddit.com/r/programming | 6 Feb 2023
Before type hinting, work had intense rules and linters enforcing docstrings with types. Now, type hints and automatic pyre runs take care of all the heavy lifting.
Ruby 3.2’s YJIT is Production-Ready
8 projects | news.ycombinator.com | 17 Jan 2023
Python now has an optional type system and if you add one of them such as mypy or pyre to your CI process and you can configure GitHub to refuse the pull request until types are added you can make it somewhat strongly typed.
If you have a preexisting codebase I believe the way you can convert it is to add the types that you know on commits and eventually you will have enough types that adding the missing ones should be easy. For the missing ones Any is a good choice.
https://pyre-check.org and https://github.com/python/mypy are popular.
Is there any other mainstream language (especially strongly typed compiled) whose type system is as powerful (or at least close) as Typescript? It's difficult to like other languages type system after using Typescript.
3 projects | reddit.com/r/typescript | 14 Oct 2022
So to find things in a similar space, you need to look for languages with these sorts of constraints - so things like Sorbet for Ruby or pyright/pyre and you'll see similar and new ideas
Statically typed Python
7 projects | reddit.com/r/Python | 30 Nov 2021
Facebook/Instagram uses Pyre which is a typechecker for Python.
OCaml at Bloomberg 'we use OCaml to write DSLs and production services –'
2 projects | news.ycombinator.com | 23 Aug 2021
I'd be curious if the pyre-check compilation is any faster for you either by removing the inlining optimization flag (the `-Oclassic` here https://github.com/facebook/pyre-check/blame/36243764ab81a82...) or whether there's a way to compile pyre-check to bytecode instead of the native compilation step (which unfortunately it looks like there's no easy way to modify pyre-check's build config to do so).2 projects | news.ycombinator.com | 23 Aug 2021
I must be doing something wrong.
Write better Python - with some help!
7 projects | dev.to | 3 Aug 2021
Some other good alternatives for type checking are Pyright (which is seen in VSCode via Microsofts PyLance plugin) and Pyre.
4 projects | news.ycombinator.com | 9 May 2023
On the other hand, this Rust-based one called Psst looks awesome and works: https://github.com/jpochyla/psst4 projects | news.ycombinator.com | 9 May 2023
This is the best Linux has ever been. Truly.
2 projects | reddit.com/r/Fedora | 25 Apr 2023
Psst but currently very limited in features and have to build yourself.
Spot - a simple spotify CLI made in python
5 projects | reddit.com/r/commandline | 23 Mar 2023
Flatpak Spotify vs Tab in Firefox browser
5 projects | reddit.com/r/Fedora | 22 Dec 2022
Would like to add that you can also use clients such as spotify-qt and Spotify TUI to control said "device". There's also Spot and psst that are standalone (librespot not required but no Connect functionality).
Rust audio library
3 projects | reddit.com/r/rust | 19 Nov 2022
You can also take a look at Psst. I use Symphonia for decoding and CPAL or CubeB for output. CubeB is a bit nicer.
Druid app for public transport data
9 projects | reddit.com/r/rust | 26 Aug 2022
There‘s a Spotify client, psst, which has an Async widget (with a Promise state struct) that works very well for loading states etc. That project has a bunch of other tidbits and interesting patterns for Druid, I learned a ton from the code.
Advice for the next dozen Rust GUIs
9 projects | reddit.com/r/rust | 15 Jul 2022
Not that I'm in any way suggesting that you have to have to pursue this, but I'd suggest that not having this as a goal is why it hasn't happened. I've seen apps built with Druid (like https://github.com/jpochyla/psst) and they look great. But when I looked into the documentation, I was really struggling to get started. In contrast, libraries like Iced are quite limited in what they can do and are not as architecturally sound as Druid, but seem to have put more effort into the onboarding experience and documentation for beginners (see also: the effort that Rust itself puts into being beginner friendly, and how that has enabled it jump into the mainstream where other similar languages have remained niche).
What are your favorite Rust-powered Linux programs?
42 projects | reddit.com/r/rust | 6 Jul 2022
The Psst spotify player is just awesome.
[MacOS Dev] How is it possible to create a fully desktop for MacOS without touching any swift/obj-c?
2 projects | reddit.com/r/iOSProgramming | 20 Jun 2022
What are some alternatives?
mypy - Optional static typing for Python
pyright - Static Type Checker for Python
pytype - A static type analyzer for Python code
typeshed - Collection of library stubs for Python, with static types
spot - Native Spotify client for the GNOME desktop
typing - Python static typing home. Hosts the documentation and a user help forum.
spotify-tui - Spotify for the terminal written in Rust 🚀
serenity - The Serenity Operating System 🐞
mamba - The Fast Cross-Platform Package Manager
algoneer - The Algoneer Python library.