Search:
Search Results
Results: 1 - 12 of 12
Page:
1
sci-mathematics/coq
Coq/Rocq is a proof assistant written in O'Caml
llvm-core/clang-common
Common files shared between multiple slots of clang
llvm-runtimes/clang-rtlib-config
Default rtlib configuration for clang
llvm-runtimes/clang-unwindlib-config
Default unwindlib configuration for clang
llvm-runtimes/clang-runtime
Meta-ebuild for clang runtime libraries
app-emulation/emulith
ETH Lilith Modula-2 computer emulator
sys-devel/gcc-v3
Compatibility package for binaries linked against a pre gcc 3.4 libstdc++
dev-python/aristaproto
Arista Protobuf / Python gRPC bindings generator & library
dev-python/betterproto
A better Protobuf / gRPC generator & library
dev-python/betterproto-beta9
A better Protobuf / gRPC generator & library
dev-python/betterproto-for-temporal-python-sdk
A better Protobuf / gRPC generator & library
dev-python/betterproto-twirp-new
A better Protobuf / Twirp generator & library
Results: 1 - 12 of 12
Page:
1