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

3,481–3,504 of 4,130 · Most stars

FairPlayCombined is a platform designed to accelerate app development using .NET, Blazor, and more. It includes real-world templates like video sharing and dating apps, reducing costs and time-to-market. Perfect for developers, startups, and businesses, it empowers innovation and delivers value with pre-built tools and resources.

  • aspire
  • blazor
  • csharp
  • dotnet

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

NASA/JPL SPICE Toolkit for C – patched for cross-platform compatibility

  • astronomy
  • astronomical-algorithms
  • celestial-mechanics
  • nasa

Do you often find yourself caught off guard idling in Insert mode instead of escaping to Normal mode like a true Vim user? Let this help you train yourself out of the bad habit. It also boots you out of Insert mode after certain amount of seconds of inactivity

A plugin for the Play Framework that enables easy, automatic compression of JavaScript and CSS

A runtime library and schema code generation tools for Chrome DevTools Protocol support in C#/.NET.

  • chrome-devtools-protocol
  • chromium
  • csharp
  • dotnet

Multi-format serialization library for C++17: JSON/JSONC, CSV and MsgPack (dependency-free), plus XML and YAML

  • csv
  • json
  • serialization
  • xml