Pinned Repositories
acme-mouse
Acme mouse-chording for Emacs, originally from akrito/acme-mouse, but since largely rewritten.
feh-random-background
Randomize your backgrounds while avoiding the birthday problem
microKanren-SML
Implementation of microKanren (logic-programming framework) in Standard ML.
nix-index-rtld
Custom runtime linker like program which suggests a nix-shell compatible expression
nixos-config
NixOS configuration
nixos-livecd-from-configuration.nix
This shows how a configuration.nix (my own, but modified) can be turned into a livecd
PartIIProject
Cambridge Part II Project
Pye-Menu
Simple Python3 radial (pie) menu using GTK3 (via GObjectIntrospection)
rp2040-selfdebug
Rust wrapper around CMSIS_DAP to allow debugging the RP2040 without an external debugger
KoviRobi's Repositories
KoviRobi/nixos-config
NixOS configuration
KoviRobi/rp2040-selfdebug
Rust wrapper around CMSIS_DAP to allow debugging the RP2040 without an external debugger
KoviRobi/feh-random-background
Randomize your backgrounds while avoiding the birthday problem
KoviRobi/nix-on-droid
Nix-enabled environment for your Android device.
KoviRobi/pico-bootrom-crashdump
Use the USB mass storage functionality to provide coredumps after a crash
KoviRobi/codly
A Typst package for even better code blocks
KoviRobi/darkman.nvim
A neovim plugin for interfacing with the freedesktop dark mode standard
KoviRobi/diagraph
A typst wasm plugin to use graphviz directly inside documents
KoviRobi/dune
A composable build system for OCaml.
KoviRobi/git-appraise
Distributed code review system for Git repos
KoviRobi/himalaya
CLI to manage emails
KoviRobi/home-manager
Manage a user environment using Nix [maintainer=@rycee]
KoviRobi/KoviRobi
Intro to me
KoviRobi/lilos
A wee async RTOS for Cortex-M
KoviRobi/mirador
CLI to watch mailbox changes
KoviRobi/neverest
CLI to synchronize, backup and restore emails
KoviRobi/nix
Nix, the purely functional package manager
KoviRobi/nixpkgs
Nix Packages collection
KoviRobi/ocaml
The core OCaml system: compilers, runtime system, base libraries
KoviRobi/ocaml-jupyter
An OCaml kernel for Jupyter (IPython) notebook
KoviRobi/poetry2nix
Convert poetry projects to nix automagically [maintainer=@adisbladis]
KoviRobi/qmk_firmware
keyboard controller firmware for Atmel AVR and ARM USB families
KoviRobi/robs-cs
KoviRobi/secret-backup
Backing up secrets (GPG keys & pass data)
KoviRobi/secret-chord
A toy forth interpreter, because it's fun
KoviRobi/tooltracker
Prototype to make tracking tools easy, by labelling them with QR codes. Only requires a phone with QR scanning and emailing capabilities.
KoviRobi/tt-builder
A WIP nix based environment for building Tiny Tapeout stuff
KoviRobi/tt-support-tools
tools used by project repos to test configuration, generate OpenLane run summaries and documentation
KoviRobi/typst-fletcher
Typst package for drawing diagrams with arrows, built on top of CeTZ.
KoviRobi/vim-localvimrc
Search local vimrc files (".lvimrc") in the tree (root dir up to current dir) and load them.