BlazorXTabs is an extended tabs component library providing various tab features for Blazor!
- blazorx
- blazorxtabs
- blazor
- tabs
Repository Index
47,133 repositories indexed
1,033–1,056 of 1,361 · Most stars
F# Type Providers for SqlDataConnection, SqlEntityConnection, ODataService, WsdlService and EdmxFile using .NET Framework generators
Wagtail Meta Preview provides panels for previewing Facebook sharing, Twitter sharing and Google search results in the Wagtail admin.
- wagtail
- share
- meta
- preview
🗂️ This repository provides a guide to creating Xcode templates for iOS boilerplate code to save time and increase creativity in development. It simplifies the process and helps new team members get up to speed. A solution to Xcode's poorly documented templates.
- boilerplate
- swift
- template
- xcode
The Scenario Architect provides a lightweight graphical user interface that allows a straightforward realization and manipulation of concrete driving testing scenarios. Exemplary usecases are the validation of an online verification framework or training of an prediction algorithm.
- safety
- scenario
libGDX extension to provide Firebase tools
Coq library on rewriting theory and termination
The production agent framework for Go — type-safe agents, structured output, multi-provider streaming, guardrails, and multi-agent orchestration with zero core dependencies.
The formal proof of the Odd Order Theorem
- coq
- ssreflect
- mathcomp
- feit-thompson-theorem
Reactive state and effect management with RxJS
- reactive
- state-management
- effects
- react
Provide Go Statistics Handler, Struct, Measure Method
- go
- golang
- stats
- statistics
annoy-rb provides Ruby bindings for the Annoy (Approximate Nearest Neighbors Oh Yeah).
- ruby
- approximate-nearest-neighbor-search
- nearest-neighbor-search
- gem
Turn your Mac/Linux into a remote Claude Code terminal via Telegram. Spawns real CLI — sessions, streaming, approvals, voice, git panel, 30+ commands.
- claude-ai
- claude-code
- mcp
- remote-terminal
gdstats provides common statistical distributions in Godot 3.0
A state machine type provider
embed.FS wrapper providing additional functionality
- golang
A common lisp library that provides a numeric type with optional unit and/or uncertainty for computations with automatic error propagation.
Intuitive and extendable Luau provider framework
- framework
- luau
- roblox
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
Crypto Puzzles is a tool and library to provide a bunch of functions for encryption or pseudo encryption as puzzles or brain teasers. Awesome for kids but some puzzles are also a challenge for adults.
Library providing routines to merge and validate JSON, YAML and/or TOML files
You need customized prompts for your tasks! 🤏SimpleGPT is a Vim plugin designed to provide a simple yet flexible way to customize your prompts for your tasks or building chat on nearly all kinds of LLM APIs.
IGStoryButtonKit provides an easy-to-use button with rich animation and multiple way inspired by instagram story/stories.
- instagram-stories
- ios
- swift
- button-animation
VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations