A markup-based typesetting system that is powerful and easy to learn.

Custom CSS theme for doxygen html-documentation with lots of customization parameters.

🎡 Build Python wheels for all the platforms with minimal configuration.

Concurrent decision diagram framework written in Rust

Marrying Rust and CMake - Easy Rust and C/C++ Integration!

Verified Rust for low-level systems code

Creusot helps you prove your code is correct in an automated fashion.

An I/O-efficient implementation of (Binary) Decision Diagrams

Build and publish crates with pyo3, cffi and uniffi bindings as well as rust binaries as python packages

Benchmarking Suite for BDD packages

HedgeDoc - Ideas grow better together

KeePass-compatible password manager for iOS and macOS

Pygments is a generic syntax highlighter written in Python

Modeling and Proving in Computational Type Theory

Empowering everyone to build reliable and efficient software.

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

AirPlay Unix mirroring server

OpenSCAD - The Programmers Solid 3D CAD Modeller

Official source code of FreeCAD, a free and opensource multiplatform 3D parametric modeler.

Linux kernel source tree

Home of the Joomla! Content Management System