typetheoryforall/FVjobs

A Job Board for Formal Verification

GitHub repository with 91 stars and 2 forks.

Language: Python

Topics: correctness, correctness-by-construction, correctness-checking, correctness-evaluation, correctness-proof, correctness-proofs, correctness-testing, correctness-verification, formalverification

Open provider repository

24h trend summary

Trending score 1.31, freshness score 0.97, stars gained +1, forks gained +0.

Latest metric snapshot

2026-11-02: 91 stars and 2 forks.

Trending in Python

  1. 1. Gathin23/cleanyourtv

    Debloat any Android or Google TV over Wi-Fi and get an Apple TV-style home.

    GitHub repository with 50,761 stars and 6,406 forks.

    Trending score: 6.63; stars gained: +2,495; forks gained: +402.

    Language: Python

    Topics: adb, adblock, android-tv, android-tv-launcher, apple-tv, bloatware-removal

  2. 2. debpalash/VoiceStudio

    VoiceStudio is the open-source, fully-local ElevenLabs alternative — voice cloning, voice design, video dubbing, dictation, transcription & audiobook creation in 646 languages.

    GitHub repository with 99,211 stars and 11,005 forks.

    Trending score: 6.46; stars gained: +2,191; forks gained: +251.

    Language: Python

    Topics: ai, audiobook, cuda, dubbing, elevenlabs-alternative, huggingface

  3. 3. google/elephant-goldfish-model

    Open-source skills for designing and reviewing software with AI agents

    GitHub repository with 10,893 stars and 730 forks.

    Trending score: 6.44; stars gained: +2,994; forks gained: +247.

    Language: Python

    Topics: agent-skills, ai-agents, antigravity, claude-code, claude-code-plugin, claude-skills

  4. 4. HKUDS/DeepTutor

    DeepTutor: Lifelong Personalized Tutoring. https://deeptutor.info/.

    GitHub repository with 54,380 stars and 6,651 forks.

    Trending score: 6.26; stars gained: +1,564; forks gained: +186.

    Language: Python

    Topics: ai-agents, ai-tutor, clawbot, cli-tool, deepresearch, interactive-learning

  5. 5. D4Vinci/Scrapling

    🕷️ The BEST Web Scraping framework that handles everything from a single request to a full-scale crawl! Don't be shy, join here: https://discord.gg/EMgGbDceNQ and follow here for daily tips and tricks: https://x.com/Scrapling_dev

    GitHub repository with 93,144 stars and 9,798 forks.

    Trending score: 6.00; stars gained: +1,874; forks gained: +306.

    Language: Python

    Topics: ai, ai-scraping, automation, crawler, crawling, crawling-python

  6. 6. public-apis/public-apis

    A collective list of free APIs

    GitHub repository with 495,574 stars and 55,323 forks.

    Trending score: 5.93; stars gained: +1,679; forks gained: +182.

    Language: Python

    Topics: api, apis, dataset, development, free, list