This extension does not remove any existing bindings. On the same os as that of the keybindings that means everything will be bound twice. On other OS' that means that the keybindings will be in addition to the default (note that they take precedence over the default bindings)
☆27Dec 1, 2024Updated last year
Alternatives and similar repositories for VSCode.OSKeybindings
Users that are interested in VSCode.OSKeybindings are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- implement similar functionalities using different java concurrency utilities and compare the performance☆13Dec 7, 2016Updated 9 years ago
- Linearizability Visualizer☆10Jan 24, 2015Updated 11 years ago
- Reproduce a Java 21 virtual threads deadlock scenario in TLA+☆10Aug 2, 2024Updated last year
- Running Minecraft servers in Kubernetes☆10Oct 22, 2023Updated 2 years ago
- Tool to visualize executions of multi-threaded systems☆13Jun 1, 2020Updated 5 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Backup from the Samsung NX300M using scp☆13Jul 7, 2016Updated 9 years ago
- Run TLC in cmd☆15Jan 20, 2026Updated 4 months ago
- TLA+ specifications of various protocols used by wallets in the nitro protocol.☆18Jun 12, 2020Updated 5 years ago
- Tool for automatically inferring inductive invariants of distributed protocols.☆21Jan 19, 2026Updated 4 months ago
- This PHP Script can extend short rss feeds by visiting the site, download all articles and merge them together to get an ultimative feed.…☆34Jun 16, 2019Updated 6 years ago
- A Raspberry Pi based Weather Monitor (python)☆16Nov 3, 2018Updated 7 years ago
- Material for a workshop on Apalache and TLA+. To be populated with more examples.☆23Apr 17, 2023Updated 3 years ago
- A demo of analyzing a TLA+ state graph☆29Apr 7, 2023Updated 3 years ago
- ☆11Sep 17, 2020Updated 5 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Mutexes that only use two bits. Either stored in a byte, or in the bottom bits of a pointer☆28Dec 7, 2022Updated 3 years ago
- ☆10Mar 15, 2021Updated 5 years ago
- Quickly see python imports in terminal in a tree view☆11Aug 8, 2024Updated last year
- Benchmark your NCNN models on 3DS(or crash)☆10Apr 15, 2024Updated 2 years ago
- Convert TLA+ output (and values) into JSON☆28Mar 3, 2021Updated 5 years ago
- Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)☆27Oct 7, 2022Updated 3 years ago
- Just a template for quickly creating a python library.☆10May 18, 2026Updated last week
- PySQLXEngine, a minimalist asynchronous SQL engine.☆15Jan 13, 2025Updated last year
- Rollback protection for confidential services☆34Dec 21, 2025Updated 5 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Different TLA+ specifications, mostly for learning purposes☆31May 6, 2024Updated 2 years ago
- Zsh: Vim-style increment/decrement in vicmd, visual keymaps☆11Jan 19, 2022Updated 4 years ago
- AndroidSDKPull By DotNet Core, for mirrors site☆14Mar 17, 2017Updated 9 years ago
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆28Apr 24, 2024Updated 2 years ago
- The command-line frontend to transactional consistency checkers for black-box databases☆32Jan 6, 2026Updated 4 months ago
- Rust tools for working with UEFI SBAT☆19Jan 4, 2026Updated 4 months ago
- A PBKDF2 key function implementation for MySQL☆11Nov 1, 2021Updated 4 years ago
- An instructional website with progressively worked examples of TLA+ specifications and model checking.☆47Jul 7, 2022Updated 3 years ago
- Dockerized setup of SSH with a Certificate Authority and Principals configured☆16Apr 20, 2022Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Zig's comptime for Rust, with zero dependencies.☆27Oct 9, 2025Updated 7 months ago
- a jekyll powered blog theme specially designed to take notes, not just blogs☆12Nov 5, 2023Updated 2 years ago
- Chainer and PyTorch implementation of GAN with gradient reversal layer☆10Mar 19, 2022Updated 4 years ago
- Async KeyDB Python Client☆15Jan 18, 2024Updated 2 years ago
- This repository shows minimal pybind11 examples using catkin or colcon.☆18Jan 20, 2023Updated 3 years ago
- Fediverse向けマルコフ連鎖ジェネレーター☆12Jul 3, 2025Updated 10 months ago
- formal tools for BPMN☆38Mar 4, 2026Updated 2 months ago