Sebastian Witte's repositories
nvim-hs-ghcid
Ghcid integration plugin for nvim-hs
nvim-hs-config-example
Example config reflecting the state of nvim-hs.
repo-based-blog
Library for embedding a blog whose content is stored in a repository.
saeparized-vim
Vim color theme for my saeparized color theme.
adventofcode2019
Solutions for advent of Code 2019 in Haskell
cornelis
a decent agda mode for neovim
doom-emacs
An Emacs framework for the stubborn martian hacker
fourmolu
A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!
haskell-tools.nvim
Supercharge your Haskell experience in neovim!
home-manager
Manage a user environment using Nix [maintainer=@rycee]
junit-quickcheck
Property-based testing, JUnit-style
lazygit
simple terminal UI for git commands
messagepack
Serialize instance for Message Pack Object msgpack.org[Haskell]
msgpack-haskell
Haskell implementation of MessagePack / msgpack.org[Haskell]
neogit
magit for neovim
neotest-haskell
Neotest adapter for Haskell (cabal-v2 or stack) with Hspec
norg-specs
A collection of specifications and grammars for Neorg's file format, `norg`.
nvim-hs-ghc-mod
ghc-mod integration for neovim using the nvim-hs library
oh-my-zsh
A delightful community-driven (with 1,200+ contributors) framework for managing your zsh configuration. Includes 200+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, php, python, etc), over 140 themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.
qmk_firmware
keyboard controller firmware for Atmel AVR and ARM USB families
reedline
A feature-rich line editor - powering Nushell
saeptains-log
Blog entries for my blog that currently is in its development phase.
wezterm
A GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust
xmonad-contrib
Contributed modules for xmonad