Alternatives and similar repositories for vscode-haskutil:

Users that are interested in vscode-haskutil are comparing it to the libraries listed below

• haskell / deepseq
  Deep evaluation of data structures
  ☆41Updated 5 months ago
• ice1000 / agda-mode
  Accessing Agda's interaction mode via command line & external tactic for Agda.
  ☆26Updated 4 years ago
• GaloisInc / json
  Haskell JSON library
  ☆27Updated 3 months ago
• snoyberg / xml
  Various XML utility packages for Haskell
  ☆72Updated 3 weeks ago
• bamboo / idris2-lsp-vscode
  Visual Studio Code integration for the Idris 2 language server
  ☆30Updated 3 months ago
• pepeiborra / gc-benchmarks
  Benchmarks using the non-moving incremental GHC garbage collector
  ☆22Updated 5 years ago
• obsidiansystems / dependent-map
  Dependently-typed finite maps (partial dependent products)
  ☆65Updated last week
• serokell / haskell-with-utf8
  Get your IO right on the first try
  ☆53Updated this week
• obsidiansystems / rhyolite
  ☆28Updated 3 weeks ago
• obsidiansystems / dependent-sum
  Dependent sums and supporting typeclasses for comparing and displaying them
  ☆55Updated last year
• rudymatela / express
  Dynamically-typed Haskell expressions involving applications and variables.
  ☆22Updated 2 weeks ago
• csicar / pskt
  Kotlin-backend for PureScript
  ☆81Updated 3 years ago
• codedownio / aeson-typescript
  Generate TypeScript definition files from your ADTs
  ☆60Updated last week
• well-typed / ixset-typed
  More strongly typed variant of the ixset Haskell package
  ☆24Updated 6 months ago
• cdepillabout / world-peace
  open union and open product types in Haskell
  ☆32Updated 4 years ago
• dnlkrgr / hsreduce
  Minimizing Haskell programs for easier debugging of GHC compiler crashes
  ☆22Updated 3 years ago
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆36Updated last year
• RemuLang / remu-type-system
  type-system, revised unification algorithm and runtime time representations
  ☆14Updated 5 years ago
• elpinal / modules-rs
  An interpreter of F-ing modules
  ☆18Updated 5 years ago
• owo-lang / Mini-TT
  Documented version of a simple type-theoretic language: Mini-TT
  ☆18Updated 5 years ago
• yav / monadlib
  A monad transformer library for Haskell
  ☆29Updated 5 months ago
• Trebor-Huang / agda-linear
  An implementation of a Zeilberger-style linear type theory.
  ☆10Updated 3 years ago
• QuentinDuval / IdrisReducers
  Transducers for Idris: a library for composable algorithmic transformation.
  ☆32Updated 7 years ago
• puffnfresh / haskell-jwt
  JSON Web Token (JWT) decoding and encoding
  ☆20Updated 5 months ago
• purescript / purescript-ordered-collections
  Purely functional map and set data structures
  ☆36Updated 11 months ago
• purescript / purescript-lists
  Linked Lists
  ☆57Updated last year
• tweag / haskell-binaryen
  Haskell bindings to binaryen.
  ☆13Updated 3 years ago
• tomlokhorst / AwesomePrelude
  Yet another alternative Haskell Prelude, but this one is awesome!
  ☆51Updated 13 years ago
• idris-industry / ikan
  build tool and package manager for idris,in idris,with free monads
  ☆33Updated 6 years ago
• ekmett / comonad
  Haskell 98 comonads
  ☆77Updated 2 months ago