dhall-lang / vscode-dhall-lsp-server

Related projects ⓘ

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

• serokell / haskell-with-utf8
  Get your IO right on the first try
  ☆53Updated this week
• llvm-hs / llvm-hs-quote
  Quasiquoter for LLVM
  ☆31Updated 6 years ago
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆36Updated last year
• tfausak / imp
  Automatically import Haskell modules.
  ☆20Updated 3 weeks ago
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆100Updated last year
• GaloisInc / parameterized-utils
  A set of utilities for using indexed types including containers, equality, and comparison.
  ☆60Updated last month
• kowainik / hintman
  🔫 GitHub application to suggest hints
  ☆27Updated 4 years ago
• tweag / distributed-closure
  Serializable closures for distributed programming.
  ☆65Updated 11 months ago
• byteverse / json-syntax
  High-performance JSON parser
  ☆24Updated 6 months ago
• commercialhaskell / pantry
  ☆39Updated 3 weeks ago
• FormationAI / dhall-bhat
  Tasty meal of Dhall
  ☆66Updated last year
• konn / type-natural
  Type-level well-kinded natural numbers.
  ☆33Updated 5 months ago
• ekmett / heaps
  Asymptotically optimal Brodal/Okasaki heaps
  ☆29Updated 2 weeks ago
• haskell / deepseq
  Deep evaluation of data structures
  ☆41Updated 2 months ago
• obsidiansystems / dependent-sum
  Dependent sums and supporting typeclasses for comparing and displaying them
  ☆54Updated 11 months ago
• mtth / tracing
  Distributed tracing
  ☆24Updated 9 months ago
• georgegarrington / Syphon
  An Elm-like language for declarative, purely functional GUI applications powered by Electron and React
  ☆17Updated 2 years ago
• emilypi / order
  Order theory
  ☆23Updated last year
• isovector / type-sets
  type level sets
  ☆67Updated 4 years ago
• pepeiborra / gc-benchmarks
  Benchmarks using the non-moving incremental GHC garbage collector
  ☆22Updated 5 years ago
• bolt12 / laop
  Linear Algebra of Programming - Algebraic Matrices in Haskell
  ☆83Updated last year
• cdepillabout / world-peace
  open union and open product types in Haskell
  ☆32Updated 4 years ago
• deepflowinc / guardian
  guardian - the border guardian for your Haskell monorepo package dependencies
  ☆36Updated 2 months ago
• re-xyr / avail
  Low-overhead effect management for concrete monads
  ☆37Updated 2 years ago
• tsurucapital / franz
  Append-only list persist & query system
  ☆26Updated 2 years ago
• ekmett / intern
  Hash consing for arbitrary Haskell data types
  ☆25Updated 4 months ago
• goldfirere / th-desugar
  Desugars Template Haskell abstract syntax to a simpler format without changing semantics
  ☆20Updated 2 weeks ago
• liamoc / wizards
  High level, generic library for interrogative user interfaces in Haskell
  ☆41Updated 3 years ago
• maoe / lifted-async
  Run lifted IO operations asynchronously and wait for their results
  ☆29Updated last week
• tweag / kernmantle
  Braiding extensible effects together in a pipeline/workflow of tasks
  ☆56Updated last year