dhall-lang / vscode-dhall-lsp-serverLinks
VSCode pluging that provides LSP support for the Dhall programming language
☆17Updated 2 years ago
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
Sorting:
- ☆41Updated 2 months ago
- Lazy infinite compact streams with cache-friendly O(1) indexing and applications for memoization☆60Updated 2 months ago
- Stroll: an experimental build system☆41Updated 2 years ago
- A set of utilities for using indexed types including containers, equality, and comparison.☆60Updated last week
- Icicle Streaming Query Language☆28Updated last month
- Braiding extensible effects together in a pipeline/workflow of tasks☆61Updated 2 years ago
- Map lazy functional language constructs to LLVM IR☆51Updated 6 years ago
- Order theory☆25Updated 2 years ago
- A library for describing Haskell data types and obtain free generators, JSON codecs, pretty printers, etc.☆21Updated 3 years ago
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆83Updated 4 years ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆84Updated 7 months ago
- An Idris 2 build tool and a package manager☆28Updated 2 years ago
- Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor☆83Updated 2 months ago
- Haskell library for parsing v1.0 TOML files☆16Updated 7 months ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- Monomorphize polymorphic functions for testing☆36Updated 8 years ago
- Interval datatype, interval arithmetic, and interval-based containers for Haskell☆21Updated 3 months ago
- Haskell library for simple, concise and fast generic operations.☆82Updated 2 years ago
- high-powered optics in a small package☆53Updated 2 months ago
- Bidirectional programming in Haskell with monadic profunctors☆48Updated 3 years ago
- Haskell ODBC binding with SQL Server support☆45Updated last year
- Lightweight package providing commonly useful parser combinators☆54Updated 2 weeks ago
- Efficient Haskell effect handlers based on evidence translation.☆85Updated 4 years ago
- A Haskell library for open records and variants using closed type families and type literals☆112Updated 3 years ago
- Source code for haskle.net☆30Updated 2 years ago
- First Class Record Fields in Haskell☆17Updated 6 months ago
- semirings and *-semirings of types in base/haskell-platform☆44Updated last year
- Desugars Template Haskell abstract syntax to a simpler format without changing semantics☆20Updated 2 months ago
- fleet-footed ByteString builder☆52Updated last year
- Haskell embedding of PlusCal☆62Updated 3 years ago