lean4-zig

Zig bindings for Lean4

Creator

kassane

Related apps

fiber

userland threads uses zig build

C++1

3 months ago

boostboost-librarycplusplus

libzmq

ZeroMQ core engine in C++, implements ZMTP/3.1

C++2mpl-2.0

last year

cppcpp-librarynetworking

beast

beast

HTTP and WebSocket built on Boost.Asio in C++11 (uses zig build)

C++1bsl-1.0

4 months ago

asioboost-librarycplusplus

fmt

fmt

A modern formatting library (uses zig build-system)

C++0other

2 months ago

cpp-libraryfmtlibzig-package

hana

Your standard library for metaprogramming (uses zig build-system)

C++1bsl-1.0

4 months ago

boost-hanacpp-libraryzig-package

context

`boost.context` library using zig build

Assembly0

5 months ago

boostboost-librariescpp-library

libbpf

libbpf

Automated upstream mirror for libbpf stand-alone build.

C2other

7 months ago

bpflibbpfzig-package

range-v3

Range library for C++14/17/20, basis for C++20's std::ranges (uses zig build-sys

C++0other

4 months ago

cpp-libraryrange-libraryzig

Standalone-Server

Asio standalone C++ HTTP/S Server (uses zig build-system)

C++3mit

5 months ago

cppzig-package

winpthreads-zigbuild

The Winpthreads Library for Zig toolchain

C9other

6 months ago

mingw-w64zig-package

asio

Asio C++ Library (uses zig build-system)

C++7bsl-1.0

3 months ago

asioasio-libraryasynchronous

intrusive

Boost.org intrusive module (uses zig build)

C++0

last year

boost-librariescpluspluscpp

json

json

JSON for Modern C++ (uses zig build-system)

C++1mit

4 months ago

cpp-libraryjson-cppzig-package

outcome

Provides very lightweight outcome<T> and result<T> (non-Boost edition) (uses zig

C++1other

4 months ago

cpluspluscppcpp-library

unordered

Boost.org unordered module (uses zig build)

C++0bsl-1.0

5 months ago

boost-librariescpluspluscpp

Catch2

Catch2

A modern, C++-native, test framework for unit-tests, TDD and BDD - using C++14,

C++0bsl-1.0

last year

cpp-librarytesting-frameworktesting-library