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.

Awesome multilingual OCR toolkits based on PaddlePaddle (practical ultra lightweight OCR system, support 80+ languages recognition, provide data annotation and synthesis tools, support training and…

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 a declarative GUI toolkit to build native user interfaces for Rust, C++, or JavaScript 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

sshd AuthorizedKeysCommand to read ~/.ssh/authorized_keys.d