surajx/proof-assistant

Online platform to enable Logic students to write, verify, and store System L style Natural Deduction proofs with real-time proof-checking

GitHub repository with 13 stars and 3 forks.

Language: JavaScript

Topics: natural-deduction, proof-assistant, proof-checking, antlr4, nodejs, jade, mongodb

Open provider repository

Latest metric snapshot

2026-06-05: 13 stars and 3 forks.

Trending in JavaScript

  1. 1. affaan-m/ECC

    The agent harness performance optimization system. Skills, instincts, memory, security, and research-first development for Claude Code, Codex, Opencode, Cursor and beyond.

    GitHub repository with 207,323 stars and 31,829 forks.

    Trending score: 5.86; stars gained: +3,345; forks gained: +536.

    Language: JavaScript

    Topics: ai-agents, anthropic, claude, claude-code, developer-tools, llm

  2. 2. decolua/9router

    Unlimited FREE AI coding. Connect Claude Code, Codex, Cursor, Cline, Copilot, Antigravity to FREE Claude/GPT/Gemini via 40+ providers. Auto-fallback, RTK -40% tokens, never hit limits.

    GitHub repository with 16,336 stars and 2,455 forks.

    Trending score: 5.17; stars gained: +581; forks gained: +85.

    Language: JavaScript

    Topics: claude-code, cursor, ai-agents, ai-gateway, anthropic, chatgpt

  3. 3. coreyhaines31/marketingskills

    Marketing skills for Claude Code and AI agents. CRO, copywriting, SEO, analytics, and growth engineering.

    GitHub repository with 31,958 stars and 5,253 forks.

    Trending score: 4.56; stars gained: +526; forks gained: +62.

    Language: JavaScript

    Topics: claude, codex, marketing

  4. 4. stemdeckapp/stemdeck

    Stemdeck is an modern stem extraction platform for musicians,producers and hobbyists, designed to isolate vocals, drums, bass, piano and guitar for practice, transcription, remixing, and creative audio workflows through a modern and interactive interface

    GitHub repository with 1,530 stars and 157 forks.

    Trending score: 3.98; stars gained: +83; forks gained: +11.

    Language: JavaScript

  5. 5. open-gsd/gsd-core

    Git. Ship. Done - Core

    GitHub repository with 2,706 stars and 162 forks.

    Trending score: 3.88; stars gained: +150; forks gained: +7.

    Language: JavaScript

    Topics: claude-code, context-engineering, meta-prompting, spec-driven-development

  6. 6. facebook/react

    The library for web and native user interfaces.

    GitHub repository with 245,467 stars and 51,170 forks.

    Trending score: 3.60; stars gained: +51; forks gained: +6.

    Language: JavaScript

    Topics: javascript, react, frontend, declarative, ui, library