This Isabelle session provides a smart tactic that wraps Sledgehammer

LTeX Language Server: LSP language server for LanguageTool 🔍✔️ with support for LaTeX 🎓, Markdown 📝, and others

Plugin for creating reactive UI in neovim

A cross-platform protocol library to communicate with iOS devices

Unlock the fullest potential of your device

NvChad's base46 theme plugin with caching ( Total re-write )

muvm - run programs from your system in a microVM

A Neovim plugin to copy text through SSH with OSC52

Windows inside a Docker container.

Library of 40+ independent Lua modules improving overall Neovim (version 0.8 and higher) experience with minimal effort

Get your documents ready for gen AI

PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement

Metaprogramming, verified meta-theory and implementation of Coq in Coq

A stream-based runtime-verification framework for generating hard real-time C code.

C2 is a webgpu renderer focused on realism and ease of experimentation

Free and open-source database diagrams editor, visualize and design your DB with a single query.

A beautiful CLI dashboard for GitHub 🚀

👌 Support for --remote and friends.

VHDL 2008/93/87 simulator

Manage your dotfiles across multiple diverse machines, securely.

This Docker image allows you to mount VeraCrypt encrypted volumes in Docker containers. It supports mounting both single and multiple subdirectories within the encrypted volume. This image can be u…

A modern alternative to ls

Embed Neovim in Chrome, Firefox & others.

A cargo-subcommand to speed up Rust Docker builds using Docker layer caching.

Bare metal to production ready in mins; your own fly server on your VPS.

Effortlessly embed images into any markup language, like LaTeX, Markdown or Typst

🖼️ Bringing images to Neovim.

Plugin to improve viewing Markdown files in Neovim