Highlights
- Pro
Lists (1)
Sort Name ascending (A-Z)
Stars
Neovim Lua port of gruber-darker-theme
Neovim plugin for leaving review comments on code and exporting them as a prompt for your coding agent.
Creusot helps you prove your Rust code is correct.
Python tool for converting files and office documents to Markdown.
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
A simple tool to analyzing and visualizing code complexity metrics in go.
⭐️ A friendly language for building type-safe, scalable systems!
📂 A zero dependency cross platform Gleam package for reading environment variables
A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
An extremely fast Python type checker and language server, written in Rust.
byebye is a command line interface to logout, lock, suspend, hibernate, shutdown, reboot, from the command line on every Linux system (with xdg-screensaver on X11 or swaylock on wayland).
automatic message sending to twitter with the twitter API
A 5-20x faster experimental Homebrew alternative
KeePassXC is a cross-platform community-driven port of the Windows application “KeePass Password Safe”.
A mcp server for fetching the Effect-ts documentation
A language server for Zig supporting developers with features like autocomplete and goto definition
Only devoted fans are going out of the way to star this, so thank you