christianmoesl Goto Github PK

1brc

artnet-controller-firmware

The firmware (only the Application) for the ArtNet LED-Strip Controller and the ArtNet DMX Controller.

artnet-dmx-controller

This is a small LED controller for DMX LED spots, which can be accessed and controlled through the ArtNet protocol over Ethernet.

artnet-led-strip-controller

This is a small LED controller for WS2815B leds, which can be accessed and controlled through the ArtNet protocol over Ethernet.

boolector-rs

Safe high-level bindings for the Boolector SMT solver

boolector-sys

Low-level Rust bindings for the Boolector SMT solver

btor2tools-sys

Rust FFI bindings for https://github.com/Boolector/btor2tools

btor2tools.rs

High Level Rust Bindings for https://github.com/Boolector/btor2tools

charts

Curated applications for Kubernetes

chat-server

code-review-leaderboard

concurrent-queue-model

Model of a concurrent FIFO queue written in Promela for the Spin model checker

dotfiles

most important config files

easyhome

A simple app to demonstrate hardware error handling in an home automation control environment for older people.

external-dns

Configure external DNS servers (AWS Route53, Google CloudDNS and others) for Kubernetes Ingresses and Services

fast-light-remote

flatrv

A cross-platform RISC-V interpreter that implements the RV32IMA instruction set.

gh-leaderboard

Github CLI extensions that summarizes code review activity data in a leaderboard.

go-test

gx.nvim

Implementation of gx without the need of netrw

kickstart.nvim

A launch point for your personal nvim configuration

lazyvim

Neovim config for the lazy

lms-rust-binding

lms-wasm

WASM as an embedded DSL in Scala

mdbook-graphviz

midi-switcher

migramongo

mini-dmx-slave

A small LED controller, to power a RGBW LED Spot between 8-24V through PWM.

movie-buddy

A simple app for movie recommendations

my-app-portfolio

A app used to show my own app portfolio.