oberblastmeister's repositories
lua-analyzer
A language server for lua written in rust
MIT000
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
Language:PythonMIT000
haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
oberblastmeister
My personal repository
plfa.github.io
An introduction to programming language theory in Agda
rnix-parser
A Nix parser written in Rust [maintainer=@Ma27]
Language:HaskellNOASSERTION000
Language:HaskellMIT000
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.
NOASSERTION000