This repo contains a version of the LLVM test suite that is being modified to use Checked C. The modified programs will be used to benchmark the implementation of Checked C in clang/LLVM. Checked C is an extension to C that adds checking to detect or prevent common programming errors such as out-of-bounds memory accesses.
☆14Sep 1, 2022Updated 3 years ago
Alternatives and similar repositories for checkedc-llvm-test-suite
Users that are interested in checkedc-llvm-test-suite are comparing it to the libraries listed below
Sorting:
- This repo contains a version of musl that is being modified to Checked C. Checked C is an extension to C that adds checking to detect or …☆27Jun 12, 2023Updated 2 years ago
- The vOW4SIKE project provides C code that implements the parallel collision search algorithm by van Oorschot and Wiener (vOW). The algori…☆12May 25, 2021Updated 4 years ago
- Post-quantum Cryptography VPN (openvpn subproject)☆14Sep 4, 2020Updated 5 years ago
- Jacdac C Firmware library☆14Aug 13, 2025Updated 6 months ago
- Post-quantum Cryptography VPN (openvpn-gui subproject)☆14Sep 4, 2020Updated 5 years ago
- Cairo lua bindings with extensions for torch☆15Jun 12, 2016Updated 9 years ago
- CorrelationVector-Cpp provides a reference C++ implementation of the CorrelationVector protocol for tracing and correlation of events thr…☆20Aug 2, 2022Updated 3 years ago
- Application for testing ODBC Drivers and ODBC Driver Manager☆37Jun 12, 2023Updated 2 years ago
- A driver for WS2812B LEDs in MakeCode☆19Sep 1, 2022Updated 3 years ago
- Quantum Safe OpenSSH☆17Apr 24, 2023Updated 2 years ago
- Drivers of the bolt robot☆24Aug 17, 2023Updated 2 years ago
- Mirror of the PulseAudio sound server (for bug reports and pull requests go to the website!)☆16Sep 17, 2024Updated last year
- qTESLA Library, an optimized implementation of the post-quantum lattice-based digital signature scheme qTESLA.☆26Aug 31, 2022Updated 3 years ago
- This repo contains Microsoft compiler-tests to validate Windows platform particulars.☆28Jun 13, 2023Updated 2 years ago
- ☆26Aug 5, 2025Updated 6 months ago
- An Australian 16x Map for Farming Simulator FS17 - PC Only.☆16Oct 20, 2017Updated 8 years ago
- Jacdac wired protocol implementation for ESP32☆26Apr 11, 2024Updated last year
- K-V storage engine with low memory cost and low write amplification☆35Jun 12, 2023Updated 2 years ago
- [DEPRECATED] Incentive layer contracts and deployment information.☆31Aug 21, 2018Updated 7 years ago
- DAG-based blockchain☆10Apr 20, 2019Updated 6 years ago
- fbmeshd is the core technology behind Facebook's Self-organizing Mesh Access (SoMA) network.☆30Nov 12, 2020Updated 5 years ago
- A native module that kills the current process if the event loop is unresponsive☆37Jan 22, 2026Updated last month
- EdgeCortix maintained and extended fork of Apache TVM compiler stack utilized by MERA framework. TVM is an open deep learning compiler st…☆11Dec 22, 2023Updated 2 years ago
- CHERI C/C++ Programming Guide☆58Feb 7, 2026Updated 3 weeks ago
- Kernel module that makes it possible to create virtual wifi devices each with a virtualized stack.☆11Dec 13, 2011Updated 14 years ago
- A VFP class to process CSV files.☆12Feb 11, 2026Updated 2 weeks ago
- ☆10Updated this week
- This is a hanabi AI bot that can play on http://keldon.net/hanabi/☆11May 29, 2017Updated 8 years ago
- Windows ABI Structured Exception Handling Tests☆48May 8, 2025Updated 9 months ago
- Low level interface to control the Solo robots.☆39Sep 6, 2023Updated 2 years ago
- Python Inference Script(PyIS)☆19Aug 30, 2022Updated 3 years ago
- Import SMS and MMS into Signal Messenger☆12Aug 8, 2023Updated 2 years ago
- Samples for partner application development (OEM, MO, IHV) for Window☆18Jun 12, 2023Updated 2 years ago
- Its an android application☆10Oct 29, 2017Updated 8 years ago
- FaceDetection with CoreImage sample project☆17Mar 24, 2012Updated 13 years ago
- ☆13Jan 17, 2022Updated 4 years ago
- ☆14Feb 11, 2026Updated 2 weeks ago
- Sample EVM application for CCF☆14Aug 23, 2021Updated 4 years ago
- Just a port of moonscript for opencomputers☆11Jul 25, 2020Updated 5 years ago