Alternatives and similar repositories for vscode-dhall-lsp-server

Users that are interested in vscode-dhall-lsp-server are comparing it to the libraries listed below

• edwinb / IdrisApp
  An extensible IO-like monad-like thing for Idris, with support for including linear subprograms
  ☆22Updated 5 years ago
• GaloisInc / parameterized-utils
  A set of utilities for using indexed types including containers, equality, and comparison.
  ☆60Updated 2 weeks ago
• icicle-lang / icicle
  Icicle Streaming Query Language
  ☆28Updated 2 weeks ago
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆37Updated 2 years ago
• mrkkrp / parser-combinators
  Lightweight package providing commonly useful parser combinators
  ☆54Updated 3 weeks ago
• arowM / heterocephalus
  A type safe template engine for collaborating with front end development tools
  ☆54Updated 2 years ago
• brandonchinn178 / github-rest
  A flexible Haskell API for querying the GitHub REST API
  ☆14Updated last year
• cdepillabout / world-peace
  open union and open product types in Haskell
  ☆32Updated 5 years ago
• lukel97 / lsp-test
  A functional test framework for LSP servers
  ☆35Updated 4 years ago
• msakai / data-interval
  Interval datatype, interval arithmetic, and interval-based containers for Haskell
  ☆21Updated 2 months ago
• tweag / kernmantle
  Braiding extensible effects together in a pipeline/workflow of tasks
  ☆61Updated 2 years ago
• tweag / distributed-closure
  Serializable closures for distributed programming.
  ☆65Updated last year
• konn / type-natural
  Type-level well-kinded natural numbers.
  ☆36Updated 10 months ago
• ekmett / kan-extensions
  Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
  ☆83Updated last month
• alonsodomin / haskell-schema
  A library for describing Haskell data types and obtain free generators, JSON codecs, pretty printers, etc.
  ☆21Updated 3 years ago
• commercialhaskell / pantry
  ☆40Updated 2 months ago
• snowleopard / stroll
  Stroll: an experimental build system
  ☆41Updated 2 years ago
• emilypi / order
  Order theory
  ☆25Updated 2 years ago
• fumieval / witherable
  Filter with effects
  ☆74Updated 10 months ago
• xnning / EvEff
  Efficient Haskell effect handlers based on evidence translation.
  ☆85Updated 4 years ago
• goldfirere / th-desugar
  Desugars Template Haskell abstract syntax to a simpler format without changing semantics
  ☆20Updated last month
• chessai / semirings
  semirings and *-semirings of types in base/haskell-platform
  ☆44Updated last year
• Lysxia / generic-data-surgery
  Surgery for generic data types
  ☆25Updated 4 years ago
• brandonchinn178 / toml-reader
  Haskell library for parsing v1.0 TOML files
  ☆16Updated 7 months ago
• rampion / conkin
  Tools for functors from Hask^k to Hask
  ☆23Updated 6 years ago
• tsurucapital / franz
  Append-only list persist & query system
  ☆27Updated 3 years ago
• ekmett / linear-logic
  They see me rollin'. They're Heyting. -- Chamillionaire, 2005
  ☆83Updated 4 years ago
• mstksg / servant-cli
  Generate a command line client from a servant API
  ☆28Updated last year
• Bodigrim / chimera
  Lazy infinite compact streams with cache-friendly O(1) indexing and applications for memoization
  ☆60Updated last month
• DoctorRainer / sae
  An Idris 2 build tool and a package manager
  ☆28Updated 2 years ago