Pinned Repositories
codecrafters-git-rust
darray
Toy to play around with raw pointers in Rust
django-bootstrap-toolkit
Bootstrap support for Django projects
duplikat
Cross-platform graphical user interface for restic
gedit-reflow-plugin
A simple gedit plugin that allows to reflow paragraphs the same way emacs <alt>-q command does.
gedit-snapopen-plugin
Snapopen plugin for Gedit (Linux/Mac)
gunter-tweet
A little script that controls https://twitter.com/GunterWenkWenk for lols
host-battery-extension
A Gnome extension to be used when running in a VM so you can somehow get the host's battery and show in the top panel.
lupa-redbpf
Investigating eBPF for maybe an improved tool to replace my use of strace, lsof
mula
kov's Repositories
kov/duplikat
Cross-platform graphical user interface for restic
kov/codecrafters-git-rust
kov/darray
Toy to play around with raw pointers in Rust
kov/gunter-tweet
A little script that controls https://twitter.com/GunterWenkWenk for lols
kov/host-battery-extension
A Gnome extension to be used when running in a VM so you can somehow get the host's battery and show in the top panel.
kov/lupa
monitor files being opened and closed by a process
kov/lupa-redbpf
Investigating eBPF for maybe an improved tool to replace my use of strace, lsof
kov/avahi
Avahi - Service Discovery for Linux using mDNS/DNS-SD -- compatible with Bonjour
kov/blog
My personal blog
kov/calamine
A pure Rust Excel/OpenDocument SpeadSheets file reader: rust on metal sheets
kov/cc-rs
Rust library for build scripts to compile C/C++ code into a Rust library
kov/codecrafters-grep-rust
Code Crafters grep
kov/coq_nvim
Fast as FUCK nvim completion. SQLite, concurrent scheduler, hundreds of hours of optimization.
kov/diffutils
Drop-in replacement of diffutils in Rust
kov/exercicio-com-vetores
Exercício matemático para calcular o produto interno de 2 vetores (estoque e preços) de uma loja com 3 tipos de celulares
kov/gbuild
kov/gkmake
Toy reimplementation of make
kov/gohugo-theme-ananke
Ananke: A theme for Hugo Sites
kov/helix
A post-modern modal text editor.
kov/iocost-benchmarks
kov/iocost-benchmarks-ci
kov/linux
Linux kernel source tree
kov/nix
Rust friendly bindings to *nix APIs
kov/nvmber
A toy roman numbers library written in Rust (plus C bindings)
kov/perf-research
Some toy benchmarks to understand performance characteristics
kov/politi-kov
Meu blog de política
kov/redbpf
Rust library for building and running BPF/eBPF modules
kov/resctl-demo
Demonstrate and benchmark various features of Linux resource control in a self-contained package.
kov/systemd
The systemd System and Service Manager
kov/util-linux
Rust reimplementation of the util-linux project