The Python programming language
Repository Index
67,762 visible repositories in the index
1–24 of 26 · Most stars
A high-performance, zero-overhead, extensible Python compiler with built-in NumPy support
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
A dialect of Lisp that's embedded in Python
- python
- hy
- lisps
- macros
Make your functions return something meaningful, typed, and safe!
- python
- python3
- functional-programming
- fp
Simple, elegant, Pythonic functional programming.
- python
- functional
- language
- functional-programming
A language for constraint-guided and efficient LLM programming.
- chatgpt
- huggingface
- language-model
- programming-language
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
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
ACM-ICPC Preparation Guide
- algorithm
- curriculum
- programming-language
- acm-icpc
(No longer maintained) A faster and highly-compatible implementation of the Python programming language.
Jelly is a recreational programming language inspired by J.
aiomisc - miscellaneous utils for asyncio
- asyncio
- miscellaneous
- server-client
- service
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.
First-class patterns for Clojure. Made with love, functions, and just the right amount of syntax.
- clojure
- pattern-matching
- functional-programming
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
The repository host gives no description.
Pure Python parser for classic Windows Event Log files (.evt)
XAsyncSockets is an efficient Python/MicroPython library of managed asynchronous sockets.
- python
- asynchronous
- sockets
- tcp
The repository host gives no description.
A three-dimensional esoteric programming language