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

8,665–8,688 of 10,510 · 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

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.

Java library for representing, parsing and encoding URNs as in RFC2141 and RFC8141 (Maintained by @claussni)

  • urn
  • code4lib

You need customized prompts for your tasks! 🤏SimpleGPT is a Vim plugin designed to provide a simple yet flexible way to customize your prompts for your tasks or building chat on nearly all kinds of LLM APIs.

Create n-grams of wordlists based on words, characters, or charsets to use in offline password attacks and data analysis

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

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

MyFin Budget - Rest API for the personal finances platform that'll help you budget, keep track of your income/spending and forecast your financial future.

  • budget-app
  • nodejs
  • nodejs-api
  • personal-finance-manager

⚽ Live football(soccer) scores, fixtures and standings for the competition you follow (World Cup, Premier League, LALIGA, Champions League and 12 more) in your terminal, your Claude Code and Cursor CLI statusline, and MCP clients. No API key. Independent fan project. Not affiliated with FIFA, any confederation, league or club, or Anthropic.