Tool for suggesting lemma names in Coq verification projects
- coq
- machine-learning
- name-generation
- pytorch
Repository Index
47,133 repositories indexed
649–672 of 718 · Most stars
Sublime Text plugin to run elm-format on save
- elm
- sublime-text
- elm-format
- editor-plugin
A low-memory json-based database for MicroPython
Async MQTT client for CPython and MicroPython with asyncio support.
- async-python
- asyncio
- embedded
- embedded-systems
Convert Postman Collection v2.1 JSON into executable pytest test suites
- api-testing
- postman
- pytest
- python
📡 RasComm is a communication device that translates plain text into Morse code (IMC) visually or audibly.
- raspberry-pi-3
- morse-code
- morse-translator
- audio
A Nagios/Icinga module to submit notifications to mqttwarn
Sublime Text support for the V Programming Language
- v
- vlang
- sublime-text
- sublime-syntax
Sublime plugin for Imba
mrQA: tools for quality assurance in medical imaging datasets, including protocol compliance
- qa
- mri
- neuroimaging
- niqc
Local-LLM alert triage for self-hosted SOCs.
This project demonstrates the google cloud IOT platform interaction with the IOT devices.
- google-cloud
- google-cloud-pubsub
- google-cloud-storage
- iot
Command-line tool to format and syntax highlight Suricata rules
- python
- suricata
Backport Python 3.8+ typing utils & add issubtype & more
🛡️ Static security scanner (SAST) for Ansible playbooks, roles, and collections. 1,000+ rules across 30+ categories detecting malicious code, RCE, hardcoded credentials, and supply-chain risk. Outputs SARIF, CycloneDX SBOM, and GitLab SAST. SLSA Build Level 3, Sigstore-signed.
- ansible
- ansible-playbook
- devsecops
- infrastructure-as-code
Merlin 2 package for Sublime Text 3
A Tool to Summarize Web Archive Holdings
- memento
- web-archive
- profiling
- mementomap
Library for sending data to thingspeak.com from IoT devices running micropython (such as ESP8266)
- thingspeak
- micropython
- micropython-thingspeak
- iot-device
rath is an apollo-like graphql client that supports links, multipart uploads, websocket subscriptions with sync and async interface
- aiohttp
- asyncio
- python
Lightweight version of TensorFlow with the same functionality: It never works and only outputs errors.
MQTT bridge for Huawei solar inverters (SUN2000/3000/5000) → Home Assistant
SCTE-35 for HLS, of course it's powered by threefive.
- adrianofdoom
- ads
- boobs
- hls
A Micropython module for communicating with the Bosch BME280 temperature, humidity, and pressure sensor.
A Wagtail plugin to add support for glossary terms entity to Draftail