Skip to content
View Isrothy's full-sized avatar
:octocat:
Working
:octocat:
Working
  • Chicago
  • 16:59 (UTC -05:00)

Block or report Isrothy

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

a refined oil.nvim

Lua 108 1 Updated Jun 11, 2026
C++ 996 127 Updated Dec 14, 2021

RISC-V Supervisor Binary Interface (RISC-V SBI) library in Rust; runs on M or HS mode; good support for embedded Rust ecosystem. For binary download see prototyper folder.

Rust 1,290 142 Updated May 18, 2026

A Simple showcase for the Sea-of-Nodes compiler IR

Java 893 54 Updated Jun 9, 2026

A modern lua JIT in rust

Rust 5 Updated Feb 27, 2026

WezTerm Lua config types for LuaLS, with Neovim and VSCode support. Also supperts various WezTerm plugins.

Lua 209 29 Updated Jun 9, 2026

Discover hundreds of Neovim tips, tricks, and shortcuts — and even add your own! You’ll also get a beautifully formatted PDF book with every tip inside.

Lua 460 12 Updated Apr 19, 2026

The full Markdown editing experience in neovim

Lua 267 7 Updated Jun 9, 2026

A terminal workspace with batteries included

Rust 33,569 1,260 Updated Jun 10, 2026

abduco provides session management i.e. it allows programs to be run independently from its controlling terminal. That is programs can be detached - run in the background - and then later reattache…

C 948 69 Updated Jan 18, 2023

A Snacks-powered picker for browsing, previewing, and inserting BibTeX references in Neovim.

Lua 16 Updated Jan 26, 2026

Search file paths easily in a buffer

Lua 14 2 Updated Dec 7, 2025

Dynamic Analysis for Concurrent Programs

Java 32 12 Updated Apr 27, 2026

Make coding delightful

Rust 700 12 Updated Jun 12, 2026

A Neovim plugin that provides a simple way to run and visualize code actions with Telescope.

Lua 488 24 Updated Apr 25, 2026

Open remote git repositories in the comfort of Neovim.

Lua 112 6 Updated Apr 13, 2026

A database for Chinese OI participants.

TypeScript 861 23 Updated Jun 12, 2026

An Emacs-style scratch buffer for executing Lua inside Neovim

Lua 62 Updated Oct 21, 2025

Prompt Driven Development (PDD): The Last Programming Language™. Prompt files are source; code is generated output.

Python 750 64 Updated Jun 12, 2026

Display assembly for the current buffer or visual selection from godbolt.org. Use https://sr.ht/~chinmay/godbolt.nvim instead

Fennel 241 15 Updated Dec 23, 2025

A neovim file manager which can edit file system like a buffer with tree view

Lua 723 45 Updated Jun 12, 2026

Python Tools for Neovim

Lua 89 2 Updated Dec 24, 2025

Modular nvim codelens support with inline references, git blame and more

Lua 281 3 Updated Apr 23, 2026

A neovim plugin for running LSP remotely via SSH, Neovim Remote Development

Python 11 Updated Aug 13, 2025

Make your job hunt easy by automating your application process with this Auto Applier

Python 2,392 682 Updated Apr 13, 2026

A controlled concurrency testing framework for the JVM

Kotlin 475 16 Updated Jun 12, 2026

Runtime verification system for Java, using AspectJ for instrumentation.

Java 54 38 Updated Jan 6, 2023

Runtime verification system for Java, using AspectJ for instrumentation.

Java 11 12 Updated Jun 9, 2026

A native macOS Ollama client app for local Ollama models.

Swift 88 7 Updated Nov 22, 2025
Next