carlohamalainen / docker-ghcide-neovimLinks
Install ghcide, neovim, and CoC in a minimal Debian 10 Docker container.
☆11Updated 5 years ago
Alternatives and similar repositories for docker-ghcide-neovim
Users that are interested in docker-ghcide-neovim are comparing it to the libraries listed below
Sorting:
- 🔖 Better Haskell documentation.☆17Updated 5 years ago
- Lazy infinite compact streams with cache-friendly O(1) indexing and applications for memoization☆60Updated 2 weeks ago
- Merged into ian repo: https://github.com/seagreen/ian#llvm-in-haskell☆17Updated 6 years ago
- A thread-safe hash table in Haskell☆15Updated 5 years ago
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆69Updated 4 months ago
- 💧 Liquid Haskell integration for Cabal and Stack☆25Updated 6 years ago
- A functional test framework for LSP servers☆35Updated 4 years ago
- deprecated by `design-tools`☆17Updated 7 years ago
- semirings and *-semirings of types in base/haskell-platform☆44Updated last year
- Automatic type class law checking.☆24Updated 3 weeks ago
- Haskell library containing common graph search algorithms☆55Updated 6 months ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Updated 7 years ago
- Closure calculus implementation☆12Updated 6 years ago
- Lightweight package providing commonly useful parser combinators☆54Updated this week
- Snippets for competitive programming in Haskell☆21Updated 8 years ago
- Interpret Haskell programs into any cartesian closed category.☆68Updated last month
- An effect system based on type classes, written in Haskell.☆45Updated 4 years ago
- types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...☆19Updated 8 years ago
- Browsing man pages and help pages with zero friction.☆35Updated 7 years ago
- A truly tiny monadic parsing library☆28Updated 4 years ago
- Haskell parser and printer for the TOML 1.0.0 file format☆29Updated this week
- a modern library for typed path manipulation in Haskell☆36Updated 5 months ago
- Pure haskell encoding of MLIR for printing, parsing, and mutating MLIR within haskell☆17Updated 5 years ago
- Learning about Haskell with Variational Autoencoders☆19Updated 6 years ago
- Web front UI for interactive Haskell projects☆34Updated 5 years ago
- A Haskell library to pretty print data in a tabular format☆11Updated 7 years ago
- A usable type system for call by push-value☆33Updated 6 years ago
- Interval datatype, interval arithmetic, and interval-based containers for Haskell☆21Updated 4 months ago
- Benchmarking tool with focus on comparing results.☆16Updated last year
- GHC development flow☆24Updated 8 years ago