A simple Neovim statusline
- neovim-plugin
- statusline
- neovim-lua
47,133 repositories indexed
6,553–6,576 of 11,502 · Most stars
A simple Neovim statusline
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
TranslatedLet your AI deliver more value | ChatGPT project context integration, multi-model collaboration and cross-review across Codex / Claude Code and APIs, with unified account quota and session management
Dumb automatic fast indentation detection for Neovim written in Lua
A Neovim plugin to easily run and debug Jest tests
Run WASM tests inside your browser
A `neovim` theme that highly restores `vscode`, so that your friends will no longer be surprised that you use `neovim`, because they will think you are using `vscode` ..
JWT implementation in Crystal
A clean solution to extend your Omarchy theme to other apps.
Personal experimental project to implement clustered shading with WebGPU.
Easily stream your Vimeo videos into Unity or record and publish out to Vimeo.
EVTXtract recovers and reconstructs fragments of EVTX log files from raw binary data, including unallocated space and memory images.
A reimplementation of Qt's moc using libclang. Contains both a drop-in remplacement, and a plugin for the clang compiler.
a graphql implementation for crystal
Unofficial Android port of the SpektraLab film & paper simulation engine (Vulkan): RAW in, physically modelled film out, on the phone.
Natural Language Processing (NLP) library for Crystal
MicroBus is a simple in process Mediator for .NET
Swift - Custom UISwitcher with animation when change status
The Simplest Way to shuffle through images in a Creative Way
Simple no frills AWS S3 Golang Library using REST with V4 Signing (without AWS Go SDK)
The multi-framework JavaScript library for responsive images.
Emacs dired like file manager for neovim
A formalization of geometry in Coq based on Tarski's axiom system
Inspired by A Dark Room, A Dark Forest is an incremental experimental minimalistic idle game project.