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

5,665–5,688 of 8,143 · Most stars

graphql-maven-plugin is a Maven Plugin for GraphQL, based on graphql-java. It accelerates the development for both the client and the server, by generating the Java code. It allows a quicker development when in contract-first approach, by avoiding to code the boilerplate code.

TranslatedGitHub accelerator — a local Windows proxy: no plugin, no server, zero accounts. Built-in table of real GitHub IPs to bypass DNS pollution, BoringSSL (the same TLS fingerprint as Chrome) + spoofed SNI to connect directly to the official edge, accelerating all scenarios: clone / push / Release / raw / web pages, with a chain of public mirrors as a fallback for large files, and automatic restoration on exit. GitHub proxy & mirror for China mainland.

  • boring-ssl
  • gfw
  • github-accelerator
  • github-proxy

WELA (Windows Event Log Analyzer, ゑ羅) is a tool for auditing and configuring Windows event log settings. Windows event logs are a vital source of information for Digital Forensics and Incident Response (DFIR), providing visibility into system activity and security events.

F# type providers to support statically typed access to input parameters and result set of sql statement in idiomatic F# way. Data modifications via statically typed tables.

CanAirIO is a citizen science initiative. We are developing a mobile application that is able to set a PM2.5 or CO2 sensors, and other related sensors, as a fixed station using WiFi or mobile station with an smartphone by using a Bluetooth connection.

Translated简居 TV (Jianju TV, "simple home TV"): a minimalist Android TV home screen for video apps commonly used in mainland China, customized based on Aerial.

Ratus is a RESTful asynchronous task queue server. It translated concepts of distributed task queues into a set of resources that conform to REST principles and provides a consistent HTTP API for various backends.