Marc Jakobi's repositories
rustaceanvim
🦀 Supercharge your Rust experience in Neovim! A heavily modified fork of rust-tools.nvim
haskell-tools.nvim
🦥 Supercharge your Haskell experience in neovim!
telescope-manix
A telescope.nvim extension for Manix - A fast documentation searcher for Nix
neotest-haskell
Neotest adapter for Haskell (cabal or stack) with support for Sydtest, Hspec and Tasty
lua-typecheck-action
A GitHub action that lets you leverage sumneko lua-language-server and EmmyLua to statically type check lua code.
haskell-snippets.nvim
My collection of Haskell snippets for LuaSnip. Powered by tree-sitter and LSP.
Polysun-4diac-ControllerPlugin
Open source Polysun plugin with a set of plugin controllers that can be used for communication in co-simulations with IEC 61499 applications running on 4diac-RTE (FORTE).
blink.cmp
[FORK] Performant, batteries-included completion plugin for Neovim
git-hooks.nix
-[FORK] Seamless integration of https://pre-commit.com git hooks with Nix.
haskell-nix-flake-github-ci-template
An opinionated template for using nix flakes with GitHub Actions in a Haskell project
hoogle.ners.ch
The source for https://hoogle.ners.ch
infra
nix-community infrastructure [maintainer=@zowoq]
inline-rust
🦀🦥 Write inline Rust snippets in Haskell.
lualine.nvim
A blazing fast and easy to configure neovim statusline plugin written in pure lua.
mrcjkb.github.io
Pages repository
neovim-fork
Vim-fork focused on extensibility and usability
nur-packages
My personal NUR packages.
Polysun-IO-Plugin
Fast Polysun CSV Writer plugin controller. Writes the sensor outputs to a CSV file.
rhine-koans
Koans to learn rhine
rhine-linux
🐧 Linux frontends for Haskell Rhine
rhine-servant
Proof-of-concept Servant integration with Rhine
toml-edit.lua
[FORK] Edit toml files while preserving whitespace and formatting from Lua.
vodozemac-haskell
🦎 Haskell bindings for vodozemac
xmonad
The core of xmonad, a small but functional ICCCM-compliant tiling window manager