Optional static typing for Python
- python
- types
- typing
- typechecker
Repository Index
76,356 visible repositories in the index
1–24 of 58 · Most stars
PyGWalker: Turn your dataframe into an interactive UI for visual analysis
- data-analysis
- pandas
- tableau
- tableau-alternative
Static Type Checker for Python
Nuitka is a Python compiler written in Python. It's fully compatible with Python 2.6, 2.7, 3.4-3.14. You feed it your Python app, it does a lot of clever things, and spits out an executable or extension module.
- python-compiler
- python
- nuitka
- programming
Open Machine Learning Compiler Framework
- compiler
- tensor
- deep-learning
- gpu
Python SQL Parser and Transpiler
- transpiler
- sql
- python
- parser
Brython (Browser Python) is an implementation of Python 3 running in the browser
A dialect of Lisp that's embedded in Python
- python
- hy
- lisps
- macros
A functional standard library for Python.
A tool (and pre-commit hook) to automatically upgrade syntax for newer versions of the language.
- python
- pre-commit
- linter
Design circuit boards with code! ✨ Get software-like design reuse 🚀, validation, version control and collaboration in hardware; starting with electronics ⚡️
👾 Open source implementation of the ChatGPT Code Interpreter
- chatgpt
- chatgpt-code-generation
- code-interpreter
- codeinterpreter
This is Meta's fork of the CPython runtime. The name "cinder" here is historical, see https://github.com/facebookincubator/cinderx for the Python extension / JIT compiler.
- interpreter
- jit
- python
- compiler
Unbearably fast near-real-time pure-Python runtime-static type-checker.
- python3
- runtime-typechecking
- static-typechecking
Skulpt is a Javascript implementation of the Python programming language
Functional programming in Python: implementation of missing features to enjoy FP
Starlark Language
Formal verification for AI: a Lean 4 + Dafny proof checker that catches fake AI proofs (reward hacking), and verified recursive self-improvement (RSI) for coding agents. AI for math, physics and software engineering.
- proof-assistant
- lean4
- ai-agents
- ai-for-math
Python with braces. Because python is awesome, but whitespace is awful.
- python
- whitespace
- braces
- indentation
Useful extensions to the standard Python datetime features
- python
- datetime
- time
- timezones
CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.
- clang
- cpp
- c
- clang-tidy
RDFLib is a Python library for working with RDF, a simple yet powerful language for representing information.
- rdflib
- semantic-web
- linked-data
- python
Asyncer, async and await, focused on developer experience.
- python
- async
- asyncio
- trio
(No longer maintained) A faster and highly-compatible implementation of the Python programming language.