EduardSergeev / vscode-haskutil
QuickFix actions for Haskell in VSCode
☆13Updated 4 months ago
Related projects ⓘ
Alternatives and complementary repositories for vscode-haskutil
- Kotlin-backend for PureScript☆81Updated 3 years ago
- build tool and package manager for idris,in idris,with free monads☆34Updated 5 years ago
- A Haskell monad transformer library for data validation☆36Updated last year
- Minimizing Haskell programs for easier debugging of GHC compiler crashes☆22Updated 3 years ago
- Functions and bitwise operators for the Int numeric type☆18Updated last year
- Purely functional map and set data structures☆36Updated 8 months ago
- Registry of PureScript packages and metadata about them☆46Updated last week
- A class of monads which can log messages☆37Updated last year
- Deep evaluation of data structures☆41Updated 2 months ago
- Arbitrary length integers for PureScript☆26Updated last year
- ☆26Updated this week
- Dependently-typed finite maps (partial dependent products)☆63Updated 5 months ago
- Dependent sums and supporting typeclasses for comparing and displaying them☆54Updated last year
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆26Updated 4 years ago
- Portal to Haskell Debugging System☆59Updated 5 years ago
- Haskell 98 comonads☆77Updated 3 weeks ago
- ⚖️ Trial Data Type☆20Updated 6 months ago
- Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).☆64Updated 2 weeks ago
- Visual Studio Code integration for the Idris 2 language server☆29Updated 2 weeks ago
- Get your IO right on the first try☆53Updated this week
- A PureScript's CoreImp AST for transpiling into dynamically typed languages☆15Updated 4 years ago
- Haskell JSON library☆27Updated 2 weeks ago
- Yet another alternative Haskell Prelude, but this one is awesome!☆51Updated 13 years ago
- Effect type and functions for accessing the current machine's date and time.☆19Updated 2 years ago
- Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master☆24Updated 4 years ago
- Safe conversions between Haskell textual types☆39Updated 2 years ago
- JSON Web Token (JWT) decoding and encoding☆19Updated 2 months ago
- Functions for working with homogeneous JavaScript objects☆28Updated 2 years ago
- Haskell implementation of DAP interface data.☆24Updated last year
- Functions for working with PureScripts 'Number' type☆13Updated last year