Stars
Benchmark tool or non-standard background processing limitations done by OEMs on different Android flavours
An extremely fast Python type checker and language server, written in Rust.
git mirror of the Munich isabelle hg repository
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
#1 PDF Application on GitHub that lets you edit PDFs on any device anywhere
Moodle Buddy is a browser plugin that offers mass download and notification functionality to the Moodle learning management platform
Super Productivity is an advanced todo list app with integrated Timeboxing and time tracking capabilities. It also comes with integrations for Jira, GitLab, GitHub and Open Project.
WinDirStat is a disk usage statistics viewer and cleanup tool for Microsoft Windows
Welcome to the ultimate list of resources for formal verification techniques and tools. This repository aims to provide an organized collection of high-quality resources to help professionals, rese…
Formal specification and verification of Vyper
quillpad / quillpad
Forked from msoultanidis/quillnoteTake beautiful markdown notes and stay organized with task lists.
Lists of company wise questions. Every csv file in the companies directory corresponds to a list of questions on leetcode for a specific company based on the leetcode company tags. Updated as of 20…
GUI for a Vocal Remover that uses Deep Neural Networks.
Verification infrastructure for the Isabelle/HOL interactive proof assistant
Make Zotero effective for us LaTeX holdouts
Offline, privacy-first grammar checker. Fast, open-source, Rust-powered
Symbolic-execution-based verifier for the Viper intermediate verification language.
Mattermost is an open source platform for secure collaboration across the entire software development lifecycle..