Jupyter kernel for Coq
Repository Index
47,133 repositories indexed
73–96 of 103 · Most stars
trycast parses JSON-like values whose shape is defined by TypedDicts and other standard Python type hints.
- parsing
- python
- typechecking
- runtime-typechecking
Integrate mypy in seconds with existing codebase. A friendly CLI tool to make mypy report only new type violations and ignore existing ones.
- baseline
- cli
- legacy-code
- mypy
Stateful Postgres on cheap Spot VMs
Builds of the GNAT Ada compiler from FSF GCC releases
MicroPython IEEE802.15.4 / Zigbee parser
Pure Python parser for classic Windows Event Log files (.evt)
A Python type checker
Contest parser for codeforces.com
- codeforces
- competitive-programming
Interactive Lisp IDE with REPL, Inspector, Debugger and more for Sublime Text 4.
- lisp
- sublime-text
- flex-completion
- repl
GraphQL parser for Python
MIDI file parser for Micropython, CircuitPython and Python
Python Parser for Ring Tone Text Transfer Language (RTTTL)
PNG and JPEG decoder / parser / renderer in pure micropython
- micropython
- png-decoder
- jpeg-decoder
- python
Plugin for mypy to support zope.interface
- mypy
- zope
- plugin
- static-typing
Practical security policy enforcement for Android apps via bytecode rewriting and in-place reference monitor
Pure python parser for Snort/Suricata rules.
- suricata-rules
- suricata-rule
- snort-rules
- snort-rules-generate
A parser for the opening_hours fields from OpenStreetMap
- opening-hours
- openstreetmap
- openstreetmap-data
- parser
The #1 SCTE-35 parser for five years. threefive decodes and encodes all SCTE-35 formats ***.
- adbreak
- adrianofdoom
- adtech
- hls-live-streaming
Command line tool for Bluetooth Low Energy MicroPython devices
- micropython
- python
- embedded
- cli
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
Sublime Text support for the V Programming Language
- v
- vlang
- sublime-text
- sublime-syntax