Stars
A markup-based typesetting system that is powerful and easy to learn.
The original local LLM interface. Text, vision, tool-calling, training, and more. 100% offline.
Chat with your documents on your local device using GPT models. No data leaves your device and 100% private.
A minimal GPU design in Verilog to learn how GPUs work from the ground up
Sioyek is a PDF viewer with a focus on textbooks and research papers
Tool for partial deblobbing of Intel ME/TXE firmware images
MirageOS is a library operating system that constructs unikernels
Read-only mirror of https://review.coreboot.org/coreboot.git. Synced every hour. We don't handle Pull Requests.
A minimal Linux that runs as a coreboot or LinuxBoot ROM payload to provide a secure, flexible boot environment for laptops, workstations and servers.
Infrastructure for examining and patching Thinkpad embedded controller firmware
pre-built coreboot images and documentation on how to flash them for Thinkpad Laptops
Minimal implementations for dependent type checking and elaboration
A framework for applied category theory in the Julia language
A gently curated list of companies using verification formal methods in industry
The ACPI Component Architecture (ACPICA) project provides an open-source operating system-independent implementation of the Advanced Configuration and Power Interface specification (ACPI). For deta…
Kernel Hardening; Protect Linux User Accounts against Brute Force Attacks; Improve Entropy Collection; Strong Linux User Account Separation; Enhances Misc Security Settings - https://www.kicksecure…
Julia package for tensor contractions and related operations