Computing with Python functions.
- python
- parallel-computing
- caching
- multiprocessing
Repository Index
87,075 visible repositories in the index
1–13 of 13 · Most stars
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 library for creating PEG parsers
- python
- python2
- python3
- python-2
A Python package for easy multiprocessing, but faster than multiprocessing
Take a modern Python codebase to the next level of performance.
- python
- python3
- multiprocessing
- asyncio
Python regular expressions made easy
python binding for libvips using cffi
- python
- image-processing
- image-manipulation
Multiprocessing Pool Extensions
- python
- multiprocessing
- python3
- celery
A fast and efficient type assistant for Python, including tensor shape inference
- python
- typing
First-class patterns for Clojure. Made with love, functions, and just the right amount of syntax.
- clojure
- pattern-matching
- functional-programming
Pure Python parser for classic Windows Event Log files (.evt)
Micropython wrapper for FastLZ, a lightning-fast lossless compression library