Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]
Repository Index
47,133 repositories indexed
1,537–1,560 of 1,829 · Most stars
Container-focused Golang config: unify Env & Flag parsing in one call with minimal code and zero dependencies.
- cli
- command-line
- config
- configuration
An extension for telescope.nvim that allows you to manage Terminal buffers created with toggleterm.nvim plugin. Mirrored from Sourcehut.
- neovim-plugin
- neovim-lua-plugin
- neovim-telescope-extension
- telescope-extension
Docker dynamic upstreams for Caddy.
Generate your license. Yet another lice, but implement with Jinja2 and docopt.
Generate production-ready Spring Boot backend boilerplate from a single YAML or JSON spec.
Elixir Faktory worker https://hexdocs.pm/faktory_worker
- elixir
- faktory
- faktory-worker
Tagify produces a set of tags from a given source. Source can be either an HTML page, a Markdown document or a plain text. Supports English, Russian, Chinese, Hindi, Spanish, Arabic, Japanese, German, Hebrew, French and Korean languages.
- tagify
- keywords
- keyword-extraction
- html
Instantly deploy your Meteor apps with `meteor-hero`
- meteor
- heroku
- meteor-application
- docker
Clojure UI testing with Chrome
- clojure
- ui-testing
- chrome
- chrome-headless
An example project explaining how to create and publish CDK constructs using projen and jsii. It lets you publish your CDK constructs to npm, Maven, NuGet and PyPi.
- aws
- aws-cdk
- aws-cdk-construct
- documentation
A Docker project template generator written in Rust
- docker
- boilerplate
- template
- oci
🗂️ This repository provides a guide to creating Xcode templates for iOS boilerplate code to save time and increase creativity in development. It simplifies the process and helps new team members get up to speed. A solution to Xcode's poorly documented templates.
- boilerplate
- swift
- template
- xcode
Dockable Split-Screen Editors for RAD Studio (Delphi and C++ Builder)
Multi-stage Riemannian flow matching for physically valid molecular docking, with GNINA scoring, PoseBusters filtering, CLI inference, and benchmarks.
- alphafold3
- docking
- drug-design
- drug-discovery
ASP.NET Core MVC Geo Elasticsearch Swashbuckle Swagger
Sample integrating aurelia with identityserver 4 and docker
A lightweight, zero-dependency TUI dashboard for managing Docker containers and images dynamically in the terminal.
- dashboard
- developer-tools
- docker
- monitoring
A module for importing page content into Wagtail from third-party sources. Docs:
BNETDocs, the documentation and discussion website for Blizzard protocols
- battle-net
- blizzard
- bot
- diablo
Get started playing with Craft CMS 3 in a few command lines with Docker
A simple IDE for LilyPond
- lilypond
- electron-app
- ide
- hacktoberfest
Docopt for F#
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