EduardSergeev / vscode-haskutilLinks
QuickFix actions for Haskell in VSCode
☆14Updated 4 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:
- Visual Studio Code integration for the Idris 2 language server☆30Updated 9 months ago
- MOVED TO https://codeberg.org/wxHaskell/wxHaskell☆80Updated last year
- ☆19Updated 2 months ago
- Idris front-end for VS Code☆59Updated 2 years ago
- Highlighting support for the Haskell language in visual studio code.☆97Updated 4 months ago
- IDE support for the functional logic programming language Curry☆31Updated 3 months ago
- Haskell bindings to Lua, an embeddable scripting language.☆135Updated last week
- 🌐 A Haskell binding to the webview library created by Serge Zaitsev.☆126Updated 4 years ago
- build tool and package manager for idris,in idris,with free monads☆32Updated 6 years ago
- Javascript DOM bindings for Idris2☆53Updated last month
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆26Updated 4 years ago
- Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master☆24Updated 5 years ago
- Command line interface library in Idris☆31Updated last year
- GHC compiled against musl & uClibc☆42Updated 7 months ago
- Inigo: A Package Manager for Idris2☆63Updated 2 years ago
- Package manager for Idris☆37Updated 3 years ago
- A minimal example of the Idris C FFI☆14Updated 10 years ago
- Portal to Haskell Debugging System☆60Updated 6 years ago
- An implementation of Haskell's Prelude in Python using Coconut.☆21Updated last year
- Source repository for https://hackage.haskell.org/package/language-c☆90Updated 5 months ago
- Idris port of Haskell's sop-core library☆36Updated 2 months ago
- A Python backend for PureScript.☆124Updated 3 years ago
- Haskell implementation of mustache templates☆101Updated 3 months ago
- TParsec - Total Parser Combinators in Idris☆95Updated 2 years ago
- Jhc: Haskell Compiler☆38Updated 9 years ago
- dependent types meets deep learning☆44Updated 6 years ago
- GUI library for Haskell based on GTK+☆186Updated 4 months ago
- Various XML utility packages for Haskell☆73Updated last month
- Haskell JSON library☆27Updated 9 months ago
- Shell Integration Library [Haskell]☆54Updated 5 months ago