TypeDB 3 client for Lean 4: compile-time checked transactions, typed TypeQL, fast batched decoding, a lightweight ORM and migrations, over the official C driver.
GitHub repository with 10 stars and 0 forks.
Language: HTML
Topics: database, ffi, functional-programming, knowledge-graph, lean4, orm, typedb, typeql
Trending score 0.08, freshness score 0.53, stars gained +0, forks gained +0.
2026-11-02: 10 stars and 0 forks.
高性价比人生指南: 长寿防病、急救、省钱理财、法律红线、失业与工伤、医保社保、恋爱婚育、怀孕育儿、创业与做平台合规、出国与技能。每条写明成本、收益、证据等级和原始出处，只引期刊论文与官方文件。
GitHub repository with 72,694 stars and 6,374 forks.
Trending score: 5.44; stars gained: +696; forks gained: +99.
Language: HTML
FREE FOREVER, NO LIMITS 100% Programmatic, Zero-AI Plagiarism Remover & Similarity Evader. Bypass Turnitin, iThenticate, GPTZero, CopyLeaks, Quillbot & ZeroGPT for LaTeX, DOCX, & Multi-Language Source Code.
GitHub repository with 11,570 stars and 244 forks.
Trending score: 5.42; stars gained: +890; forks gained: +9.
Language: HTML
Topics: academic-writing, ai-humanizer, ai-humanizer-bypass, ai-humanizer-crack, ai-humanizer-free, ai-humanizer-online
Editorial diagram design for Claude Code, Codex, GitHub Copilot, Cursor, Factory Droid, Qoder, and Pi. 45 diagram types. Self-contained HTML + SVG. No shadows. No Mermaid slop.
GitHub repository with 64,286 stars and 4,244 forks.
Trending score: 5.42; stars gained: +666; forks gained: +57.
Language: HTML
Topics: agent-skills, claude-code, codex, data-visualization, diagrams, drawio
A list of SaaS, PaaS and IaaS offerings that have free tiers of interest to devops and infradev
GitHub repository with 141,547 stars and 15,174 forks.
Trending score: 5.21; stars gained: +588; forks gained: +100.
Language: HTML
Topics: awesome-list, free-for-developers
List of Game Decompilations i could gather from around the internet.
GitHub repository with 783 stars and 48 forks.
Trending score: 4.96; stars gained: +582; forks gained: +33.
Language: HTML
Topics: awesome-list, decompilations, game-decompilation, game-decompilations, game-decomps, games
A comprehensive logo-design skill for Claude, Gemini CLI, Codex and other AI agents: principles, process, SVG craft, testing tools and a 1,400+ logo reference library.
GitHub repository with 5,787 stars and 459 forks.
Trending score: 4.72; stars gained: +328; forks gained: +29.
Language: HTML
Topics: agent-skills, branding, claude, claude-skills, codex, gemini-cli
A PostgreSQL foreign data wrapper (FDW) for Firebird - latest version 1.4.2 (2026-05-30)
GitHub repository with 43 stars and 10 forks.
Trending score: 0.00.
Language: C
Topics: database, fdw, firebird, firebird-database, firebird-fdw, foreign-data-wrapper