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

2,401–2,424 of 4,091 · Most stars

A unified AI model hub for aggregation & distribution. It supports cross-converting various LLMs into OpenAI-compatible, Claude-compatible, or Gemini-compatible formats. A centralized gateway for personal and enterprise model management. 🍥

An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

  • raft
  • verdi
  • coq
  • proof

Drop-in replacement for the standard library errors package and github.com/pkg/errors

  • error
  • errors
  • stacktrace

Actively maintained fork of ahmedkhalf/project.nvim. Detects and chdirs to the project root, with its own UI, provides lualine component, supports oil.nvim, includes pickers for telescope, snacks, fzf-lua, and picker.nvim.

An intuitive remotely-accessible system performance monitoring and task management tool for servers and headless Raspberry Pi setups.

Implementation of RAFT consensus in .NET core

  • raft-consensus-algorithm
  • raft
  • raft-protocol
  • raft-algorithm

Zero-effort, concise configuration management that avoids boilerplate and repetitive actions.

  • config
  • configuration
  • environment
  • flag