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

Search Packages

Find Python packages by name, description, GitHub topic, or filter by metrics
dafny-lang
dafnyruntimepython

Dafny is a verification-aware programming language

211K 3K 314
kcl-lang
kcl-lib

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

67K 2K 167
quantinuum
guppylang

Pythonic quantum-classical programming language

33K 127 32
authorss81
ipp-lang

a new programming language.

27K 2 1
hyun06000
ail-interpreter

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

26K 9 0
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)

9K 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
spcl
dace

DaCe - Data Centric Parallel Programming

6K 581 155
Atry
overlay-library

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

6K 6 0
Atry
overlay-language

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

6K 6 0
modular
mojo

The Modular Platform (includes MAX & Mojo)

6K 26K 3K
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)

4K 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
ImShyMike
eryx

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

4K 6 1
siftystudio
viv-compiler

An engine for emergent narrative.

3K 23 3
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
Atry
mixinv2-library

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

3K 6 0
authorss81
inscript-lang

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

3K 2 1
modular
modular

The Modular Platform (includes MAX & Mojo)

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

PyScript Programming Language

3K 3 0
Calysto
calysto-scheme

A Scheme kernel for Jupyter that can use Python libraries

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