Old Coq plugin for parametricity [maintainer=@ppedrot]
- parametricity
- coq-plugin
- coq
- docker-coq-action
Repository Index
78,351 visible repositories in the index
769–792 of 897 · Most stars
A Dockerfile generator for running OpenGL (GLX) applications with nvidia-docker2, CUDA, ROS, and Gazebo on a remote headless server system by using VirtualGL&VNC and Lubuntu Desktop
Lightweight, self hosted platform for building webhooks, scheduled tasks and pages. Implement your logic with Bash, Lua or mRuby
- automation
- bash
- devops
- golang
reCAPTCHA v3 Cloudflare Worker
- cloudflare-workers
- cloudflare-worker
- cloudflare
- recaptcha
keep font-size in proportion with its containers size
Real-time secret-leak guardrails for AI coding agents (Claude Code, Codex), Git hooks, and CI.
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]
- docker-image
- dockerfile
- opam
- coq
Kubex is the kubernetes integration for Elixir projects and it is written in pure Elixir.
Generate production-ready Spring Boot backend boilerplate from a single YAML or JSON spec.
tools for exporting godot projects via Github Actions
Instantly deploy your Meteor apps with `meteor-hero`
- meteor
- heroku
- meteor-application
- docker
AWSDoor is a red team automation tool designed to simulate advanced attacker behavior in AWS environments
Install `Trunk` by downloading the executable
- trunk
- yew
- seed
- webassembly
FairPlayCombined is a platform designed to accelerate app development using .NET, Blazor, and more. It includes real-world templates like video sharing and dating apps, reducing costs and time-to-market. Perfect for developers, startups, and businesses, it empowers innovation and delivers value with pre-built tools and resources.
- aspire
- blazor
- csharp
- dotnet
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
- coq-plugin
- coq-tactic
- coq
- docker-coq-action
Dynamically configure applications that require static configuration in docker container.
- nim
- smalte
- template
- docker
Highly efficient compile-time general purpose DI container based on C# source generators.
- ioc
- di-container
- sourcegenerator
- di-framework
Helping Ansible users in Taiwan with any questions.
A JMeter plug-in that enables you to send test results to a Kafka server
Self-hosted manga collection manager with automatic metadata, MyAnimeList import, Docker support, and detailed collection statistics.
- database
- isbn
- manga
- myanimelist
Simple and flexible dependency injection container for dart.
Adapter for a dropwizard appication (v0.8) so that it can be deployed as a war on a servlet 3 container
GitHub Action to Setup Common Lisp tools
- common-lisp
- github-action
😺 Pinnable dynamic Gist with your latest AniList activity.
- pinned-gist
- python3
- docker
- anilist