PyPI Stats
  • Insights
  • PyPI
  • GitHub
  • Search
  • Compare
  • Advisories
  • Ecosystem
  • About
Home

Programming Language Python Packages

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

Dafny is a verification-aware programming language

220K 3K 314
kcl-lang
kcl-lib

KCL Programming Language Core and API (CNCF Sandbox Project). https://kcl-lang.io

65K 2K 167
quantinuum
guppylang

Pythonic quantum-classical programming language

33K 127 32
hyun06000
ail-interpreter

A programming language designed for AI as the primary author of code

28K 9 0
authorss81
ipp-lang

a new programming language.

28K 2 1
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.

13K 2 0
modular
mojo-compiler

The Modular Platform (includes MAX & Mojo)

10K 26K 3K
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.

6K 131 5
modular
mojo

The Modular Platform (includes MAX & Mojo)

6K 26K 3K
spcl
dace

DaCe - Data Centric Parallel Programming

6K 581 155
Atry
overlay-language

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

5K 6 0
Atry
overlay-library

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

5K 6 0
Vyxal
vyxal

A code-golfing language experience that has aspects of traditional programming languages - terse yet convenient.

5K 302 34
modular
max

The Modular Platform (includes MAX & Mojo)

5K 26K 3K
sharktide
restructuredpython

A superset of Python with many new features, including multiline comments, header files, and optional curly brackets around control statements

4K 3 1
authorss81
inscript-lang

InScript — a game-first scripting language with scene, AI, and shader as first-class keywords

4K 2 1
siftystudio
viv-compiler

An engine for emergent narrative.

3K 23 3
ImShyMike
eryx

A decently fast and simple dynamically typed programming language similar to javascript/python.

3K 6 1
jisazaTappsi
boolean-solver

Data Driven Development

3K 1 2
Atry
mixinv2

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

3K 6 0
modular
modular

The Modular Platform (includes MAX & Mojo)

3K 26K 3K
azzammuhyala
pyscript-programming-language

PyScript Programming Language

3K 3 0
Atry
mixinv2-library

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

3K 6 0
Calysto
calysto-scheme

A Scheme kernel for Jupyter that can use Python libraries

3K 294 26
    • Data from PyPI, GitHub, ClickHouse, and BigQuery