A privacy-first, open-source platform for knowledge management and collaboration. Download link: http://github.com/logseq/logseq/releases. roadmap: https://logseq.io/p/NX4mc_ggEV

A highly customizable, modular, and performant desktop quickshell configuration

Lineage OS builds for Xiaomi Pad 6

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

Fullstack app framework for web, desktop, and mobile.

Linux kernel source tree

OpenBao is 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 productivity and gaming applications 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.