A pure Lua Postgres driver for use in OpenResty & more
- lua
- postgres
- moonscript
- cqueues
Repository Index
70,234 visible repositories in the index
217–240 of 337 · Most stars
An AutoCompleteTextView with builtin Adapter with the emails in the device.
- autocompletetextview
- android
- android-library
- material-design
Functional HTML scraping and rewriting with CSS in OCaml
virtual honeypots
同一需求，2–4 版真跑。在 DSH Desktop / Web 主对话中比较回答、文件与网页，中英双语，保留选择理由并审查采用。Compare 2–4 answers, files and live pages in DSH; keep picks, reasons and conversation context.
- code-comparison
- deepseek-harness
- developer-tools
- dsh
Swift μ-framework for efficient array diffs and datasource adapters.
- edit-distance
- levenshtein-distance
- tableview
- datasource
Spiritual successor of https://github.com/wbthomason/packer.nvim
- neovim-plugin
- lua
- neovim
Clinical Quality Language (CQL) is an HL7 specification for the expression of clinical knowledge that can be used within both the Clinical Decision Support (CDS) and Clinical Quality Measurement (CQM) domains. This repository contains complementary tooling in support of that specification.
- cql
- clinical-quality-language
- cds
- java
A Suricata Docker image.
- suricata
- ids
- nsm
- docker
Neo4j Connector for Apache Spark, which provides bi-directional read/write access to Neo4j from Spark, using the Spark DataSource APIs
- spark
- neo4j-connector
- cypher
- neo4j-driver
A reasonably fast, easy to use and 100% conformant Elixir library for Google Protocol Buffers (aka protobuf)
- protobuf
- elixir
- protocol-buffers
- protobuf-message
OCaml project generator.
- spin
- ocaml
- reason
- template
ModernAVPlayer is a persistence AVPlayer wrapper
- avplayer
- wrapper
- persistence
- swift
Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.
- ai-agents
- mathematics
- neuro-symbolic
- reasoning
Sigma Rules Engine inside the Linux Kernel using eBPF. Focusing on prevention capabilities
- ebpf
- security
- linux-kernel
- linux-security-module
OperaDriver for Chromium-based Opera releases
HTML5 port of the indie platform game Emberwind.
TypeQL: Built for systems, not records
- reasoning
- query-language
- query
- inference
Selfhosted. URL to PNG utility featuring parallel rendering using Playwright for screenshots and with storage caching via Local, S3, or CouchDB
Official Repository of paper OmniReasoning: Pushing the Limits of Audio-Visual Joint Reasoning
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
- coq
- hammer
- automation
- proof-search
Add css to your npm modules consumed with browserify.
Design rules and a zero-dependency checker for interfaces built with AI coding agents, on the web and in SwiftUI and Jetpack Compose apps. English and Turkish.
- agent-skill
- design-rules
- design-system
- lint
Container image registry that serves images built fresh when you ask for them
- containers
- jit
- build