Towards an Automated Triple Modular Redundancy (TMR) EDA flow for Yosys.

Fullstack app framework for web, desktop, and mobile.

Linux kernel source tree

OpenBao exists to provide a software solution to manage, store, and distribute sensitive data including secrets, certificates, and keys.

Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.

Surface Duo Dual Experience ( 🍰 AOSP | Android 16 | DUO1 | DUO2 )

C++ is the based interpreted language

Lossless Scaling Frame Generation on Linux

Modern UI and powerful API for Ansible, Terraform/OpenTofu/Terragrunt, PowerShell and other DevOps tools.

SystemVerilog frontend for Yosys

Modular, extensible and distro-agnostic Neovim configuration framework for Nix/NixOS

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.