oberblastmeister

trashy

a cli system trash manager, alternative to rm and trash-cli

lua-analyzer

A language server for lua written in rust

seraph

tree-sitter-simple

zoom.nvim

Neovim plugin that zooms windows using tabs. Inspired by tmux zoom.

metalparsec

dotfiles

hlex

aether

aether2

bluefin

bytestring

An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.

component-model

Repository for design and specification of the Component Model

gruvbox-zed

haskell-language-server

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

inlyne

Introducing Inlyne, a GPU powered yet browsless tool to help you quickly view markdown files in the blink of an eye.

np

nix profile wrapper

nvim-oxi

:link: Rust bindings to all things Neovim

oberblastmeister

My personal repository

oberblastmeister.github.io

plfa.github.io

An introduction to programming language theory in Agda

pvector

Persistent Vectors in Haskell

rnix-parser

A Nix parser written in Rust [maintainer=@Ma27]

static-ls

tag

Extensible dependent tag

tasty-expect

text

Haskell library for space- and time-efficient operations over Unicode text.

tree-sitter

An incremental parsing system for programming tools

zed

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

zfoh.ch

Our homepage