Search:
Search Results
Results: 1 - 9 of 9
Page:
1
dev-lang/rust
Language empowering everyone to build reliable and efficient software
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/ubii-message-formats
"Python Code for Ubi Interact protobuf messages"
Results: 1 - 9 of 9
Page:
1