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/feh-random-background
Randomize your backgrounds while avoiding the birthday problem
KoviRobi/rp2040-flash-wake
RAM only image for the RP2040 to try and reset it when the flash gets stuck
KoviRobi/rp2040-selfdebug
Rust wrapper around CMSIS_DAP to allow debugging the RP2040 without an external debugger
KoviRobi/acme-lsp
Language Server Protocol tools for the acme text editor
KoviRobi/cpython
The Python programming language
KoviRobi/dap-decode
Simple (incomplete) decoder for the CMSIS-DAP protocol for captures over USB (usbmon)
KoviRobi/debugdb
DWARF program analysis crate
KoviRobi/dircolors-solarized
This is a repository of themes for GNU ls (configured via GNU dircolors) that support Ethan Schoonover’s Solarized color scheme.
KoviRobi/GDS2glTF
KoviRobi/git-appraise
Distributed code review system for Git repos
KoviRobi/KoviRobi
Intro to me
KoviRobi/lilos
A wee async RTOS for Cortex-M
KoviRobi/lilosdbg
Prototype debugger for lilos
KoviRobi/NixOS-WSL
NixOS on WSL(2) [maintainer=@nzbr]
KoviRobi/nixpkgs
Nix Packages collection
KoviRobi/nushell
A new type of shell
KoviRobi/ocaml-jupyter
An OCaml kernel for Jupyter (IPython) notebook
KoviRobi/pico-bootrom-crashdump
Use the USB mass storage functionality to provide coredumps after a crash
KoviRobi/poetry2nix
Convert poetry projects to nix automagically [maintainer=@adisbladis]
KoviRobi/qmk_firmware
keyboard controller firmware for Atmel AVR and ARM USB families
KoviRobi/ripgrep
ripgrep recursively searches directories for a regex pattern while respecting your gitignore
KoviRobi/rmk-mekk-elek
Rust mechanical keyboard
KoviRobi/secret-chord
A toy forth interpreter, because it's fun
KoviRobi/tinytapeout_gds_viewer
Tiny Tapeout GDS Online Viewer
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/tt06-bluespec-template
Submission template for Tiny Tapeout 06 - Bluespec SystemVerilog HDL Projects
KoviRobi/vim-localvimrc
Search local vimrc files (".lvimrc") in the tree (root dir up to current dir) and load them.