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

433–456 of 541 · Most stars

A pink–cyan–lavender Neovim colorscheme. Strings are yellow, functions are pink, types are lavender — and green never reaches code. Pure Lua, zero deps, 22 plugin integrations, AAA contrast. Matching Ghostty / Kitty / Alacritty / WezTerm / Tmux / Fish configs.

  • alacritty
  • alacritty-theme
  • ghostty
  • ghostty-theme

Translated[Maintenance stopped] New version updates have been moved to the correspondingly named project under the IBATS project group. Connects to the Huobi exchange to get real-time and historical Huobi market data, saves it to a MySQL database and broadcasts it via Redis, for the ABAT trading platform to use for strategy backtesting, analysis, and trading.

  • python
  • python36
  • huobi
  • huobipro

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

Gobo is an opinionated code formatter for GameMaker Language (GML).