Provide access to all VS Code child processes
☆124Nov 27, 2018Updated 7 years ago
Alternatives and similar repositories for vscode-processes
Users that are interested in vscode-processes are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- vscode extension to view TextMate scope info upon hover☆16Dec 14, 2016Updated 9 years ago
- an SML language server that uses SML/NJ's "visible compiler" feature☆25Jan 15, 2018Updated 8 years ago
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆13Sep 22, 2020Updated 6 years ago
- Haxe type definitions for the Language Server Protocol☆12Feb 3, 2025Updated last year
- A ppx rewriter that generates hash functions from type expressions and definitions☆16Jul 10, 2026Updated 3 months 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.
- An infinity-categorical coherence typechecker☆18Nov 4, 2024Updated last year
- HTML externs for Haxe☆16May 26, 2024Updated 2 years ago
- Visual Studio Code Debugger for Haxe/Flash applications☆25Mar 3, 2023Updated 3 years ago
- A discouraging story.☆19May 8, 2018Updated 8 years ago
- Bluetooth Rust lib using macOS CoreBluetooth☆14Oct 25, 2019Updated 6 years ago
- An abstract machine using indexed containers and their zippers☆13Dec 29, 2016Updated 9 years ago
- secret project☆17Mar 14, 2018Updated 8 years ago
- Named parameters using meta and macros.☆12Sep 8, 2015Updated 11 years ago
- Haxe implementation of quadtree☆13Sep 5, 2017Updated 9 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Bootstrap for a React App with Redux, React Router, Styled Components, Jest and Hot Reloading,☆20Dec 7, 2022Updated 3 years ago
- dothttp is an open-source dev friendly http request tool☆13Oct 5, 2026Updated 2 weeks ago
- Python APIs for perspective front end☆15Jun 1, 2022Updated 4 years ago
- Experiments with preordered set models of (directed) type theories☆16Jul 10, 2019Updated 7 years ago
- A library for the next generation of LCF refiners, with support for dependent refinement—Long Live the Anti-Realist Struggle!☆16Feb 13, 2018Updated 8 years ago
- A personal library, formalizing cohesive homotopy type theory in Agda.☆13Apr 30, 2019Updated 7 years ago
- Provides a preview when hovering CSS easing functions in VS Code.☆14Jun 25, 2024Updated 2 years ago
- Typeset version of EGA and SGA by Grothendieck.☆14Jan 28, 2014Updated 12 years ago
- ☆19Jul 25, 2014Updated 12 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.
- ☆28Feb 22, 2024Updated 2 years ago
- Extension that allows you quickly launch a vscode debug session for a file of your choosing.☆12Feb 16, 2026Updated 8 months ago
- Bring type level information to value level.☆19Aug 7, 2024Updated 2 years ago
- A dependently typed programming language, and verification tool☆27Apr 3, 2016Updated 10 years ago
- being the materials for "Datatypes of Datatypes" at the Summer School on Generic and Effectful Programming, Oxford☆21Jul 10, 2015Updated 11 years ago
- Haxe macro for helping to sort arrays based on multiple properties with a very simple syntax☆25Feb 27, 2015Updated 11 years ago
- Knockout Dynamic Forms with Validation☆12Jul 25, 2018Updated 8 years ago
- The Bravo core library. It utilizes the SharePoint REST api as an object model.☆11Feb 24, 2017Updated 9 years ago
- Compile Typescript to JS☆17Jun 2, 2020Updated 6 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Reference Implementation for TypeScript Composite Project Build Orchestration☆13Mar 29, 2018Updated 8 years ago
- Minify Haxe/JavaScript using uglifyjs☆13Oct 16, 2019Updated 7 years ago
- better-sqlite3 built against the sqlite3 bedrock branch. +cli, +stmt_scanstatus, -loadable extensions.☆18Updated this week
- Haxe-c++ bindings for opencv2 (C API)☆20Jul 20, 2013Updated 13 years ago
- Basic math expression parser for Haxe☆19Jun 13, 2019Updated 7 years ago
- GitHub Action for installing Lix☆11Aug 5, 2026Updated 2 months ago
- A crowd-sourced document that details the changes in upcoming OCaml releases, in particular explains compatibility-breaking changes and p…☆28Jul 13, 2017Updated 9 years ago