Affordable, Multifunctional, Nano RISC-V IP-KVM

Higher level programming in C

Higher level programming in C

ABC: System for Sequential Logic Synthesis and Formal Verification

Bringing the Helix editor to the evil side

Snap package for Nix and NixOS

Fingerprint library, dbus interface, CLI, and PAM module for unlocking Linux with fingerprint sensors. Currently for Chromebooks.

XR virtual workspace library for Linux

Haskell to VHDL/Verilog/SystemVerilog compiler

Functional reactive web and mobile applications, with batteries included.

WebAssembly Micro Runtime (WAMR)

An easy to use, cross platform, GUI library for writing Haskell applications.

Software emulation of Yubikey hardware tokens in HOTP mode

Cloud replacement for vacuum robots enabling local-only operation

OpenResume is a powerful open-source resume builder and resume parser. https://open-resume.com/

C++ library for building Wayland compositors.

Flet enables developers to easily build realtime web, mobile and desktop apps in Python. No frontend experience required.

Chromium fork named after radioactive element No. 90. Windows and MacOS/Raspi/Android/Special builds are in different repositories, links are towards the top of the README.md.

OpenTofu lets you declaratively manage your cloud infrastructure.

Lightning-fast and Powerful Code Editor written in Rust

Helping Kubernauts sailing stormy container waters by harnessing the wisdom of the internet. 👌🦄

A CLI which fetches the current meals available at ETHZ mensas

A CLI which fetches the current meals available at ETHZ mensas

Mopsos was a famous seer in Greek mythology. Mopsos sees what you are installing in your cluster.

It's a BMW shifter converted to a Bluetooth Keyboard that you use with Vim

Experimental terraform provider to manage TrueNAS server

Infinitely take notes, sketch and learn. Xournal++ Mobile is a port of Xournal++ files and features to various mobile platofrms and the web. Mirror of the Xournal++ Mobile repository on GitLab.