Pinned Repositories
comlib
Competitive programming library for Rust
digipsu
Custom bench power supply with digital controls
Gamedev-Apoikalypsis
hb-subset-rs
A Rust wrapper for HarfBuzz font subsetting API
ruuvi-collector-rs
A ruuvi tag collector for exporting in Prometheus format
simple-dimmer
web-arm
A web based arm emulator
henkkuli's Repositories
henkkuli/hb-subset-rs
A Rust wrapper for HarfBuzz font subsetting API
henkkuli/ruuvi-collector-rs
A ruuvi tag collector for exporting in Prometheus format
henkkuli/comlib
Competitive programming library for Rust
henkkuli/digipsu
Custom bench power supply with digital controls
henkkuli/simple-dimmer
henkkuli/aoc-2023
My solutions for Advent of Code 2023, in Lean
henkkuli/dt-streamer
A video switch for streaming multiple computers
henkkuli/html
HTML Standard
henkkuli/html-rs
Type-safe HTML support for Rust
henkkuli/hy-ppc.github.io
henkkuli/karaoke-9000
Karaoke maker 9000, for simpler karaoke making
henkkuli/lean4
Lean 4 programming language and theorem prover
henkkuli/lipics-styles
LaTeX Styles provided by Dagstuhl Publishing
henkkuli/local-model
Formalizing Foundations of the LOCAL Model
henkkuli/math.nix
Floating-point mathematics in Nix
henkkuli/neovim
Vim-fork focused on extensibility and usability
henkkuli/nixpkgs
Nix Packages collection & NixOS
henkkuli/oklab.nix
Color management using Oklab color space
henkkuli/pio-rs
Support crate for Raspberry Pi's PIO architecture.
henkkuli/pygments
Pygments is a generic syntax highlighter written in Python
henkkuli/qml
Poor attempt at quantum machine learning
henkkuli/regmac
A registration machine
henkkuli/rental
Rust macro to generate self-referential structs
henkkuli/rp-hal
A Rust Embedded-HAL for the rp series microcontrollers
henkkuli/rp2040-pac
A Rust PAC for the RP2040 Microcontroller
henkkuli/ruuvi-sensor-protocol-rs
Ruuvi sensor protocol parser implementation
henkkuli/svd2rust
Generate Rust register maps (`struct`s) from SVD files
henkkuli/Triple-Blind-Larp-Helper
Helper script to create randomized character sheets for Triple Blind Larp
henkkuli/utility-scripts
My collection of utility scripts
henkkuli/warp
A super-easy, composable, web server framework for warp speeds.