A VS Code extension for configuring the desired editor layout (files/terminals) for a workspace 🖼️
☆14Jul 28, 2023Updated 2 years ago
Alternatives and similar repositories for workspace-layout
Users that are interested in workspace-layout are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- VS Code extension to view and resolve the security alerts for your GitHub repositories 🔒☆27Jul 13, 2024Updated last year
- fast (hopefully) encrypted (hopefully) file copy between two machines using a dat key☆11Feb 2, 2017Updated 9 years ago
- Exports cross-process metrics via OpenTracing to Prometheus.☆13Mar 6, 2018Updated 8 years ago
- Don't let *them* read your mail. Encrypt it now.☆18Jun 13, 2018Updated 7 years ago
- OpenJDK disassembler plugin for HotSpot JVM (based on binutils)☆10Sep 17, 2014Updated 11 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆11Oct 21, 2024Updated last year
- ☆16Jul 10, 2016Updated 9 years ago
- Discover, share, and connect with developers across your favorite teams, classrooms and communities☆34Jan 7, 2023Updated 3 years ago
- Learn CSS via an interactive web tutorial, directly from VS Code / Codespaces☆15Aug 14, 2021Updated 4 years ago
- Tool to visualize executions of multi-threaded systems☆13Jun 1, 2020Updated 5 years ago
- TLA+ specs and models for the TezEdge node's p2p overlay network, shell, and consensus☆22Dec 14, 2021Updated 4 years ago
- A collection of useful TLA+ operators☆21Feb 15, 2018Updated 8 years ago
- GitHub Action that flags file changes that may affect CodeTour content☆17Apr 2, 2025Updated last year
- TLA+ specifications of various protocols used by wallets in the nitro protocol.☆18Jun 12, 2020Updated 5 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Instruction on how-to setup a Podman container env on MacOS☆18Feb 14, 2021Updated 5 years ago
- Tool for automatically inferring inductive invariants of distributed protocols.☆21Jan 19, 2026Updated 4 months ago
- A boilerplate project for getting started with Azure Functions Serverless Framework plugin☆19May 31, 2023Updated 2 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 VS Code extension that adds a collaborative whiteboard to VS Live Share sessions☆66Jan 14, 2023Updated 3 years ago
- ☆21Oct 25, 2021Updated 4 years ago
- A demo of analyzing a TLA+ state graph☆29Apr 7, 2023Updated 3 years ago
- Allows linking dependencies to your React Native project☆31Sep 29, 2016Updated 9 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 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
- Tools for conformance monitoring on Kubernetes with TLA+☆23Jun 26, 2024Updated last year
- Small module that makes sure your catch, caught an actual error and not a programming mistake or assertion☆35Mar 12, 2026Updated 2 months ago
- TLA+ specification for Succinct Atomic Swap smart contract☆23Jul 3, 2020Updated 5 years ago
- A single-command CLI for sharing and collaboratively editing a file in real-time☆41May 29, 2020Updated 5 years ago
- Keeps track of connections to a node http server and provides a way to close connections☆23Feb 20, 2016Updated 10 years ago
- Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)☆27Oct 7, 2022Updated 3 years ago
- VanillaJS-based Web Components for the IndieWeb☆14May 27, 2017Updated 8 years ago
- Tiny async debouncer☆38Jan 12, 2024Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆39Aug 17, 2018Updated 7 years ago
- Reference-counted Shared Pointer for Zig☆32Aug 3, 2023Updated 2 years ago
- Fastify Plugin to serve default favicon☆13Feb 10, 2026Updated 3 months ago
- Monitor/Log/Share Fine particle (PM2.5) with Grove Dust sensor(Shinyei PPD42NS) and Raspberry Pi☆20Mar 7, 2017Updated 9 years ago
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆28Apr 24, 2024Updated 2 years ago
- Helps you manage and autosave your extension's options, separately for each additional permission☆18Apr 4, 2026Updated last month
- Simple, performant, goroutine safe queues, useful as resource pools or job queues.☆25Dec 30, 2017Updated 8 years ago