Pinned Repositories
fzf-session.vim
Session manager that builds on fzf and Obsession
Gistory.vim
A better git blame
HaskellORM
Incremental
Compile recursive haskell equations to (reasonably) efficient SQL
KinematicsSquad
Into the Breach mod that adds a new squad
NaiveSolver
obsidian-vim-windows
Create shortcuts to easily navigate windows and workspaces in ObsidianMD
Tarmean's Repositories
Tarmean/fzf-session.vim
Session manager that builds on fzf and Obsession
Tarmean/Gistory.vim
A better git blame
Tarmean/Incremental
Compile recursive haskell equations to (reasonably) efficient SQL
Tarmean/CsvHack.vim
Vim plugin to edit csv files with fzf navigation
Tarmean/HaskellDebug
Tarmean/HaskellORM
Tarmean/multi
Vim plugin that adds multi-cursor adjective
Tarmean/term-utils.nvim
Some utilities to manage Neovim terminals
Tarmean/aoc2022
Tarmean/ataman-intellij
Leader key for IntelliJ-based IDE's. Now IdeaVim-friendly!
Tarmean/data-reify
Reification of data structures using observable sharing
Tarmean/DejavuMonad
Tarmean/ghc-dump
A GHC plugin and library for analysing GHC Core
Tarmean/ghc-heap-view
Extract the heap representation of Haskell values and thunks
Tarmean/haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Tarmean/haskell-product-isomorphic
Tarmean/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.
Tarmean/hegg
Fast equality saturation in Haskell
Tarmean/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
Tarmean/int-like
Newtype wrappers over IntSet and IntMap
Tarmean/marked-pretty
Pretty-printing library, with scoping.
Tarmean/monus-weighted-search
Efficient search weighted by an ordered monoid with monus.
Tarmean/Peggy
The Parser Generator for Haskell
Tarmean/rewrite
Automated mass refactoring of source code.
Tarmean/sonarlint-vscode
SonarLint for Visual Studio Code
Tarmean/spring-boot
Spring Boot
Tarmean/syntax-tree-surfer
A plugin for Neovim that helps you surf through your document and move elements around using the nvim-treesitter API.
Tarmean/tarmean.github.io
Tarmean/tree-grammars
Basic implementation of regular tree grammars in Haskell
Tarmean/Vim-Set