Popular GitHub Repositories for Conjecture

Discover the most popular open-source projects and tools related to Conjecture, and stay updated with the latest development trends and innovations.

Dictate Wizard

conjecture

Dictate Wizard is an open source dictation tool powered by OpenAI's Whisper. The goal is to obsolete as much typing as possible and let you speak your emails, instant messages etc instead.

7个月前

ABC Exceptions

formal-verification

Exceptions to the ABC conjecture in Lean

1个月前