Pinned Repositories
buildroot.nix
Flake for building Buildroot using nix
cuda-mhd
GPU-accelerated magnetohydrodynamics simulation using CUDA.
eib
embedded image builder
eyrie
dotfiles setup using guix
foundry.c
Reusable data structures for C.
ks
cli knowledge store
sat
simple sat solver
sloc
Count source lines of code.
squashfile
SquashFS archive reader for rust
thermals
Thermal monitoring and control in Erlang
velentr's Repositories
velentr/buildroot.nix
Flake for building Buildroot using nix
velentr/squashfile
SquashFS archive reader for rust
velentr/eib
embedded image builder
velentr/eyrie
dotfiles setup using guix
velentr/github-mode
interact with github through emacs
velentr/sat
simple sat solver
velentr/aoc.hs
advent of code, in haskell
velentr/birdr
Record and track bird sightings and checklists.
velentr/conspiracy
velentr/emacsrc
emacs configuration
velentr/finch
embedded rpi image experiments
velentr/g-hooks
manage git hooks using guix
velentr/gentoo
The Gentoo ebuild repository mirror
velentr/gentoo-overlay
Overlay for gentoo.
velentr/git-origin-hash
Find guix's fixed-output hash of a git checkout without actually checking it out.
velentr/git-third-party
Manage vendored third-party code in git
velentr/guix
Fork of upstream guix
velentr/kernel-mode
minor mode for editing kernel sources
velentr/kitchen
velentr/lcm
Lightweight Communications and Marshalling
velentr/linux
Linux kernel source tree
velentr/magpie
Simple scriptable backup engine.
velentr/magpie-plugins
More complex magpie engines, based on CRDT concepts.
velentr/microguix
velentr/playbook
velentr/revup
Revolutionary commit-based code review and workflow tools for git/github
velentr/rules_pkg
Bazel rules for creating packages of many types (zip, tar, deb, rpm, ...)
velentr/sagittarius
velentr/uguix
velentr/worklog
track work across projects in emacs