Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

Python bindings for upgraded FaCT++ description logic reasoner

A portable QR and Barcode generation / manipulation library written in C.

C++ port of ZXing

Tesseract Open Source OCR Engine (main repository)

Ready-to-use OCR with 80+ supported languages and all popular writing scripts including Latin, Chinese, Arabic, Devanagari, Cyrillic and etc.

Turn any PDF or image document into structured data for your AI. A powerful, lightweight OCR toolkit that bridges the gap between images/PDFs and LLMs. Supports 100+ languages.

A "modern" emacs config

The HOL Light theorem prover

Nix, the purely functional package manager

Purge plugin for DNF

Compiler for the C3 language

Kernel.org kernel built for debian

Iconic font aggregator, collection, & patcher. 3,600+ icons, 50+ patched fonts: Hack, Source Code Pro, more. Glyph collections: Font Awesome, Material Design Icons, Octicons, & more

Odin Programming Language

Unison file synchronizer

Emacs client/library for the Language Server Protocol

A dynamic language and bytecode vm

Lua Lisp Language

Python SDK for YaGPT API

Lightning-fast and Powerful Code Editor written in Rust

My Personal Nix/NixOS Configuration.

Manage KDE Plasma with Home Manager [maintainer=@HeitorAugustoLN]

Small library allowing to use dlopen() from statically-linked applications (where statically-linked executable vs loaded shared library may use completely different libc's)

Slint is an open-source declarative GUI toolkit to build native user interfaces for Rust, C++, JavaScript, or Python apps.

Cross-Platform GUI Toolkit (stable)

🚀 Fast, secure, lightweight containers based on WebAssembly

A wrapper tool for nix OpenGL application [maintainer=@guibou]

no-nixpkgs standard library for the nix expression language