dhall-lang / vscode-dhall-lsp-server
VSCode pluging that provides LSP support for the Dhall programming language
☆17Updated last year
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
- A set of utilities for using indexed types including containers, equality, and comparison.☆60Updated last week
- ☆40Updated last month
- A Haskell monad transformer library for data validation☆36Updated last year
- Dhall support for the DOT language for graphviz☆37Updated 2 years ago
- Append-only list persist & query system☆27Updated 3 years ago
- Benchmarks using the non-moving incremental GHC garbage collector☆22Updated 5 years ago
- Braiding extensible effects together in a pipeline/workflow of tasks☆57Updated last year
- Collection of Idris snippets☆21Updated last year
- I/O utilities and datasets for algebraic-graphs☆14Updated 2 years ago
- semirings and *-semirings of types in base/haskell-platform☆41Updated 10 months ago
- Get your IO right on the first try☆53Updated this week
- Haskell Package Version Policy (PVP)☆38Updated 7 months ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Order theory☆24Updated last year
- Minimizing Haskell programs for easier debugging of GHC compiler crashes☆22Updated 3 years ago
- Tasty meal of Dhall☆66Updated last year
- A streaming PostgreSQL logical replication client library for Haskell☆39Updated last year
- Text generation language☆33Updated last month
- First Class Record Fields in Haskell☆17Updated 2 weeks ago
- Interactive development for Bazel/Haskell rules☆49Updated 3 years ago
- open union and open product types in Haskell☆32Updated 4 years ago
- Data structures for describing changes to other data structures.☆17Updated 2 months ago
- Haskell bindings to ArrayFire☆60Updated 3 months ago
- Deep evaluation of data structures☆41Updated 6 months ago
- Hash consing for arbitrary Haskell data types☆25Updated 3 months ago
- A Haskell to Coq compiler that represents effectful programs with the free monad☆44Updated 2 years ago
- Define communication protocols between applications using algebraic data types.☆45Updated last year
- Dhall helpers for github actions☆54Updated last year
- Low-overhead effect management for concrete monads☆37Updated 3 years ago
- 🎭 Actor library for Haskell☆30Updated 2 years ago