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

865–888 of 923 · Most stars

Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot]

  • coq
  • complex-analysis
  • real-analysis

Pre-execution safety analysis for MySQL DDL/DML operations.

  • ddl
  • mysql
  • aws-rds-aurora-mysql
  • aws-rds-mysql

Java client for the IP2Location.io API. Supports IP geolocation, proxy detection and WHOIS lookups. Add IPv4 and IPv6 address lookup to Java web applications, enterprise services and backend systems. Retrieve location and network intelligence through a hosted geolocation API for traffic analysis and enrichment.

  • domain-lookup
  • geolocation-api
  • ip-geolocation
  • ip2location

Run DuckDB inside Excel VBA: pandas-style analytics via in-process SQL + native C bridge. High-speed Range/Array ingestion, Parquet/CSV/JSON I/O.

💬 Sentiment analyzer library using SentiWordnet in Go

  • sentiment
  • sentiment-analysis
  • sentiment-analyzer
  • sentiment-classification

GTFS viewer and transit analysis tool with an Electron desktop app and a free web demo / Electron masaüstü uygulaması ve ücretsiz web demosu olan bir GTFS görüntüleme ve toplu taşıma analiz aracı

A Go library providing a simplified abstraction over google/gopacket for network packet parsing and processing, reducing boilerplate and improving ease of use while preserving core packet inspection capabilities.

  • bytes
  • golang
  • golang-library
  • ip