A verifier for automated and interactive proofs about transition systems.

Save or export your private and public Slack messages, threads, files, and users locally without admin privileges.

The Keyboard Layout for Europeans, Coders and Translators

Free monospaced font with programming ligatures

ar-go-tools (Argot) is a collection of analysis tools for Go

Main source code repository of the Tamarin prover for security protocol verification.

This plugin helps you to use the AWS Command Line Interface (AWS CLI) to start and end sessions to your managed instances

An agent to enable remote management of your EC2 instances, on-premises servers, or virtual machines (VMs).

Locates JAVA_HOME on any platform, and can differentiate between different versions.

Useful component to build VS Code extensions for verifiers.

GitHub action to create a new pre-release and delete old pre-releases created by this action

GitHub action to check whether all files have a specified copyright license header

This is the main repository for the Viper IDE extension for VS Code.

A modern static resume template and theme. Powered by Jekyll and GitHub pages.

A static verifier for Rust, based on the Viper verification infrastructure.

A verified version of SCION's go source code

VSCode Plugin for Gobra

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

Curated coding interview preparation materials for busy software engineers

Saving SSH keys in macOS Sierra keychain

A collection of useful .gitignore templates

Dual-mode Bluetooth stack, with small memory footprint.

A set of tests to test your implementation of a symbolic execution engine

Documentation and issue tracker for nRF Connect for Android.

✂A collection of useful .htaccess snippets.

The iconic SVG, font, and CSS toolkit

Some simple and creative overlay styles and effects. From sliding the overlay into the viewport to using SVG morphing shapes, we explore some effects for fullscreen overlays.

greenDAO is a light & fast ORM solution for Android that maps objects to SQLite databases.

Simple tool to export android strings resourses to excel and import them to project after translating

Provides marquee like UILabel scrolling, think Music.app track title scrolling. For Obj-C & Swift.