PyRank
  • Search
  • PyPI
  • GitHub
  • Insights
  • Compare
  • Advisories
  • Ecosystem
  • About

Programming Language Python Packages

Python packages with the GitHub topic programming-language. Sorted by monthly downloads, with stars and forks.
dafny-lang
dafnyruntimepython

Dafny is a verification-aware programming language

596K 4K 332
BoundaryML
baml-py

The programming language for agents

466K 9K 496
quantinuum
guppylang

Pythonic quantum-classical programming language

66K 153 44
modular
mojo-compiler

The Modular Platform (includes MAX & Mojo)

43K 30K 3K
modular
mojo

The Modular Platform (includes MAX & Mojo)

37K 30K 3K
kcl-lang
kcl-lib

KCL Language Core and API

27K 2K 170
gowrishankar-infra
velaris-lang

Run code an AI wrote without handing it everything you can reach. Each function declares what it may touch. You grant the run one folder, one host or a number of calls, and the runtime refuses anything else the moment it's tried.

23K 4 0
spcl
dace

DaCe - Data Centric Parallel Programming

22K 596 164
modular
max

The Modular Platform (includes MAX & Mojo)

18K 30K 3K
marketcalls
openscript

An open trading language. Write a study or a strategy once, plot it, backtest it, trade it.

14K 16 6
luuvish
decl-lang

Declarative Language

12K 1 0
Masterplanner25
nodus-lang

An orchestration DSL and embedded runtime for hosting agentic systems. Durable, inspectable workflows with deterministic step ordering, running in-process under a capability jail — the model lives in your host, not in the runtime. 30+ companion packages for memory, transport and governance.

6K 5 0
CTO-DRS
arabi-lang

لغة عربي — لغة برمجة عربية بالكامل مثل بايثون: متغيرات، دوال، حلقات، قوائم وقواميس ومفسر تفاعلي | Arabi: a fully Arabic programming language built in Python

5K 1 0
MesTTo
pymetta

MeTTa, Hyperon's AGI language, based on PeTTa semantics with significant extensions.

5K 0 1
Londopy
nexium-lang

The Nexium Programming Language

5K 3 0
alcides
aeonlang

Programming Language designed for Program Synthesis with SMT-validation.

5K 43 6
thentsation
eigrel

A compiler for tabular machine learning: check the pipeline before it runs, then run it on pandas, Spark or SQL.

4K 0 0
hahalee000000
helen-lang

Helen Agent Develop Language

4K 0 0
authorss81
ipp-lang

a new programming language.

3K 4 3
Infuzu
oqs

`OQS` (Open Quick Script) is a simple, system-neutral expression language for efficient scripting on diverse platforms. It's open-source, adaptable, and focused on fundamental operations.

3K 2 0
Pitz72
favella1

FAVELLA 1: il linguaggio in cui l'italiano è il codice. Scrivi avventure testuali e storie interattive con frasi in italiano. Versione definitiva 1.4.4, con Favella Studio, l'ambiente di scrittura visuale per Windows e Linux.

3K 8 0
Atry
overlay-library

a dependency injection framework with pytest-fixture syntax, plus a configuration language for declarative programming

3K 6 0
Atry
overlay-language

a dependency injection framework with pytest-fixture syntax, plus a configuration language for declarative programming

3K 6 0
eerimoq
mys

The Mys programming language - an attempt to create a statically typed Python-like language that produces fast binaries. See https://mys-lang.org for more information.

3K 130 5
    • Original data from PyPI, GitHub, and OSV; downloads served through ClickHouse
    • Sources & methodology