Thanks to visit codestin.com
Credit goes to github.com

Skip to content
View ArquintL's full-sized avatar

Highlights

  • Pro

Organizations

@viperproject @VMI-ETH

Block or report ArquintL

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

A verifier for automated and interactive proofs about transition systems.

Lean 179 10 Updated Jan 12, 2026

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

Go 2,373 124 Updated Dec 31, 2025

The Keyboard Layout for Europeans, Coders and Translators

253 72 Updated Nov 14, 2024

Free monospaced font with programming ligatures

Clojure 81,014 3,171 Updated Jan 19, 2026

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

Go 43 5 Updated Jan 22, 2026

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

Haskell 501 159 Updated Jan 22, 2026

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

Go 302 88 Updated Nov 20, 2025

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

Go 1,128 346 Updated Dec 22, 2025

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

TypeScript 3 3 Updated Jan 1, 2026

Useful component to build VS Code extensions for verifiers.

TypeScript 5 2 Updated Jan 1, 2026

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

TypeScript 10 1 Updated Jan 1, 2026

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

TypeScript 6 2 Updated Jan 1, 2026

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

TypeScript 12 11 Updated Jan 22, 2026

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

HTML 2,267 1,534 Updated Jun 15, 2024

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

Rust 1,723 121 Updated Nov 10, 2025

A verified version of SCION's go source code

Go 7 1 Updated Nov 16, 2022

VSCode Plugin for Gobra

TypeScript 11 4 Updated Jan 24, 2026

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

Scala 146 36 Updated Jan 23, 2026

Curated coding interview preparation materials for busy software engineers

TypeScript 136,962 16,378 Updated Jan 16, 2026

Saving SSH keys in macOS Sierra keychain

934 43 Updated Jul 19, 2018

A collection of useful .gitignore templates

172,013 82,906 Updated Jan 23, 2026

Dual-mode Bluetooth stack, with small memory footprint.

C 2,051 675 Updated Jan 22, 2026

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

Python 1 2 Updated May 16, 2015

Documentation and issue tracker for nRF Connect for Android.

1,552 343 Updated Aug 28, 2025

✂A collection of useful .htaccess snippets.

13,321 1,305 Updated Mar 22, 2023

The iconic SVG, font, and CSS toolkit

JavaScript 76,270 12,251 Updated Dec 12, 2025

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.

CSS 504 97 Updated Feb 6, 2014

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

Java 12,626 2,881 Updated Apr 30, 2024

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

Java 69 27 Updated Nov 23, 2023

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

Objective-C 525 107 Updated Sep 20, 2019