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
Repository Index
47,133 repositories indexed
1–8 of 8 · Most stars
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.
The repository host gives no description.
Jupyter kernel for Coq
Pure python parser for Snort/Suricata rules.
- suricata-rules
- suricata-rule
- snort-rules
- snort-rules-generate
Tool for suggesting lemma names in Coq verification projects
- coq
- machine-learning
- name-generation
- pytorch
One isolated Lima VM per GitHub project — sandboxed Claude Code/Codex, Docker, Node, signed git
A Single Library Parser to extract meta information,static analysis and detect macros within the files.
- malware-analysis
- pdf-parsing
- pe-executable
- office-files