A tool (and pre-commit hook) to automatically upgrade syntax for newer versions of the language.
- python
- pre-commit
- linter
Repository Index
79,841 visible repositories in the index
1–12 of 12 · Most stars
This is Meta's fork of the CPython runtime. The name "cinder" here is historical, see https://github.com/facebookincubator/cinderx for the Python extension / JIT compiler.
- interpreter
- jit
- python
- compiler
A fancy and practical functional tools lib
- functional-programming
- utilities
- python
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
Parse strings using a specification based on the Python format() syntax.
Python bindings for MPI
- python
- parallel-computing
- mpi
- mpi-library
PyStan, a Python interface to Stan, a platform for statistical modeling. Documentation: https://pystan.readthedocs.io
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
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 Snort/Suricata rules.
- suricata-rules
- suricata-rule
- snort-rules
- snort-rules-generate
The repository host gives no description.