IGStoryButtonKit provides an easy-to-use button with rich animation and multiple way inspired by instagram story/stories.
- instagram-stories
- ios
- swift
- button-animation
Repository Index
47,133 repositories indexed
6,745–6,768 of 8,149 · Most stars
Get typed access to the DbEntityEntry<T>.OriginalValues property bag
Production-ready Go framework for gRPC + HTTP APIs with MongoDB ODM, zero-config SSL, Temporal workflows, cloud utilities, and bootstrap CLI.
VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
⚽ 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.
- claude-code
- cli
- football
- futbol
Port listener / honeypot in Rust with protocol guessing and safe string display
This is the Aura theme for Omarchy.org, providing a visually appealing configuration set for your Linux desktop environment.
The repository host gives no description.
GProf - The profiling module for Groovy
Halva is a toolchain for improving the experience of developing Decentralized Applications based on Substrate.
Partial Commutative Monoids
- partial-commutative-monoid
- separation-logic
- coq
- coq-library
Swift Playground that creates jazz improvisations (WWDC 2018)
- swift
- playground
- midi
- jazz
Starting code and proposed solution for Functional Structures Refactoring Kata
- functional-programming
- kata
- deliberate-practice
- category-theory
Erlang nif for xor_filter. 'Faster and Smaller Than Bloom and Cuckoo Filters'.
- xor-filter
- bloom-filter
- erlang-nif
- erlang
The Karpathy LLM Wiki pattern, productionized. MCP server that gives Claude a librarian for your Obsidian vault — graph traversal, auto-wikilinks, trigram search.
- claude
- claude-code
- karpathy
- knowledge-graph
Generative AI client for multiple providers with plugin extension support
A runtime library and schema code generation tools for Chrome DevTools Protocol support in C#/.NET.
- chrome-devtools-protocol
- chromium
- csharp
- dotnet
Make Test Anything Protocol test runner output nicely readable.
A fast and lightweight Go-based launcher for managing PocketBase instances. Single binary, open source, and easy to use
Generic F# ADO Provider Wrapper
- fsharp
- sql
- adonet
- net
Visual Profiling tool for Love2D using Chromium's tracing tool
High performance Delphi client based on Librdkafka with full protocol support.
IO for Gallina
- coq
- ocaml
- extraction
Library of constructors operating and improving primary GameMaker functionalities.