Discord bot for web development
Repository Index
47,133 repositories indexed
1,921–1,944 of 2,259 · Most stars
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
Stacks-blockchain with API using docker compose
- blockchain
- hiro
- dns
- decentralized
Get Slack messages posted to a #pokealert channel about rare Pokemon close to you
This is the github repository for converting craft pretrained model to tflite version
Copy lines with file path, line number, and repository URL metadata. Perfect for sharing code snippets with context.
- editing-support
- neovim
- neovim-lua
- neovim-plugin
Starting a monolithic CRUD RESTful Web Service with Vert.x stack and postgreSQL
General purpose game editor made in Game Maker Studio 2. The basis for a lot of the tools I make.
- gamemaker
- gamemaker-studio-2
- gamemaker-projects
- gamemaker-language
This repository is discontinued, see https://github.com/ValveSoftware/Fossilize
Thick database bindings to MySQL, PostgreSQL and SQLite for Ada
Musical Scores for Piano with full sources in LilyPond file format
- lilypond
- music
- score
- bach
Replaces Rails PostgreSQL `dbconsole` with the much nicer `pgcli`
Starting code and proposed solution for Functional Structures Refactoring Kata
- functional-programming
- kata
- deliberate-practice
- category-theory
Translated📕 Based on Phalcon, integrating Composer, event listeners, middleware, MongoDB, Redis
- phalcon
- php
- composer
A list of EmberJS2018 blog posts and ideas
Collection of Ember.js helpers for building composable D3 charts
🚀 MVP Ready Rails - A Template for Your Next Rails App
Highly efficient compile-time general purpose DI container based on C# source generators.
- ioc
- di-container
- sourcegenerator
- di-framework
An Elixir macro for easily piping arguments at any position.
- elixir
- macros
- pipe
Repository for official Sitecore, community and demo deployment files. This will provide Sitecore customers with examples on how to deploy Sitecore containers using various methods such as compose, k8s and helm.
Official Elastic Beanstalk repository for GlassFish docker files.
Postgres Themis plugin
- postgresql
- encryption
- encrypted-data
- cryptography
Simple ActionN composition to use with RxJava [STABLE]
a compact graph indexer stack for parity substrate, polkadot, kusama