libgcrypt example code
☆20Sep 1, 2015Updated 10 years ago
Alternatives and similar repositories for gcrypt-example
Users that are interested in gcrypt-example are comparing it to the libraries listed below
Sorting:
- Woodpecker: Verifying systems rules using rule-directed symbolic execution☆12Jul 5, 2016Updated 9 years ago
- Step by step manual for building KLEE☆18Jul 21, 2017Updated 8 years ago
- Stony Brook University CFI library☆22Sep 30, 2014Updated 11 years ago
- This repository contains the ROS wrapper of Spark's driver plus various ROS noetic applications.This project includes some commonly used …☆15May 13, 2025Updated 9 months ago
- ☆10Sep 28, 2020Updated 5 years ago
- This repository contains the ROS wrapper of scorpio's driver plus various ROS applications.☆10Jan 29, 2026Updated last month
- A library for analyzing LLVM bitcode in Haskell☆44Oct 9, 2014Updated 11 years ago
- A GUI application that emulates a GLCD by allowing you to set/clear pixels speeding-up embedded UI development.☆13Sep 11, 2020Updated 5 years ago
- Implementation of MetaVQA.☆12Jul 3, 2021Updated 4 years ago
- CustomAlertSoundsDemo☆11Oct 31, 2016Updated 9 years ago
- Convergent Dispersal Deduplication Datastore☆10Jan 21, 2016Updated 10 years ago
- Profile how CUDA applications create and modify data in memory.☆14Mar 22, 2018Updated 7 years ago
- ☆11Mar 17, 2021Updated 4 years ago
- SVM Abstrac Verifier tool☆12Oct 13, 2022Updated 3 years ago
- Static analysis for llvm☆20Mar 31, 2015Updated 10 years ago
- learning materials of driveos from nvidia drive sdk.☆10Sep 12, 2024Updated last year
- A netmap-based userspace network stack.☆10May 7, 2015Updated 10 years ago
- funky fun fuzzer☆11Jul 6, 2021Updated 4 years ago
- This is the example model described in the paper S. Resch and M. Paulitsch, "Using TLA+ in the Development of a Safety-Critical Fault-Tol…☆18Nov 24, 2017Updated 8 years ago
- 多功能帧动画视图控件，可播放高分辨率图片，减少内存开销☆17Jul 28, 2017Updated 8 years ago
- A simple /proc/<pid>/{mem,maps} library for Rust☆11May 28, 2022Updated 3 years ago
- Mirror of NetBSD sources useful with rump kernels☆13Mar 23, 2017Updated 8 years ago
- Research Artifact For Our Submission To VLDB☆10Oct 27, 2021Updated 4 years ago
- CVE-2023-40028 affects Ghost, an open source content management system, where versions prior to 5.59.1 allow authenticated users to uploa…☆13Jan 7, 2025Updated last year
- ☆11Mar 22, 2024Updated last year
- AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)☆11Oct 20, 2020Updated 5 years ago
- Various optimized implementations of YUV to RGB conversion routines☆12May 8, 2016Updated 9 years ago
- POV templates and compilation support for CGC binaries.☆10May 19, 2022Updated 3 years ago
- Amoeba: Binary Code Diverisfication through Composite Software Diversification☆10Aug 3, 2017Updated 8 years ago
- Experimental hostapd/wpa_supplicant that allows automatic MACsec channel establishment☆11Sep 5, 2017Updated 8 years ago
- Bilinear image filtering implemented with SSE4, AVX2 and AVX512.☆10Jul 8, 2023Updated 2 years ago
- Fast object detector - Active Deformable Part Models☆11Feb 9, 2015Updated 11 years ago
- ☆12Jul 21, 2023Updated 2 years ago
- Systematic Protocol Analysis Project☆11Jun 13, 2017Updated 8 years ago
- 定投改变命运 —— 让时间陪你慢慢变富☆11Oct 23, 2019Updated 6 years ago
- Minimal configuration component test runner supporting browser testing, phantomjs, and saucelabs.☆97Nov 7, 2019Updated 6 years ago
- ☆14Dec 27, 2020Updated 5 years ago
- ☆11Apr 2, 2021Updated 4 years ago
- An Android Build for cpulimit☆12Nov 18, 2015Updated 10 years ago