Xcode Keybindings port to VS Code.
☆28Aug 8, 2025Updated 6 months ago
Alternatives and similar repositories for vscode-xcode-keybindings
Users that are interested in vscode-xcode-keybindings are comparing it to the libraries listed below
Sorting:
- Swift Playgrounds Support for VSCode☆13Oct 27, 2023Updated 2 years ago
- Stencil for Visual Studio Code.☆22Nov 21, 2019Updated 6 years ago
- URLRequests in one line of code☆11Feb 12, 2022Updated 4 years ago
- Merge sort correctness proof☆11May 21, 2015Updated 10 years ago
- ☆11May 25, 2020Updated 5 years ago
- An implementation of a dependently-typed intermediate language used by Tesseract.☆30Jan 1, 2016Updated 10 years ago
- ☆15Jan 15, 2017Updated 9 years ago
- Wired Server application for Mac OS X☆14May 12, 2020Updated 5 years ago
- Experiments with modal types☆17Oct 20, 2020Updated 5 years ago
- A soothing theme with a pastel color palette☆11Oct 31, 2015Updated 10 years ago
- Command-line interface to Pivotal Tracker☆21Jun 11, 2015Updated 10 years ago
- I2C Bus Library for Swift☆11Feb 6, 2017Updated 9 years ago
- Fast Search for Gzipped Log Files☆10Apr 26, 2025Updated 10 months ago
- Show installed packages in a compact list and enable/disable with one click. For Atom editor.☆10May 24, 2015Updated 10 years ago
- Machine output for Mix tasks☆17Mar 23, 2023Updated 2 years ago
- `sh("echo 'Easily call shell commands with Sh'")`☆11Oct 29, 2023Updated 2 years ago
- Gardener Hackathon related stuff lives here. Everything related to past and future hackathons is welcome☆11Oct 24, 2025Updated 4 months ago
- This browser extension helps you generate detailed, accessible alt text for images and videos you add to posts on Bluesky, using Google G…☆11Aug 5, 2025Updated 7 months ago
- AkhamJS Example React App☆10Jun 29, 2018Updated 7 years ago
- PREVIEW - Run Bonobo data processing graphs in docker containers.☆13Dec 8, 2022Updated 3 years ago
- A CI server written in Erlang. NSWIDY (Not Sure What I'm Doing, Yet)☆12Oct 4, 2017Updated 8 years ago
- State cache for WebGL Rendering Context☆17Jun 3, 2018Updated 7 years ago
- An exploration and implementation of the lambda calculus.☆12Oct 18, 2016Updated 9 years ago
- URI parser☆10Apr 13, 2016Updated 9 years ago
- Sorting out the basic facts behind our projects.☆10Sep 1, 2016Updated 9 years ago
- Agda to C compiler☆10Sep 23, 2025Updated 5 months ago
- Spotlight Plugin to allow indexing of Markdown files☆12Feb 7, 2016Updated 10 years ago
- ☆13Jul 17, 2025Updated 7 months ago
- GCode parser, pretty-printer and processing utils☆15Nov 13, 2023Updated 2 years ago
- Bash support for ZSH-like REPORTTIME☆12Dec 29, 2011Updated 14 years ago
- DotEnv handling for Swift☆11May 18, 2024Updated last year
- Constructive definition of real numbers implemented in agda.☆10Jul 31, 2016Updated 9 years ago
- Accepted papers for PLDI 2014☆15May 19, 2016Updated 9 years ago
- Compiler generator (3rd Futamura projection) for first-order Scheme☆13May 21, 2016Updated 9 years ago
- Category Theory in Agda☆13Jan 16, 2018Updated 8 years ago
- Simple program for controlling backlight of the official Raspberry Pi Touchscreen.☆14Jul 27, 2018Updated 7 years ago
- A GUI Mac OS X application for setting the native resolution on a Retina MBP☆14Jun 30, 2012Updated 13 years ago
- My Agda experiments☆12Sep 26, 2019Updated 6 years ago
- Pure relational SKI combinator calculus interpreter.☆11Jul 13, 2017Updated 8 years ago