Turn any codebase into a knowledge graph grounded in formal methods. Your AI agents get exact answers for any code-related task, ensure correctness, and optimize time and token usage.
Repository Index
51,153 visible repositories in the index
12,121–12,144 of 27,344 · Most stars
Declarative UI toolkit for modern C++20
- c-plus-plus
- c-plus-plus-20
- cmake
- cross-platform-gui
Local-first password manager with direct device-to-device sync
- password-manager
- totp-authenticator
- security
- security-tools
Allows the easy creation of animated transition effects when the state of Android UI has changed
A tiny hand on a stick that points at things on your Mac screen.
The Android FHIR SDK is a set of Kotlin libraries for building offline-capable, mobile-first healthcare applications using the HL7® FHIR® standard on Android.
- android-fhir-sdk
- fhir
- fhir-client
- kotlin
A Python wrapper around Synology API
- python
- synology
- synology-nas
- python-3
Multi-protocol control & translation software (ArtNet, MIDI, OSC, sACN, ...)
- midi
- artnet
- art-net
- protocol-adapter
📚 String comparison and edit distance algorithms library, featuring : Levenshtein, LCS, Hamming, Damerau levenshtein (OSA and Adjacent transpositions algorithms), Jaro-Winkler, Cosine, etc...
- go
- golang
- edit-distance
- algorithms
CuckooDroid - Automated Android Malware Analysis with Cuckoo Sandbox.
Avatar generation library for GO language
- skin
- avatar-generator
- go
- golang
Official GitHub repository for netCDF-C libraries and utilities.
- netcdf
- unidata
- unidata-netcdf
- c
Classify music genre from a 10 second sound stream using a Neural Network.
- deep-learning
- music-genre-classification
- paper
- tensorflow
Reviews your Pull/Merge Requests using ChatGPT
Mustache templates in pure bash
TranslatedGEO Doctor: install it into your AI assistant with one sentence, find out why Doubao, DeepSeek, ChatGPT, and Claude don't recommend you, then fix your profile information, write content, and re-check. An open-source bilingual (Chinese and English) GEO (Generative Engine Optimization) skill.
A curated list of agent-native services and infrastructure for AI agents: email, browsers, memory, sandboxes, payments, and MCP tools. Includes selection criteria and onboarding guides.
Native PostgreSQL driver / client for Zig
- postgresql-client
- zig
- zig-library
- zig-package
A gulp 4 plugin to publish contents to Github pages
- nodejs
- javascript
- gulp-plugin
- github-pages
Tolk is a web interface for doing i18n translations packaged as an engine for Rails applications
Presentations App for the modern Linux Desktop
Native Docker UI implemented using Scala.js and React - DEPRECATED
YARP - Yet Another Robot Platform
- middleware
- yarp
- robotics-libraries
- robotics
This Symfony bundle provides a server implementation for handling single and multiple file uploads using either FineUploader, jQuery File Uploader, YUI3 Uploader, Uploadify, FancyUpload, MooUpload, Plupload or Dropzone. Features include chunked uploads, orphanages, Gaufrette and Flysystem support.
- php
- symfony
- fineuploader
- gaufrette