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
Python SQL Parser and Transpiler
Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.
Generate and maintain stubs for different MicroPython ports to use with VSCode and Pylance, PyRight, Thonny, PyCharm or MyPy
- micropython-stubs
- micropython-stubber
- firmware-stubs
- python
TranslatedTreat agents as functions, and write ideas as programs. Agent-native functional language with a CLI, Web IDE, goal-driven bots and live UI. Source-available; no AI training.
A cross-platform modding language for GameMaker games. // Moved to Codeberg! https://codeberg.org/katsaii/catspeak-lang
Mock an SSH server and define all commands it supports (Python, Twisted)
Opinionated typing package for precise type hints in Python
- pep484
- python
- python-typing
- numpy
trycast parses JSON-like values whose shape is defined by TypedDicts and other standard Python type hints.
- parsing
- python
- typechecking
- runtime-typechecking
The #1 SCTE-35 parser for five years. threefive decodes and encodes all SCTE-35 formats ***.
- adbreak
- adrianofdoom
- adtech
- hls-live-streaming
Tool for suggesting lemma names in Coq verification projects
One isolated Lima VM per GitHub project — sandboxed Claude Code/Codex, Docker, Node, signed git
A Turing-complete programming language with only one symbol: "."
An esoteric programming language with prefix-free brackets