Tarmean's repositories
fzf-session.vim
Session manager that builds on fzf and Obsession
Gistory.vim
A better git blame
Incremental
Compile recursive haskell equations to (reasonably) efficient SQL
CsvHack.vim
Vim plugin to edit csv files with fzf navigation
term-utils.nvim
Some utilities to manage Neovim terminals
ataman-intellij
Leader key for IntelliJ-based IDE's. Now IdeaVim-friendly!
data-reify
Reification of data structures using observable sharing
ghc-dump
A GHC plugin and library for analysing GHC Core
ghc-heap-view
Extract the heap representation of Haskell values and thunks
haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
haskell-relational-record
This repository includes a joined query generator based on typefull relational algebra, and mapping tools between SQL values list and Haskell record type.
hegg
Fast equality saturation in Haskell
ihp
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
int-like
Newtype wrappers over IntSet and IntMap
marked-pretty
Pretty-printing library, with scoping.
monus-weighted-search
Efficient search weighted by an ordered monoid with monus.
Peggy
The Parser Generator for Haskell
rewrite
Automated mass refactoring of source code.
sonarlint-vscode
SonarLint for Visual Studio Code
spring-boot
Spring Boot
syntax-tree-surfer
A plugin for Neovim that helps you surf through your document and move elements around using the nvim-treesitter API.
tree-grammars
Basic implementation of regular tree grammars in Haskell