Skip to content

The Linux Portal Site

Home
Software
Hardware
Reviews
Series
Search

Tag: type checker

ty – Python type checker

November 30, 2025 Steve Emms CLI, Programming

ty is an extremely fast Python type checker and language server, written in Rust.

Read more

Best Free Software

Documents	Internet	Education
Audio	Video	Graphics
Admin	Desktop	Productivity
Science	Games	Security
Utilities	Coding	Finance
Web Apps	Other	Books

Data Science

Take our free interactive courses in data science. There are courses for Python using pandas and plotnine and R using ggplot2.

Get up to speed in 20 minutes. No programming knowledge is required.

Recent Comments

Steve Emms on Endcord – feature rich Discord TUI client
sparklost on Endcord – feature rich Discord TUI client
Steve Emms on 18 Best Free and Open Source Linux GUI Password Managers
Gio on 18 Best Free and Open Source Linux GUI Password Managers
Steve Emms on Imagot – image viewer
Torin Doyle on Imagot – image viewer
Torin Doyle on Quarkos – Ubuntu-based Linux distribution
Steve Emms on flix-cli – movie scraper
Torin Doyle on flix-cli – movie scraper
Grant on 23 Best Free and Open Source GUI Internet Radio Software

Programming Books

Read our curated lists of great free programming books. Learn Java, C, Python, C++, C#, JavaScript, PHP, and many more languages.

Alternatively, check out our series of great free programming tutorials.

Feedback

Help expand our coverage of Linux software by completing our:

Open-source software form
Linux distro form

Your feedback is very much appreciated. Complete our contact form.

Support Us

Donate to LinuxLinks

Thank you for supporting LinuxLinks. If you like our site, the best way to ensure it remains available is to make a donation.

Small Devices

We’re publishing a series of articles for each of these Linux-based phones, Mini PCs, SBCs, and NAS devices.

BOSGAME M4 Plus – AMD Ryzen
Minisforum AI X1 Pro – AMD Ryzen
Volla Phone Quintus with UT (ARM)
ASRock NUC BOX-255H (x86_64)
Aiffro K100 All-SSD NAS (x86_64)
Radxa Cubie A7A (ARM)
Radxa ROCK 5T (ARM)
Radxa ROCK 4D (ARM)
Firefly AIBOX-3588S (ARM)
Banana Pi BPI-F3 (RISC-V)
Orange Pi R2S (RISC-V)
Orange Pi RV2 (RISC-V)
Orange Pi 5 Ultra and Max (ARM)
Raspberry Pi 5 (ARM)

Replace Proprietary Software

Migrate from large multinational software companies and embrace free and open source solutions.

Google	Microsoft	Apple
Adobe	IBM	Autodesk
Oracle	Atlassian	Corel
Cisco	Intuit	SAS
Progress	Salesforce	Citrix

Reviews

We’ve written tons of in-depth and completely impartial reviews of open source software. Read our reviews.

New to Linux?

Begin your Linux journey with our easy-to-understand guide designed for newcomers.

Mega Compilations

100 GUI Apps
100 TUI Apps
100 CLI Apps

Recent Posts

7 Best Free and Open Source Process Memory Tools
goup – Go version manager
Parm – cross-platform binary installer
ty – Python type checker
Joker – small Clojure interpreter, linter and formatter
spectroterm – curses based terminal spectrum analyzer
tray-tui – system tray implementation
passless – software FIDO2 authenticator
blue – Python code formatter
fsel – fast TUI app launcher and fuzzy finder

Desktops

9 Best Desktops
24 KDE Themes
33 KDE Widgets
42 GNOME Extensions
Pantheon, Trinity, LXDE

Archives

Archives

Related

Contact us
Link us
FAQ
ForFOSS.com
OSSBlog.org
Privacy Policy

© LinuxLinks 1998-2025: Designed by LinuxLinks.