All categories
Databases
SQL, NoSQL, schema design, migrations, ORMs, and database operations
- 4,708
- 197
Security grades appear on each card once the skill has been scanned. Newly imported skills may briefly show without a grade until the backfill job runs.
Open in full browserBrowse databases skills
Showing 2,929–2,952 of 4,708 skills
- Belief Revision Log> Persistent belief revision log wiring in-memory AGM BeliefSet to DuckDB time-travel storage. Triggers: belief revision, AGM postulates, time-travel query, belief history, AS-OF queries on propositions, persistent belief state, append-only belief log. >>>>>>> origin/mainVotes: 0GitHub stars: 61
- Acsets Relational ThinkingACSets (Attributed C-Sets) for categorical database design and DPO rewritingVotes: 0GitHub stars: 61
- Acset TaxonomyTaxonomy of ACSet skills with morphisms to semantically similar categorical/relational skillsVotes: 0GitHub stars: 61
- Unison AcsetUnison language ACSet-structured skill with hierarchical documentation parsing, SPI trajectory recording, and 1069 skill predictions from zubuyul seed.Votes: 0GitHub stars: 61
- Implementing Vulnerability Sla Breach AlertingBuild automated alerting for vulnerability remediation SLA breaches with severity-based timelines, escalation workflows, and compliance reporting dashboards.Votes: 0GitHub stars: 61
- Exploiting Api Injection VulnerabilitiesTests APIs for injection vulnerabilities including SQL injection, NoSQL injection, OS command injection, LDAP injection, and Server-Side Request Forgery (SSRF) through API parameters, headers, and request bodies. The tester crafts malicious payloads targeting different backend technologies and injection contexts to extract data, execute commands, or access internal services. Maps to OWASP API8:2023 Security Misconfiguration and API7:2023 SSRF. Activates for requests involving API injection te...Votes: 0GitHub stars: 61
- Duckdb SpatialDuckDB Spatial SkillVotes: 0GitHub stars: 61
- Duck Time TravelDuckDB time-travel queries for temporal versioning and causality trackingVotes: 0GitHub stars: 61
- Database DesignDatabase schema design, optimization, and migration patterns for PostgreSQL,Votes: 0GitHub stars: 61
- Code DocumentationWriting effective code documentation - API docs, README files, inlineVotes: 0GitHub stars: 61
- Active InterleaveActive Interleave SkillVotes: 0GitHub stars: 61
- Acsets Relational ThinkingACSets (Attributed C-Sets) for categorical database design and DPO rewritingVotes: 0GitHub stars: 61
- Acsets HatcheryAttributed C-Sets as algebraic databases. Category-theoretic data structures generalizing graphs and dataframes with Gay.jl color integration.Votes: 0GitHub stars: 61
- Lib**Date**: 2025-12-22 **Status**: IMPLEMENTED + CLI **Purpose**: Apply relational thinking (ACSets) to Amp thread analysis using HyJAXVotes: 0GitHub stars: 61
- Discohy StreamsDisCoPy categorical color streams via Hy with 3 parallel TAP streamsVotes: 0GitHub stars: 61
- AcsetsACSets (Attributed C-Sets): Algebraic databases as in-memory data structures. Category-theoretic formalism for relational databases generalizing graphs and data frames.Votes: 0GitHub stars: 61
- Acsets Relational ThinkingACSets (Attributed C-Sets) for categorical database design and DPO rewritingVotes: 0GitHub stars: 61
- Kan ExtensionsKan Extensions Skill (ERGODIC 0)Votes: 0GitHub stars: 61
- Discohy StreamsDisCoPy categorical color streams via Hy with 3 parallel TAP streams and 7 operad variantsVotes: 0GitHub stars: 61
- Duckdb SpatialH3 hexagonal indexing, PostGIS-compatible spatial queries, and geographic analysis with GF(3) coloring.Votes: 0GitHub stars: 61
- Duck Time TravelSKILL: Duck Time TravelVotes: 0GitHub stars: 61
- Acsets Relational Thinking**Version**: 2.0.0 **Trit**: 0 (ERGODIC) **Domain**: database, category-theory, rewriting **Source**: Topos Institute RelationalThinking Course + AlgebraicJulia ---Votes: 0GitHub stars: 61
- Wev Hodge Decomp**Status**: 🧪 Draft — K₃/K₄/K₅ verified **Type**: Discrete cohomology / optimal transport / market microstructure **Principle**: WEV = non-exactness of the world, measured in L^p over H₁ **Frame**: Antisymmetric 1-cochain on pair graph → Hodge splits into coboundary (potential) + harmonic (residue) **GF(3)/GF(5)**: Both required — GF(3) collapses uniform-sign RPS cycles; GF(5) witnesses orientation-H¹ ---Votes: 0GitHub stars: 61
- Jepsen TestingJepsen-style correctness testing for distributed systems under faults (partitions, crashes, clock skew) using concurrent operation histories and formal checkers (linearizability/serializability and Elle-style anomalies). Use when designing, implementing, or running Jepsen tests, or interpreting histories/violations.Votes: 0GitHub stars: 61