Highlights
- Pro
Block or Report
Block or report oberblastmeister
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
lua-analyzer Public
A language server for lua written in rust
-
-
-
-
-
-
zed Public
Forked from zed-industries/zedCode at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
Rust Other UpdatedJun 8, 2024 -
-
-
-
zoom.nvim Public
Neovim plugin that zooms windows using tabs. Inspired by tmux zoom.
-
trashy Public
a cli system trash manager, alternative to rm and trash-cli
-
-
-
-
haskell-language-server Public
Forked from haskell/haskell-language-serverOfficial haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Haskell Apache License 2.0 UpdatedJun 11, 2023 -
-
rnix-parser Public
Forked from nix-community/rnix-parserA Nix parser written in Rust [maintainer=@Ma27]
Nix MIT License UpdatedMay 22, 2023 -
-
pvector Public
Persistent Vectors in Haskell
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMar 29, 2023 -
nvim-oxi Public
Forked from noib3/nvim-oxi🔗 Rust bindings to all things Neovim
Rust MIT License UpdatedMar 29, 2023 -
-
-
text Public
Forked from haskell/textHaskell library for space- and time-efficient operations over Unicode text.
Haskell BSD 2-Clause "Simplified" License UpdatedMar 10, 2023 -
bytestring Public
Forked from haskell/bytestringAn efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.
Haskell Other UpdatedFeb 16, 2023 -
inlyne Public
Forked from Inlyne-Project/inlyneIntroducing Inlyne, a GPU powered yet browsless tool to help you quickly view markdown files in the blink of an eye.
Rust MIT License UpdatedOct 22, 2022 -
tree-sitter Public
Forked from tree-sitter/tree-sitterAn incremental parsing system for programming tools
Rust MIT License UpdatedOct 20, 2022 -
-
component-model Public
Forked from WebAssembly/component-modelRepository for design and specification of the Component Model
Python Other UpdatedOct 7, 2022 -
plfa.github.io Public
Forked from plfa/plfa.github.ioAn introduction to programming language theory in Agda
Agda Creative Commons Attribution 4.0 International UpdatedSep 12, 2022