Sign in

Repository Index

47,133 repositories indexed

Filters

Filters

Clear all filters

1–24 of 46 · Most stars

A hand-picked collection of the finest of resources for the most awesome of agents, Claude Code, the undisputed champion of coding companions, from the unstoppable team at Anthropic PBC (no affiliation). A delectable showcase of top tier skills, ambidextrous agents, scintillating status lines, top notch developer tooling, and also we have plugins

An ebook reader application supporting PDF, DjVu, EPUB, FB2 and many more formats, running on Cervantes, Kindle, Kobo, PocketBook and Android devices

  • luajit
  • kobo
  • kindle
  • eink

🚀 A self-hostable personal dashboard built for you. Includes status-checking, widgets, themes, icon packs, a UI editor and tons more!

by ex-googlers, for ex-googlers - a lookup table of similar tech & services

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

:cyclone: Clean Architecture with .NET6, C#10 and React+Redux. Use cases as central organizing structure, completely testable, decoupled from frameworks

  • solid-principles
  • ddd-architecture
  • clean-architecture
  • clean-code

💻 A fast and flexible O(n) difference algorithm framework for Swift collection.

  • diff
  • difference
  • changeset
  • collectionview

Eclipse Collections is a collections framework for Java with optimized data structures and a rich, functional and fluent API.

  • java
  • eclipse-collections
  • java-collections
  • collections

Probabilistic data structures for processing continuous, unbounded streams.

  • bloom-filter
  • go
  • stable-bloom-filters
  • cuckoo-filter

Open source, self-hostable watched list for all your content (movies, tv series, anime, games) with user authentication, modern and clean UI and a very simple setup.