kini

OracleBelmont, CA

Pinned Repositories

acl2
ACL2 System and Books as Maintained by the Community
Language:Common Lisp369 36 487100
aptitude
clone of Debian's aptitude tool at git://anonscm.debian.org/aptitude/aptitude.git
Language:C++3 3 03
casr-demo
demo of LFSRs and CASRs
Language:Elm10
cs429-lab1
Lab 1 materials for CS 429, Fall 2015
Language:C11
gptfdisk
gptfdisk copy
Language:C++5 4 05
important-script-reader
2 4 00
patch-converter
A script to convert the output of git patches to Hg format. I didn't write this.
Language:Python20
nixpkgs
Nix Packages collection & NixOS
Language:Nix18.3k 276 42.6k14.2k
spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
Language:Emacs Lisp23.7k 480 8.6k4.9k

kini's Repositories

kini/important-script-reader
2 4 00
kini/acl2
ACL2 System and Books as Maintained by the Community
Language:Common Lisp3 0
kini/Clementine
:tangerine: Clementine Music Player
Language:C++2 0
kini/config
configuration library for JVM languages using HOCON files
kini/confluent-kafka-python
Confluent's Kafka Python Client
kini/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
Language:C1 0
kini/datamodel-code-generator
Pydantic model generator for easy conversion of JSON, OpenAPI, JSON Schema, and YAML data sources.
Language:Python1 0
kini/editorconfig-emacs
EditorConfig plugin for Emacs
kini/git-notes
Notes made while learning git, cheatsheets, etc.; may be useful to others...
Language:HTML
kini/lets-prove-leftpad
Proving leftpad correct in a dozen different ways
Language:SystemVerilog2 0
kini/lorri
Your project’s nix-env [maintainer=@Profpatsch,@nyarly]
Language:Rust1 0
kini/magit
It's Magit! A Git Porcelain inside Emacs.
Language:Emacs Lisp
kini/makeself
A self-extracting archiving tool for Unix systems, in 100% shell script.
Language:Shell2 0
kini/mcomix3
fork of mcomix, 3 is the 3 of python3
Language:Python
kini/mpv
🎥 Command line video player
Language:C1 0
kini/nix
Nix, the purely functional package manager
Language:C++
kini/nix-index-database
Weekly updated nix-index database [maintainer=@Mic92]
Language:Nix0 0
kini/nixpkgs
Nix Packages collection
Language:Nix
kini/nixpkgs-pytools
Tools for removing the tedious nature of creating nixpkgs derivations [maintainer=@costrouc]
Language:Python2 0
kini/nixpkgs-review
Review pull-requests on https://github.com/NixOS/nixpkgs
Language:Python0 0
kini/protontricks
A wrapper that does winetricks things for Proton enabled games, requires Winetricks.
kini/PynamoDB
A pythonic interface to Amazon's DynamoDB
kini/python-lsp-server
Fork of the python-language-server project, maintained by the Spyder IDE team and the community
kini/shellpool
Running external programs from Common Lisp
Language:Common Lisp2 0
kini/spacemacs
Emacs advanced Kit focused on Evil: The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
Language:Emacs Lisp3 0
kini/systemd
The systemd System and Service Manager
Language:C2 0
kini/totalsize
Script that uses yt-dlp to calculate total size of all videos in a playlist (also works with single videos).
kini/vscode-docs
Public documentation for Visual Studio Code
Language:CSS1 0
kini/vscode-python
Python extension for Visual Studio Code
Language:TypeScript1 0
kini/wg-verification
Verification working group