We build foundational software: the layer upon which other software rests. An operating system, a reasoning engine, a concurrency library, the tooling that keeps them honest. Most of it is open source, and the parts that are not fund the parts that are.
acrion innovations GmbH is a Swiss company run by Stefan Zipproth, a systems architect with more than twenty-five years in C++ and Python. What that means for the repositories here is that they are maintained rather than published and forgotten.
Ditana is a GNU/Linux distribution built on Arch, for people who want to know what their system does. Its installer asks about hardware it has actually detected, explains the cost of every hardening option it offers, and takes its knowledge from a database of declarations rather than from code. The package repository it installs from is rebuilt from upstream recipes, reviewed, signed and published only as a complete set, and every run of that pipeline is public.
| ditana.org | the distribution, its documentation and the download |
| ditana-installer | the installer engine and the ISO build |
| ditana-config | the knowledge base it acts on, declared in KDL |
| ditana-build | the package pipeline, and every run it has made |
| ditana-userns-guard | unprivileged user namespaces, restricted per executable |
zelph is a reasoning engine in which rules, predicates and numbers are nodes of the same graph, so logic and data have the same shape. It has been run against the whole Wikidata dump to look for contradictions across millions of facts.
Cbeam is a C++ library for concurrency and shared data, and nexuslua brings real hardware multithreading to Lua on top of it. acrionphoto is an image editor built on that pair, in which every heavy operation is a plugin that cannot block the interface.
cbeam.org · nexuslua.org · acrion/photo
zelph is supported by NLnet’s NGI0 Commons Fund for auditable reasoning over Linked Open Data, and was previously supported by two Wikimedia Community Fund grants, both completed and reported.
Nearly everything here is AGPL-3.0-or-later, and that is a deliberate choice rather than a default. A commercial licence exists beside it for organizations whose integration the AGPL does not permit; it adds an option and takes nothing away from anyone using the open one.
Details on acrion.ch/sales.
Questions regarding a project should be posted in the issue tracker of that project. For commercial licensing, support or contract development, write to us. info@acrion.ch