Tool for suggesting lemma names in Coq verification projects
- coq
- machine-learning
- name-generation
- pytorch
Repository Index
47,133 repositories indexed
289–312 of 315 · Most stars
Quantum-resistent asymmetric key generation tool for digital signatures.
- post-quantum-cryptography
- uov
- rainbow-scheme
- security-tools
Trust metadata for AI agents — a stamp costs ~15 tokens, re-verifying costs 15,000. Agents stamp what they verify; the next agent runs 'akf check' and builds on it. pip install akf
Lightweight Docker monitoring dashboard with anomaly detection & Telegram alerts. One-liner install, zero config.
Convert Postman Collection v2.1 JSON into executable pytest test suites
- api-testing
- postman
- pytest
- python
🕹 Responsive post-processing for #pico8 web player
- pico8
- python
- games
- responsive-design
Micropython code which uses the AWS-IOT REST API to GET/POST device state info
Local-LLM alert triage for self-hosted SOCs.
A micropython library that enables an esp8266 to sleep for hourly increments for a setup amount of hours.
Aldertech Dynamic Resource Governor — A kernel-level resource manager for high-density Docker stacks on Raspberry Pi and low-power servers.
- automation
- cgroupv2
- docker
- homelab
Dedicated mirror of Arch core/extra/multilib repositories for Omarchy hosted on Cloudflare R2.
scPair: Boosting single cell multimodal analysis by leveraging single cell atlases and implicit feature selection
A detective for your data. Zero-config data quality monitoring — works with dbt, Postgres, BigQuery, Snowflake. No YAML.
- anomaly-detection
- bigquery
- cli
- data-engineering
Django backend for Helium - Student Planner
Clock / Infoscreen for radiostudios
- infoscreen
- studioclock
- radio
- broadcast
MicroPython Class for Debouncing Switches
Decentralized agent memory for the Lightning economy. Nostr identity, L402 payments, MCP server.
:briefcase: An ansible role to provision physical and virtual hosts with the AWS SSM agent.
- ansible
- ssm
- industrial-iot
- system
A repository for deploying an AWS EMR cluster and submiting spark jobs on it. Boostrapping by default does inclues pysparkling so one can easily use h2o with python and spark.
Lightweight PostgreSQL database driver for MicroPython (made for ESP8266). Based on micropg by nakagami.
Self-hostable Bitcoin fee intelligence API with optional MCP and x402 integrations. Former public hosting is paused.
MicroPython library implementing SOCKS server.
Local CrossRef database with 167M+ works and full-text search
- abstract
- citation
- impact-factor
- localhost
Vendor-agnostic, FHIR-Genomics-aligned API contract for cross-vendor NGS interpretation. JSON Schema + TypeScript + Python pydantic.