Keshav Kini's repositories
acl2
ACL2 System and Books as Maintained by the Community
Clementine
:tangerine: Clementine Music Player
config
configuration library for JVM languages using HOCON files
confluent-kafka-python
Confluent's Kafka Python Client
curl
A command line tool and library for transferring data with URL syntax, supporting DICT, FILE, FTP, FTPS, GOPHER, GOPHERS, HTTP, HTTPS, IMAP, IMAPS, LDAP, LDAPS, MQTT, POP3, POP3S, RTMP, RTMPS, RTSP, SCP, SFTP, SMB, SMBS, SMTP, SMTPS, TELNET, TFTP, WS and WSS. libcurl offers a myriad of powerful features
datamodel-code-generator
Pydantic model generator for easy conversion of JSON, OpenAPI, JSON Schema, and YAML data sources.
editorconfig-emacs
EditorConfig plugin for Emacs
git-notes
Notes made while learning git, cheatsheets, etc.; may be useful to others...
lets-prove-leftpad
Proving leftpad correct in a dozen different ways
lorri
Your project’s nix-env [maintainer=@Profpatsch,@nyarly]
magit
It's Magit! A Git Porcelain inside Emacs.
makeself
A self-extracting archiving tool for Unix systems, in 100% shell script.
mcomix3
fork of mcomix, 3 is the 3 of python3
mpv
🎥 Command line video player
nix
Nix, the purely functional package manager
nix-index-database
Weekly updated nix-index database [maintainer=@Mic92]
nixpkgs
Nix Packages collection
nixpkgs-pytools
Tools for removing the tedious nature of creating nixpkgs derivations [maintainer=@costrouc]
nixpkgs-review
Review pull-requests on https://github.com/NixOS/nixpkgs
protontricks
A wrapper that does winetricks things for Proton enabled games, requires Winetricks.
PynamoDB
A pythonic interface to Amazon's DynamoDB
python-lsp-server
Fork of the python-language-server project, maintained by the Spyder IDE team and the community
shellpool
Running external programs from Common Lisp
spacemacs
Emacs advanced Kit focused on Evil: The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
systemd
The systemd System and Service Manager
totalsize
Script that uses yt-dlp to calculate total size of all videos in a playlist (also works with single videos).
vscode-docs
Public documentation for Visual Studio Code
vscode-python
Python extension for Visual Studio Code
wg-verification
Verification working group