Sign in

Repository Index

47,133 repositories indexed

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

5,353–5,376 of 6,398 · Most stars

Prep finds all SQL statements in a Go package and instruments db connection with prepared statements

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

Crypto Puzzles is a tool and library to provide a bunch of functions for encryption or pseudo encryption as puzzles or brain teasers. Awesome for kids but some puzzles are also a challenge for adults.

IGStoryButtonKit provides an easy-to-use button with rich animation and multiple way inspired by instagram story/stories.

  • instagram-stories
  • ios
  • swift
  • button-animation

Centralized transaction management for Pyramid applications (without middleware)

  • transaction-manager
  • pyramid-framework
  • python

Production-ready Go framework for gRPC + HTTP APIs with MongoDB ODM, zero-config SSL, Temporal workflows, cloud utilities, and bootstrap CLI.

Do you often find yourself caught off guard idling in Insert mode instead of escaping to Normal mode like a true Vim user? Let this help you train yourself out of the bad habit. It also boots you out of Insert mode after certain amount of seconds of inactivity