Display 1 - 40 hits of 494.
angr-z3 | 4.4.2.1.git.20161013-8.1 | x86_64 | Theorem prover from Microsoft Research, customized for angr | openSUSE Leap 42 |
angr-z3 | 4.4.2.1.git.20161013-7.24 | x86_64 | Theorem prover from Microsoft Research, customized for angr | openSUSE Tumbleweed |
angr-z3 | 4.4.2.1.git.20161013-7.2 | x86_64 | Theorem prover from Microsoft Research, customized for angr | openSUSE Leap 42 |
angr-z3 | 4.4.2.1.git.20161013-4.1 | x86_64 | Theorem prover from Microsoft Research, customized for angr | openSUSE Leap 42 |
angr-z3-devel | 4.4.2.1.git.20161013-8.1 | x86_64 | Development files for Z3, customized for angr | openSUSE Leap 42 |
angr-z3-devel | 4.4.2.1.git.20161013-7.24 | x86_64 | Development files for Z3, customized for angr | openSUSE Tumbleweed |
angr-z3-devel | 4.4.2.1.git.20161013-7.2 | x86_64 | Development files for Z3, customized for angr | openSUSE Leap 42 |
angr-z3-devel | 4.4.2.1.git.20161013-4.1 | x86_64 | Development files for Z3, customized for angr | openSUSE Leap 42 |
binaryen | 1.38.24-lp150.2.1 | x86_64 | Compiler infrastructure and toolchain library for WebAssembl | openSUSE Leap 15 |
binaryen | 1.37.20-3.1 | x86_64 | Compiler infrastructure and toolchain library for WebAssembl | openSUSE Leap 42 |
capstone-bindings | 4.0.1-lp150.6.1 | x86_64 | Capstone bindings for various languages | openSUSE Leap 15 |
capstone-bindings | 3.0.5rc3-3.1 | x86_64 | Capstone bindings for various languages | openSUSE Leap 42 |
capstone5-bindings | 5.0.3-1.3 | x86_64 | Capstone bindings for various languages | openSUSE Tumbleweed |
cert-bff | 2.8-lp154.1.3 | noarch | The CERT Basic Fuzzing Framework (BFF) mutational fuzzer | OpenSuSE |
cert-bff | 2.8-lp150.1.1 | noarch | The CERT Basic Fuzzing Framework (BFF) mutational fuzzer | openSUSE Leap 15 |
cert-bff | 2.8-9.1 | noarch | The CERT Basic Fuzzing Framework (BFF) mutational fuzzer | openSUSE Leap 42 |
cert-bff | 2.8-1.23 | noarch | The CERT Basic Fuzzing Framework (BFF) mutational fuzzer | openSUSE Tumbleweed |
cert-bff | 2.8-1.1 | noarch | The CERT Basic Fuzzing Framework (BFF) mutational fuzzer | openSUSE Leap 42 |
cert-zzuf | 0.14-lp154.9.7 | x86_64 | A transparent application input fuzzer | OpenSuSE |
cert-zzuf | 0.14-lp150.1.1 | x86_64 | zzuf is a transparent application input fuzzer | openSUSE Leap 15 |
cert-zzuf | 0.14-9.46 | x86_64 | A transparent application input fuzzer | openSUSE Tumbleweed |
cert-zzuf | 0.14-9.1 | x86_64 | zzuf is a transparent application input fuzzer | openSUSE Leap 42 |
cert-zzuf | 0.14-1.27 | x86_64 | zzuf is a transparent application input fuzzer | openSUSE Tumbleweed |
cert-zzuf | 0.14-1.1 | x86_64 | zzuf is a transparent application input fuzzer | openSUSE Leap 42 |
cert-zzuf | 0.14-1.1 | x86_64 | zzuf is a transparent application input fuzzer | openSUSE Leap 42 |
cert-zzuf-devel | 0.14-lp154.9.7 | x86_64 | Development files for CERT zzuf | OpenSuSE |
cert-zzuf-devel | 0.14-9.46 | x86_64 | Development files for CERT zzuf | openSUSE Tumbleweed |
closure | 20181210-lp150.1.2 | x86_64 | JavaScript compiler to compress, optimize, find mistakes in | openSUSE Leap 15 |
coconut | 1.3.1-1.39 | noarch | Coconut is a functional programming language that compiles t | openSUSE Leap 42 |
coconut | 1.2.3-7.3 | noarch | Coconut is a functional programming language that compiles t | openSUSE Leap 42 |
coq | 8.6-13.1 | x86_64 | The Coq Proof Assistant | openSUSE Leap 42 |
coq-devel | 8.6-13.1 | x86_64 | Development files for The Coq Proof Assistant | openSUSE Leap 42 |
coq-ide | 8.6-13.1 | x86_64 | IDE for The Coq Proof Assistant | openSUSE Leap 42 |
dlib-devel | 19.4-15.1 | x86_64 | Development files for libdlib | openSUSE Leap 42 |
dlib-devel | 19.24.6-2.3 | x86_64 | Development files for libdlib | openSUSE Tumbleweed |
dlib-devel | 19.15-lp150.9.1 | x86_64 | Development files for libdlib | openSUSE Leap 15 |
geoclue | 0.12.99-lp150.5.1 | x86_64 | Modular Geoinformation Service | openSUSE Leap 15 |
geoclue-example | 0.12.99-lp150.5.1 | x86_64 | Modular Geoinformation Service - Example backend | openSUSE Leap 15 |
geoclue-gsmloc | 0.12.99-lp150.5.1 | x86_64 | Modular Geoinformation Service - GSM backend | openSUSE Leap 15 |
geoclue-recommended | 0.12.99-lp150.5.1 | x86_64 | Modular Geoinformation Service - Recommended providers | openSUSE Leap 15 |