carlohamalainen / docker-ghcide-neovim
Install ghcide, neovim, and CoC in a minimal Debian 10 Docker container.
☆11Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for docker-ghcide-neovim
- 🔖 Better Haskell documentation.☆17Updated 4 years ago
- concurrent mutable ring buffers with atomic updates in GHC Haskell☆11Updated 3 years ago
- ⚖️ Trial Data Type☆20Updated 6 months ago
- A thread-safe hash table in Haskell☆14Updated 4 years ago
- Lazy infinite compact streams with cache-friendly O(1) indexing and applications for memoization☆59Updated 4 months ago
- Type safe JSON PostgreSQL queries using bidirectional serializers☆21Updated 3 years ago
- ☆15Updated 2 years ago
- Convert stack projects to cabal.project + cabal.project.freeze☆23Updated 7 months ago
- Benchmarking tool with focus on comparing results.☆16Updated 2 months ago
- Clean up the formatting of 'show' output☆22Updated 2 months ago
- types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...☆18Updated 7 years ago
- phantom types☆37Updated last month
- Simple comparative benchmarks for CSV parsing libraries☆17Updated 5 years ago
- abstraction for auto scrubbing and const time Eq, memory chunk☆17Updated 4 years ago
- Omit fields for instance deriving☆37Updated 4 years ago
- 💧 Liquid Haskell integration for Cabal and Stack☆24Updated 5 years ago
- ☆26Updated 3 weeks ago
- Cursor data and manipulation☆21Updated 11 months ago
- Haskell library for glob matching☆25Updated 2 years ago
- A Neovim plugin host and framework for Haskell☆19Updated last month
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆66Updated 3 weeks ago
- Typeclass for array types☆19Updated 6 months ago
- ✂️ Hakyll shortcut-links in markdown files☆11Updated 2 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Updated 6 years ago
- Applicative maps☆15Updated last month
- semirings and *-semirings of types in base/haskell-platform☆40Updated 5 months ago
- open union and open product types in Haskell☆32Updated 4 years ago
- GHC plugin for hlint☆11Updated last year
- Refactorio is a tool with which you build and maintain software.☆19Updated 5 months ago