Is there any language that is as similar as possible to Python in syntax, readability, and features, but is statically typed?

This page summarizes the projects mentioned and recommended in the original post on /r/Python

Our great sponsors
  • InfluxDB - Collect and Analyze Billions of Data Points in Real Time
  • Onboard AI - Learn any GitHub repo in 59 seconds
  • SaaSHub - Software Alternatives and Reviews
  • Nim

    Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).

  • F#

    Please file issues or pull requests here: (by fsharp)

  • InfluxDB

    Collect and Analyze Billions of Data Points in Real Time. Manage all types of time series data in a single, purpose-built database. Run at any scale in any environment in the cloud, on-premises, or at the edge.

  • kotlin-script-examples

    Examples of Kotlin Scripts and usages of the Kotlin Scripting API

    +1. Especially useful kts (Kotlin script). It even have notation for dependencies right in script. (

  • crystal

    The Crystal Programming Language

  • dynamic-dns

    An automated dynamic DNS solution for Docker and DigitalOcean

  • haxe

    Haxe - The Cross-Platform Toolkit

  • fast-sqlite3-inserts

    Some bunch of test scripts to generate a SQLite DB with 1B rows in fastest possible way

    I have a side project where I tried to insert one billion rows in SQLite. I was able to insert 100 million rows using Python under 210 seconds. The same thing with PyPy took 120 seconds. I am wondering what kind of speed boost I would get with Cython

  • Onboard AI

    Learn any GitHub repo in 59 seconds. Onboard AI learns any GitHub repo in minutes and lets you chat with it to locate functionality, understand different parts, and generate new code. Use it for free at

  • MonkeyType

    A Python library that generates static type annotations by collecting runtime types (by Instagram)

  • julia

    The Julia Programming Language

    If you want the same coding feel and better performance. I suggest you have a look at Julia

  • plum

    Multiple dispatch in Python

  • multipledispatch

    Multiple dispatch

  • Lua

    Lua is a powerful, efficient, lightweight, embeddable scripting language. It supports procedural programming, object-oriented programming, functional programming, data-driven programming, and data description.

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts