ispras / oss-sydr-fuzz Star 127 Code Issues Pull requests OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software. security dse symbolic-execution symbolic fuzzing fuzz-testing vulnerabilities stability libfuzzer dynamic-symbolic-execution concolic-execution concolic oss-fuzz hybrid-fuzzing sydr sydr-fuzz Updated Jul 24, 2024 C
shamangary / ASV Star 27 Code Issues Pull requests [CVPR16] Accumulated Stability Voting: A Robust Descriptor from Descriptors of Multiple Scales image scale matching voting stability feature cvpr accumulation cvpr16 Updated Apr 21, 2016 C
milouk / Sphinx-Bullhead Star 12 Code Issues Pull requests Sphinx Custom Linux Kernel for Bullhead (Nexus 5X) android security performance battery kernel linux-kernel lineageos nexus-5x stability bullhead oreo Updated Jun 20, 2019 C
yildi1337 / GPSDO Star 11 Code Issues Pull requests A Global Positioning System (GPS) Disciplined Oscillator (DO) gps noise atmega oscillator stability phase gpsdo ocxo Updated Jan 3, 2021 C
nexos-dev / nexnix Star 7 Code Issues Pull requests The repository of NexNix, an operating system aimed to be fast and secure, with the right balance of simplicity and power fast security scalability osdev operating-system x86 microkernel stability Updated Jul 2, 2024 C
RoryBarnes / HillStability Star 2 Code Issues Pull requests Calculate Hill stability for 3-body systems stability orbits planets Updated Jan 24, 2023 C