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

• chessai / semirings
  semirings and *-semirings of types in base/haskell-platform
  ☆41Updated 8 months ago
• vmchale / github-actions-dhall
  Dhall helpers for github actions
  ☆55Updated last year
• GaloisInc / parameterized-utils
  A set of utilities for using indexed types including containers, equality, and comparison.
  ☆59Updated last month
• obsidiansystems / dependent-sum
  Dependent sums and supporting typeclasses for comparing and displaying them
  ☆55Updated last year
• tweag / kernmantle
  Braiding extensible effects together in a pipeline/workflow of tasks
  ☆57Updated last year
• commercialhaskell / pantry
  ☆38Updated last month
• serokell / haskell-with-utf8
  Get your IO right on the first try
  ☆52Updated this week
• pepeiborra / gc-benchmarks
  Benchmarks using the non-moving incremental GHC garbage collector
  ☆22Updated 5 years ago
• haskell / deepseq
  Deep evaluation of data structures
  ☆41Updated 4 months ago
• konn / ghc-wasm-earthly
  GHC WASM backend made easy to use for platforms without precompiled bindists powered by Earthly
  ☆13Updated 2 weeks ago
• alonsodomin / haskell-schema
  A library for describing Haskell data types and obtain free generators, JSON codecs, pretty printers, etc.
  ☆20Updated 2 years ago
• SuperpowersCorp / refactorio
  Refactorio is a tool with which you build and maintain software.
  ☆19Updated 7 months ago
• edwinb / IdrisApp
  An extensible IO-like monad-like thing for Idris, with support for including linear subprograms
  ☆22Updated 4 years ago
• tfausak / purple-yolk
  A Haskell IDE for Visual Studio Code.
  ☆26Updated 3 months ago
• mtth / tracing
  Distributed tracing
  ☆24Updated 11 months ago
• google / hrepl
  Interactive development for Bazel/Haskell rules
  ☆49Updated 3 years ago
• emilypi / order
  Order theory
  ☆23Updated last year
• snowleopard / stroll
  Stroll: an experimental build system
  ☆40Updated last year
• obsidiansystems / dependent-map
  Dependently-typed finite maps (partial dependent products)
  ☆65Updated 8 months ago
• ekmett / profunctors
  Haskell 98 Profunctors
  ☆70Updated 7 months ago
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆101Updated 2 years ago
• shin-sakata / Citrous
  Easy, Fast and Type-Safe Web Application Framework
  ☆32Updated 4 years ago
• llvm-hs / llvm-hs-quote
  Quasiquoter for LLVM
  ☆31Updated 6 years ago
• tweag / distributed-closure
  Serializable closures for distributed programming.
  ☆64Updated last year
• dreixel / generic-deriving
  ☆44Updated last month
• llvm-hs / llvm-hs-typed
  Type Safe LLVM IR ( Experimental )
  ☆49Updated 6 years ago
• LightAndLight / cbpv
  A usable type system for call by push-value
  ☆30Updated 5 years ago
• text-utf8 / text-utf8
  An efficient packed, immutable UTF8-backed Unicode text type for Haskell
  ☆33Updated 6 years ago
• agentultra / postgresql-replicant
  A streaming PostgreSQL logical replication client library for Haskell
  ☆39Updated last year
• Gabriella439 / dhall-dot
  Dhall support for the DOT language for graphviz
  ☆37Updated 2 years ago