Python library for creating PEG parsers

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

An intermediate verification language

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

Take beautiful markdown notes and stay organized with task lists.

The Wyvern programming language.

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.

talkie is a vintage language model from 1930

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..

A Cheat Sheet 📜 to revise Python syntax. Particularly useful for solving Data Structure and Algorithmic problems with Python.

💥 Blazing fast terminal file manager written in Rust, based on async I/O.

A gently curated list of companies using verification formal methods in industry

Modern & private time tracking for macOS & Windows. No cloud, no registration, no paywall. Just download and track your work hours 100% offline.

A free, open source, and extensible speech-to-text application that works completely offline.

The best free and open-source automated time tracker. Cross-platform, extensible, privacy-focused.

Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.

Gradually Verified C0

Dafny is a verification-aware programming language

Interactive Theorem Proving course using HOL4

An attempt to provide a reproducible, automatic, complete end-to-end bootstrap from a minimal number of binary seeds to a supported fully functioning operating system.