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

1. Nim

   1 362 17,283 9.8 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).

   

2. Sevalla

   sevalla.com featured

   Deploy and host your apps and databases, now with $50 credit! Sevalla is the PaaS you have been looking for! Advanced deployment pipelines, usage-based pricing, preview apps, templates, human support by developers, and much more!

   

3. F#

   2 26 2,199 0.0 F#

   Discontinued Please file issues or pull requests here: https://github.com/dotnet/fsharp (by fsharp)

   

4. kotlin-script-examples

   3 2 332 4.1 Kotlin

   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. (https://github.com/Kotlin/kotlin-script-examples/blob/master/jvm/main-kts/scripts/kotlinx-html.main.kts)

5. crystal

   4 250 19,944 9.9 Crystal

   The Crystal Programming Language

   

6. dynamic-dns

   5 1 0 0.0 Crystal

   An automated dynamic DNS solution for Docker and DigitalOcean

   

7. haxe

   6 88 6,556 9.7 Haxe

   Haxe - The Cross-Platform Toolkit

   

8. fast-sqlite3-inserts

   7 11 394 0.0 Rust

   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

9. InfluxDB

   www.influxdata.com featured

   InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

   

10. MonkeyType

    8 10 4,933 3.4 Python

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

    

11. julia

    9 370 47,552 9.9 Julia

    The Julia Programming Language

    

    If you want the same coding feel and better performance. I suggest you have a look at Julia https://julialang.org/.

12. plum

    10 6 592 7.0 Python

    Multiple dispatch in Python

    

13. multipledispatch

    11 4 839 2.5 Python

    Multiple dispatch

    

14. Lua

    12 121 9,347 9.1 C

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

    

Suggest a related project