👀 Move faster with unique f/F indicators.

This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal verification is used to locate bugs and increase assurance …

Garbage collector that stops inactive LSP clients to free RAM

TrailBlazer enables you to seemlessly move through important project marks as quickly and efficiently as possible to make your workflow blazingly fast ™.

A book teaching assembly language programming on the ARM 64 bit ISA. Along the way, good programming practices and insights into code development are offered which apply directly to higher level la…

An introduction to ARM64 assembly on Apple Silicon Macs

Hints lets you navigate GUI applications in Linux without your mouse by displaying "hints" you can type on your keyboard to interact with GUI elements.

Chat with GitHub Copilot in Neovim

Highly accessible themes for Neovim, conforming with the highest standard for color contrast between background and foreground values (WCAG AAA). A Neovim port of the original Modus Themes built fo…

A native neovim extension for Codeium

Lua plugin to turn github copilot into a cmp source

Fully featured & enhanced replacement for copilot.vim complete with API for interacting with Github Copilot

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

🚀 Generate git commit message using ChatGPT and Ollama !!

parrot.nvim 🦜 - the plugin that brings stochastic parrots to Neovim. This is a gp.nvim-fork focused on simplicity.

Gp.nvim (GPT prompt) Neovim AI plugin: ChatGPT sessions & Instructable text/code operations & Speech to text [OpenAI, Ollama, Anthropic, ..]

✨ AI-powered coding, seamlessly in Neovim

ChatGPT Neovim Plugin: Effortless Natural Language Generation with OpenAI's ChatGPT API

Neovim plugin for GitHub Copilot

aider is AI pair programming in your terminal

WARP script is move to: https://gitlab.com/fscarmen/warp

⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.

A binary distribution of the Arm Embedded GCC toolchain

Free, ultrafast Copilot alternative for Vim and Neovim

Use your Neovim like using Cursor AI IDE!

gemini bindings for Neovim

Constantine: modular, high-performance, zero-dependency cryptography stack for verifiable computation, proof systems and blockchain protocols.

Blind RSA signatures for OpenSSL/BoringSSL.

openhitls