Tool for suggesting lemma names in Coq verification projects
- coq
- machine-learning
- name-generation
- pytorch
Repository Index
47,133 repositories indexed
2,137–2,160 of 2,376 · Most stars
GoStats is a go library for math statistics mostly used in ML domains, it covers most of the statistical measures functions.
- golang
- go
- machine-learning
- stats
Docker-Sentinel: container update orchestration with manual approval queues
- containers
- devops
- docker
- docker-updates
Quantum-resistent asymmetric key generation tool for digital signatures.
- post-quantum-cryptography
- uov
- rainbow-scheme
- security-tools
Configurable status bar for Claude Code: usage limits with pacing markers, context window, git state, live activity, session cost, and 8 colour themes. Pure bash, zero dependencies.
Lastest Visual Regression Testing - Cloud/Self-hosted version
- ai-testing
- mcp
- mcp-server
- model-context-protocol
A worker pool manager for DigitalOcean hosts.
Modern, profile-based hosts file manager for macOS. Block ads, trackers, and distractions with ease.
- ad-blocker
- dns
- hosts-file
- macos
Data logistics system enabling real-time pathogen surveillance. Built for the Seattle Flu Study.
- postgres
- postgresql
- python
- infectious-disease
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
React 16.4.2 + NextJS 7.0.2 + Typescript + Sequelize 4/Postgres + Jest/Enzyme + Passport Local Auth + Emotion + Zeit or Heroku Deployment
ConfigCat SDK for Elixir. ConfigCat is a hosted feature flag service: https://configcat.com. Manage feature toggles across frontend, backend, mobile, desktop apps. Alternative to LaunchDarkly. Management app + feature flag SDKs.
- feature-flags
- feature-toggles
- configcat
- elixir-sdk
🔒 A simple neovim plugin that allows the user to temporarily lock the paste register to "0, and use 'd', 'c', 'x', and 's' motions while keeping the most recent yanked content easily accessible.
Lightweight Docker monitoring dashboard with anomaly detection & Telegram alerts. One-liner install, zero config.
A package built for lumen that ports most of the make commands from laravel.
Persistence for REST resources in the filesystem or a redis database
Ruby binding for XGBoost
Low-interaction Postgres Honeypot
Adds the ability to fetch total post counts from WP-GraphQL
- wordpress
- wordpress-plugin
- wp-graphql
Self-hosted 4D spatiotemporal AI platform built on PostgreSQL, PostGIS, TimescaleDB, H3 and pgvector, with anomaly & threat detection, NLQ interface and full observability.
- ai-platform
- anomaly-detection
- h3
- nlq
Convert Postman Collection v2.1 JSON into executable pytest test suites
- api-testing
- postman
- pytest
- python
The most complete list class for GameMaker Studio 2.3+. GC-friendly, [ ] accessor, 50+ functions (add, remove, insert, contains, find, sort, shuffle, reverse, etc.) and reference as array.
- gamemaker
- gml
- accessor
- arraylist
Small tool to create your postgresql backups on regular bases and upload them to S3
A list of EmberJS2019 blog posts and ideas