📍Add git-prompt-string to your Neovim statusline!
Repository Index
47,133 repositories indexed
4,129–4,152 of 4,716 · Most stars
Isomorphic utilities, components and hooks for Fresh and Preact.
Stable sort algorithms and their stability proofs in Rocq
- mathcomp
- ssreflect
- sorting-algorithms
- mergesort
Easily integrate Facebook authentication into any Play framework application.
Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
- coq
- canonical-structures
- typeclasses
- ssreflect
An ember-addon that provides a dry way to track component attribute changes using lifecycle hooks.
MicroPython LoRa EBYTE E220 LLCC68 device library complete and tested with Arduino, esp8266, esp32, STM32 and Raspberry Pi Pico (rp2040 boards).
- arduino
- arduino-samd-boards
- e220
- ebyte
CQRS on Windows Azure
- cqrs-es
- codegen
- windows-azure
- csharp
A complete, reliable, secure and open source webapp based on zero-knowledge encryption to deal with TOTP
- totp
- webapp
- zero-knowledge-encryption
Arbitrary Precision Library for Delphi with Support for Integer and Floating Point Computations.
Fast, deterministic cell-type deconvolution for million-bin spatial transcriptomics
- bioinformatics
- cell-type-deconvolution
- computational-biology
- deconvolution
Powerful pipes for TypeScript, that chain Promise and ADT for you 🚌 -> ⛰️ -> 🚠 -> 🏂 -> 🚀
- pipe
- pipeline
- kleisli
- ramda
Java importer skeleton for complicated, business-logic-heavy high-performance Neo4j imports directly from SQL databases, CSV files, etc.
- neo4j
- java
- neo4j-graphaware-framework
Agent Skills — agent-neutral autonomous product-building OS for 32+ AI coding tools. 23 skill categories · 28 agents · 149 reference docs · 37 platform variants. One-line prompts → deployed products on Cloudflare Workers.
Java Scientific Computing Library - Signal Processing, FFT, Filters, PSD, DCT, SciPy-like APIs for JVM & Android used in Machine Learning and Data Science.
- android
- java
- python
- scipy
CakePHP behavior plugin for easily generating some complicated queries like (bulk) insert/upsert etc.
- cakephp-plugin
- bulk-insert
- composer-package
- behavior
A fast FHIR-compliant server focused on longitudinal data stores.
- openhie
- ohie
- fhir
- mhd
Persistent decision memory for AI agents: rationale, rejected approaches, and entity history. Connect any compatible agent through local MCP or the CLI.
- agent-memory
- agent-trace
- ai-agent-reasoning
- ai-agents
A Svelte component to teleport elements across the DOM
A repo-native coding-agent loop harness for Claude, Codex, Copilot, and other CLI agents. Agents can edit. Gates decide what lands. You set the plan in motion. The agents take a prompt, and each iteration must update specs and commit through guardrails.
American Sign Language Detection is a deep learning end to end project where we can detect American Sign Language.
- asl
- keras
- tensroflow
- tflite
Apache Wicket component leveraging the use of Shield UI JavaScript library
Dependency manager for Qt / C++.
- qt
- cplusplus
- qompoter
- qmake
Register your lit-elements as a pure functions.
- html
- javascript
- web-components
- web-component