Lists (5)
Stars
very simple vim plugin for easy resizing of your vim windows
A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!
🍽️ 🔐 Benchmarking Model Checkers for Dynamic and Temporal Epistemic Logics using the Dining Cryptographers example.
syntax-highlighting for the acme 6502-family assembler
Auto-Focusing and Auto-Resizing Splits/Windows for Neovim written in Lua. A full suite of window management enhancements. Vim splits on steroids!
Hyprland is an independent, highly customizable, dynamic tiling Wayland compositor that doesn't sacrifice on its looks.
Framework for the Learning Machines Course at VU Amsterdam
I tried quite a lot `Project Management` plugins. In the end, I found all I need is just an easier way to `cd` to another project directory.
Code for Paper: “Low-Resource” Text Classification: A Parameter-Free Classification Method with Compressors
Rust crate package to link to a system libz (zlib)
surround.vim: Delete/change/add parentheses/quotes/XML-tags/much more with ease
Python programming library for the Robobo educational robot.
Repository for Robobo robot simulation in CoppeliSim environment.
Repository for the ROS package that contains the messages and services of the Robobo educational robot.
🦥 Supercharge your Haskell experience in neovim!
Neovim file explorer: edit your filesystem like a buffer
Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
My collection of Haskell snippets for LuaSnip. Powered by tree-sitter and LSP.
A telescope.nvim extension that offers intelligent prioritization when selecting files from your editing history.