EduardSergeev / vscode-haskutilLinks
QuickFix actions for Haskell in VSCode
☆14Updated 10 months ago
Alternatives and similar repositories for vscode-haskutil
Users that are interested in vscode-haskutil are comparing it to the libraries listed below
Sorting:
- Highlighting support for the Haskell language in visual studio code.☆97Updated 9 months ago
- Visual Studio Code integration for the Idris 2 language server☆31Updated last year
- Haskell bindings to Lua, an embeddable scripting language.☆135Updated 2 weeks ago
- ☆21Updated 8 months ago
- build tool and package manager for idris,in idris,with free monads☆32Updated 6 years ago
- Idris front-end for VS Code☆61Updated 2 years ago
- An implementation of Haskell's Prelude in Python using Coconut.☆21Updated 2 weeks ago
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆27Updated 2 months ago
- Source repository for https://hackage.haskell.org/package/language-c☆95Updated 2 months ago
- Portal to Haskell Debugging System☆60Updated 7 years ago
- MOVED TO https://codeberg.org/wxHaskell/wxHaskell☆80Updated last year
- 🌐 A Haskell binding to the webview library created by Serge Zaitsev.☆126Updated 4 years ago
- Command line interface library in Idris☆33Updated last year
- GUI library for Haskell based on GTK+☆189Updated 10 months ago
- GHC compiled against musl & uClibc☆42Updated last year
- Javascript DOM bindings for Idris2☆54Updated 3 months ago
- Visualize live Haskell data structures in GHCi☆142Updated last year
- Get your IO right on the first try☆55Updated last week
- ☆15Updated 5 years ago
- Various XML utility packages for Haskell☆73Updated 2 months ago
- IDE support for the functional logic programming language Curry☆35Updated 3 months ago
- a library for parallel programming☆97Updated 3 weeks ago
- A minimal example of the Idris C FFI☆14Updated 10 years ago
- array, slices and text☆70Updated last year
- (WIP) Dependently-typed programming language with Agda style dependent pattern matching☆80Updated 5 years ago
- TParsec - Total Parser Combinators in Idris☆99Updated 2 years ago
- YAML 1.2 implementation in pure Haskell☆54Updated last month
- FFI Bindings to interact with the unsafe world of JavaScript☆94Updated 7 years ago
- Haskell Debugger Extension for Visual Studio Code.☆53Updated last month
- dependent types meets deep learning☆44Updated 7 years ago