Sign in

Repository Index

84,085 visible repositories in the index

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

17,809–17,832 of 23,267 · Most stars

A surprisingly configurable convention-based approach to managing your application's custom configuration settings.

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

  • raft
  • verdi
  • coq
  • proof

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.

DDD+CQRS+Event-sourcing examples using EventFlow following CQRS-ES architecture. It is configured with RabbitMQ, MongoDB(Snapshot store), PostgreSQL(Read store), EventStore(GES). It's targeted to .Net Core 2.2 and include docker compose file.

  • eventflow
  • cqrs
  • cqrs-es-architecture
  • ges

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

  • error
  • errors
  • stacktrace

Translated知策 (Zhice, "know strategy") | AI investment research and strategy experiment workbench: view markets and news, compare strategy judgments; organize investment documents into knowledge backed by source-text evidence, form rules through manual confirmation, screen candidates, and verify them in independent simulated accounts.

TranslatedDesktop automation for DeepSeek Harness: giving an entire Windows machine eyes and hands. It can do anything a person can do, including but not limited to CAD, WPS, browser operations, and sending WeChat messages. Safe, fast, reliable, smart, and user-friendly.

Sippy B2BUA is a RFC3261-compliant Session Initiation Protocol (SIP) stack and Back-to-back user agent (B2BUA) server software.

AI motion graphics for YouTube explainer videos: 74 animated HTML explainer boards (charts, diagrams, Venn, timeline, heatmap) synced to your voice with Whisper, exported frame by frame with Chrome + FFmpeg. Every prompt + Claude skills. By TEIN AI.