A Python type checker
Repository Index
47,133 repositories indexed
49–72 of 102 · Most stars
DC3 Malware Configuration Parser (DC3-MWCP) is a framework for parsing configuration information from malware. The information extracted from malware includes items such as addresses, passwords, filenames, and mutex names.
- python
- malware-analysis
- automation
- config-dump
Interactive Coq Proofs in Vim
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!
A TextMate and Sublime Text Bundle for the Elixir programming language
Mypy static type checker plugin for Pytest
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.
Phantom types for Python.
- phantom-types
- static-analysis
- mypy
- python
📜 Package for working with Valve's text and binary KeyValue format
- steam
- valve
- vdf
- keyvalue
a network packet capture compiler
Based Python static type checker with baseline, sane default settings and based typing features
- based
- python
- typing
- baseline
Python parser and tools for MUSDB18 Music Separation Dataset
- dataset
- python
- sisec
- musdb
A tiny CSS parser
CLI utility and Python module for analyzing log files and other data.
- log-analysis
- log-parser
- cli
- security
Cross-platform, open-source shellbag parser
User-oriented fork of LLVM's opt-viewer
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)
A simple EDI 835 file format parser.
The repository host gives no description.
Opinionated typing package for precise type hints in Python
- pep484
- python
- python-typing
- numpy
Jupyter kernel for Coq