criguex/scientific-qa-evidence

Independent formal-proof reproduction and scientific mutation testing, with traceable data and animated explainers. By Cristian Guerra, QA Automation, Medellín, Colombia.

GitHub repository with 6 stars and 0 forks.

Language: HTML

Topics: formal-verification, lean4, mutation-testing, navier-stokes, quality-assurance, reproducibility, software-testing

Open provider repository

24h trend summary

Trending score 0.05, freshness score 0.10, stars gained +0, forks gained +0.

Latest metric snapshot

2026-11-02: 6 stars and 0 forks.

Trending in HTML

  1. 1. eternity4719/HowToLiveBetter

    高性价比人生指南: 长寿防病、急救、省钱理财、法律红线、失业与工伤、医保社保、恋爱婚育、怀孕育儿、创业与做平台合规、出国与技能。每条写明成本、收益、证据等级和原始出处，只引期刊论文与官方文件。

    GitHub repository with 72,812 stars and 6,389 forks.

    Trending score: 5.53; stars gained: +848; forks gained: +114.

    Language: HTML

  2. 2. AhmadHassan-BTed/Turnitout-Humanizer

    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,605 stars and 245 forks.

    Trending score: 5.42; stars gained: +880; forks gained: +12.

    Language: HTML

    Topics: academic-writing, ai-humanizer, ai-humanizer-bypass, ai-humanizer-crack, ai-humanizer-free, ai-humanizer-online

  3. 3. cathrynlavery/diagram-design

    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,413 stars and 4,256 forks.

    Trending score: 5.55; stars gained: +870; forks gained: +87.

    Language: HTML

    Topics: agent-skills, claude-code, codex, data-visualization, diagrams, drawio

  4. 4. ripienaar/free-for-dev

    A list of SaaS, PaaS and IaaS offerings that have free tiers of interest to devops and infradev

    GitHub repository with 141,644 stars and 15,198 forks.

    Trending score: 5.32; stars gained: +671; forks gained: +126.

    Language: HTML

    Topics: awesome-list, free-for-developers

  5. 5. SamidyFR/Game-Decompilations

    List of Game Decompilations i could gather from around the internet.

    GitHub repository with 783 stars and 48 forks.

    Trending score: 1.86; stars gained: +0; forks gained: +0.

    Language: HTML

    Topics: awesome-list, decompilations, game-decompilation, game-decompilations, game-decomps, games

  6. 6. kaankiziltug/logo-design-skill

    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,831 stars and 461 forks.

    Trending score: 4.52; stars gained: +218; forks gained: +14.

    Language: HTML

    Topics: agent-skills, branding, claude, claude-skills, codex, gemini-cli