Repository Index

Static Type Checker for Python

Python SQL Parser and Transpiler

• transpiler
• sql
• python
• parser

CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.

• clang
• cpp
• c
• clang-tidy

New generation PostgreSQL database adapter for the Python programming language

• database
• development
• python
• postgresql

v1.2 - UI tool for manage Espressif ESP32 microcontrollers with embedded MicroPython for MacOS, Windows and Linux: mini IDE, files manager, REPL, real time dashboards (sys/net), advanced features (gpio/mp3/leds/...)

• esp32
• ide
• macos
• micropython

Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.

• micropython
• vscode
• type-checking
• static-typing

Let's make a SQL parser so we can provide a familiar interface to non-sql datastores!

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.

• agentic-ai
• ai-agents
• cli
• developer-tools

Cross-platform, open-source shellbag parser

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

Mock an SSH server and define all commands it supports (Python, Twisted)

• mock
• ssh
• python
• hylang

trycast parses JSON-like values whose shape is defined by TypedDicts and other standard Python type hints.

• parsing
• python
• typechecking
• runtime-typechecking

Stateful Postgres on cheap Spot VMs

• ansible
• aws
• postgres
• self-hosting

MicroPython IEEE802.15.4 / Zigbee parser

A Python type checker

Tool for suggesting lemma names in Coq verification projects

• coq
• machine-learning
• name-generation
• pytorch

a parser for Forsyth-Edwards Notation (for encoding chess positions)

One isolated Lima VM per GitHub project — sandboxed Claude Code/Codex, Docker, Node, signed git

• ai-agents
• claude-code
• developer-tools
• lima

A Single Library Parser to extract meta information,static analysis and detect macros within the files.

• malware-analysis
• pdf-parsing
• pe-executable
• office-files