A high-performance, zero-overhead, extensible Python compiler with built-in NumPy support
Repository Index
71,372 visible repositories in the index
1–17 of 17 · Most stars
NumPy aware dynamic Python compiler using LLVM
Computing with Python functions.
- python
- parallel-computing
- caching
- multiprocessing
A tool (and pre-commit hook) to automatically upgrade syntax for newer versions of the language.
- python
- pre-commit
- linter
A simple and efficient tool to parallelize Pandas operations on all available CPUs
Vigil, the eternal morally vigilant programming 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
A small, fast, native lisp with "magical" powers
A pure Python HTML5 parser that just works. No C extensions to compile. No system dependencies to install. No complex API to learn.
Maintainable configuration files
- configuration-language
- haskell
- dhall
Python bindings for MPI
- python
- parallel-computing
- mpi
- mpi-library
A "run" function for asyncio-based apps that does all the boilerplate.
- async
- async-await
- asynchronous
- asynchronous-tasks
A cross-platform modding language for GameMaker games. // Moved to Codeberg! https://codeberg.org/katsaii/catspeak-lang
- domain-specific-language
- gamemaker-studio-2
- dynamically-typed
- compiler
Decorator which checks whether the function is called with the correct type of parameters.
- python
- type-checking
- runtime-checking
- typechecking
A CLI tool to automatically add type annotations into Python code. Must have tool for annotating existing code.
- code-formatter
- code-generation
- mypy
- pyannotate
Pure Python parser for classic Windows Event Log files (.evt)
A GraphQL parser for python