nhusung

Nils Husung's starred repositories

cibuildwheel

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

Language:PythonNOASSERTION175400

oxidd

Concurrent decision diagram framework written in Rust

Language:RustApache-2.02700

corrosion

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

Language:CMakeMIT99300

verus

Verified Rust for low-level systems code

Language:RustMIT100800

creusot

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

Language:RustLGPL-2.1104800

adiar

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

Language:C++MIT2000

maturin

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

Language:RustApache-2.0336600

bdd-benchmark

Benchmarking Suite for BDD packages

Language:C++MIT1100

hedgedoc

HedgeDoc - Ideas grow better together

Language:TypeScriptAGPL-3.0479300

KeePassium

KeePass-compatible password manager for iOS

Language:SwiftNOASSERTION111600

pygments

Pygments is a generic syntax highlighter written in Python

Language:PythonBSD-2-Clause173700

MPCTT

Modeling and Proving in Computational Type Theory

Language:Coq7400

rust

Empowering everyone to build reliable and efficient software.

Language:RustNOASSERTION9400500

llvm-project

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

NOASSERTION2629200

UxPlay

AirPlay Unix mirroring server

Language:CGPL-3.0123600

openscad

OpenSCAD - The Programmers Solid 3D CAD Modeller

Language:C++NOASSERTION655400

FreeCAD

This is the official source code of FreeCAD, a free and opensource multiplatform 3D parametric modeler.

Language:C++NOASSERTION1791000

linux

Linux kernel source tree

Language:CNOASSERTION17261500

joomla-cms

Home of the Joomla! Content Management System

Language:PHPGPL-2.0467100