Highlights
Stars
β‘ preexec and precmd functions for Bash just like Zsh.
A post-apocalyptic actionRPG. Now on Steam!
General-purpose editor/IDE with high expansibility in Common Lisp
β² A highly customizable interval timer app for Android
A correct and safe(er) JSON RFC 8259 reader/writer with sane defaults.
VMware Tanzu Community Edition is no longer an actively maintained project. Code is available for historical purposes only.
Continuous profiling for analysis of CPU and memory usage, down to the line number and throughout time. Saving infrastructure cost, improving performance, and increasing reliability.
TypeScript & JavaScript Language Server
Like cURL, but for gRPC: Command-line tool for interacting with gRPC servers
An advanced C++ 3D game engine powering an in-production game yet to be announced
CLI - Convert between YAML, TOML, JSON, and HCL. Preserves map order.
libfaketime modifies the system time for a single application
Platform for emulation and dynamic analysis of Linux-based firmware
A Coq IDE build on top of Proof General's Coq mode
Migrate to PostgreSQL in a single command!
async language server protocol plugin for vim and neovim
A powerful grammar checker for Vim using LanguageTool.
Style and Grammar Checker for 25+ Languages
Pillman boot sector game, a yellow thing eats pills and is chased by monsters.
OpenCensus service allows OpenCensus libraries to export to an exporter service rather than having to link vendor-specific exports.
Ghidra is a software reverse engineering (SRE) framework
Count the number of people around you π¨βπ¨βπ¦ by monitoring wifi signals π‘