Search:
Search Results
Results: 1 - 13 of 13
Page:
1
sci-mathematics/coq
Coq/Rocq is a proof assistant written in O'Caml
dev-lang/rust
Systems programming language from Mozilla
dev-python/betterproto
A better Protobuf / gRPC generator & library
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-runtime
Meta-ebuild for clang runtime libraries
llvm-runtimes/clang-unwindlib-config
Default unwindlib configuration for clang
sys-devel/gcc-v3
Compatibility package for binaries linked against a pre gcc 3.4 libstdc++
app-emulation/emulith
ETH Lilith Modula-2 computer emulator
dev-python/ubii-message-formats
"Python Code for Ubi Interact protobuf messages"
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 - 13 of 13
Page:
1