Lists (5)
Starred repositories
8
stars
written in Python
Clear filter
Fast as FUCK nvim completion. SQLite, concurrent scheduler, hundreds of hours of optimization.
The largest Awesome Curated list of command line programs (CLI/TUI) with source data organized into CSV files
File manager for Neovim. Better than NERDTree.
Access your Taskwarrior tasks from any browser anywhere
Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)
TinyCity is a city simulation game inspired by SimCity for MicroPython
This plugin plots the time you spent on a tag as a histogram.