QuickFix actions for Haskell in VSCode
☆14Mar 28, 2025Updated last year
Alternatives and similar repositories for vscode-haskutil
Users that are interested in vscode-haskutil are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ⛱ An example of managing state using Purescript in a Vue app☆27Apr 16, 2019Updated 7 years ago
- ☆20Aug 23, 2025Updated 10 months ago
- Easily Live Share Session Link Without Going Out From IDE☆11Aug 10, 2021Updated 4 years ago
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆28Nov 12, 2025Updated 7 months ago
- VSCode extension. Display current file's path from absolute (root directory) or workspace highest directory in StatusBar by Unix style o…☆11Apr 6, 2026Updated 3 months 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.
- 📖 A template for documenting your code.☆10Dec 23, 2016Updated 9 years ago
- VSCode file templates manager extension☆12Jan 7, 2023Updated 3 years ago
- Snippets for development with the Flynt starter theme☆11Sep 11, 2020Updated 5 years ago
- High level Lean 4 FFI for Rust☆14Mar 16, 2024Updated 2 years ago
- type-system, revised unification algorithm and runtime time representations☆13Dec 12, 2019Updated 6 years ago
- Compiling finite generators to digital logic. WIP☆13Aug 24, 2020Updated 5 years ago
- [Deprecated] Visual Studio extensions to support Camel K☆10Nov 12, 2024Updated last year
- Buildkite extension for VS Code☆14Jun 28, 2026Updated last week
- Game Engine From Scratch -- Rust China Conference 2020 topic by LemonHX and his team.☆14Dec 16, 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.
- ☆11Sep 19, 2017Updated 8 years ago
- An open-source registry for VS Code extensions☆11Jan 29, 2020Updated 6 years ago
- A variant of Ahash written in C++.☆10Mar 20, 2023Updated 3 years ago
- Extension for using OpenAPI Tools in VS Code☆15May 20, 2022Updated 4 years ago
- VS Code extension for SpacemanDMM's dm-langserver. Report issues on SpacemanDMM.☆11Jun 18, 2026Updated 2 weeks ago
- Idris web site☆17Apr 22, 2024Updated 2 years ago
- A excellent markdown preview extension for vscode☆11Apr 2, 2026Updated 3 months ago
- A proc macro regex library to match an arbitrary string or byte array to a regular expression.☆12Jun 5, 2022Updated 4 years ago
- Simple GHC (Haskell) integration for VSCode☆224Jun 18, 2026Updated 2 weeks 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.
- Automated Theorem Prover inspired by Aletheia. Claude Code for mathematicians.☆76Apr 20, 2026Updated 2 months ago
- A Lua implementation built on GraalVM (In development)☆11Jun 26, 2024Updated 2 years ago
- Slack extension for Visual Studio Code☆13Feb 3, 2022Updated 4 years ago
- ☆12Dec 25, 2023Updated 2 years ago
- 🌊 A React UI library☆13Feb 2, 2022Updated 4 years ago
- VSCode extension to support behat☆13Mar 3, 2023Updated 3 years ago
- Simple GUI for managing sched-ext schedulers via scx_loader☆36Updated this week
- ☆12Aug 19, 2021Updated 4 years ago
- Generate a derivation of (old) Spago dependencies, and use them to install them into the directory structure used by Spago.☆43Jun 17, 2024Updated 2 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.
- How many interface{} are there in your project?☆16Aug 2, 2021Updated 4 years ago
- Plugin to open current file in vim☆18Nov 21, 2025Updated 7 months ago
- 📦 Custom Setup to automate package modules discovery☆33Apr 4, 2022Updated 4 years ago
- 💬 Gleam bindings for the standard JavaScript Request and Response APIs☆19Jun 30, 2025Updated last year
- SBoost is a SIMD-based C++ library enabling fast filtering and decoding of lightweight encoded data☆11Jul 6, 2021Updated 5 years ago
- Fast, vector-based map implementation that preserves insertion order.☆14May 1, 2020Updated 6 years ago
- Luogu plugin on IntelliJ Platform☆10Jan 6, 2020Updated 6 years ago