Optional static typing for Python
- python
- types
- typing
- typechecker
Repository Index
77,353 visible repositories in the index
1–24 of 56 · Most stars
PyGWalker: Turn your dataframe into an interactive UI for visual analysis
- data-analysis
- pandas
- tableau
- tableau-alternative
Pyodide is a Python distribution for the browser and Node.js based on WebAssembly
- python
- webassembly
- wasm
- emscripten
Brython (Browser Python) is an implementation of Python 3 running in the browser
A functional standard library for Python.
Computing with Python functions.
- python
- parallel-computing
- caching
- multiprocessing
Make your functions return something meaningful, typed, and safe!
- python
- python3
- functional-programming
- fp
Simple, elegant, Pythonic functional programming.
- python
- functional
- language
- functional-programming
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
A simple and efficient tool to parallelize Pandas operations on all available CPUs
Pampy: The Pattern Matching for Python you always dreamed of.
- python
- python3
- pattern-matching
- functional
A fancy and practical functional tools lib
- functional-programming
- utilities
- python
Skulpt is a Javascript implementation of the Python programming language
Functional programming in Python: implementation of missing features to enjoy FP
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
RDFLib is a Python library for working with RDF, a simple yet powerful language for representing information.
- rdflib
- semantic-web
- linked-data
- python
(No longer maintained) A faster and highly-compatible implementation of the Python programming language.
Python library for creating data pipelines with chain functional programming
- python
- datascience
- pipeline
- data
Persistent/Immutable/Functional data structures for Python
- immutable
- datastructures
- python
- functional
A Python library to use infix notation in Python
Type annotations and runtime checking for shape and dtype of JAX/NumPy/PyTorch/etc. arrays. https://docs.kidger.site/jaxtyping/
- jax
- python-typing
- typing
PyPy is a very fast and compliant implementation of the Python language.