Full LLVM 3.7 Source Code with SAFECode Project Committed
☆11Feb 25, 2017Updated 9 years ago
Alternatives and similar repositories for safecode-llvm37
Users that are interested in safecode-llvm37 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- libs2e.so☆18Dec 19, 2020Updated 5 years ago
- Pre-built bitcode files for the Linux kernel☆22Sep 18, 2019Updated 7 years ago
- A tool for estimating a system's information leakage via Machine Learning☆10Jun 28, 2024Updated 2 years ago
- Lists of must-read papers (mainly security papers)☆32Sep 18, 2024Updated 2 years ago
- Asynchronous Database Library based on Asio☆14Aug 26, 2019Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Movec: A Tool for the Monitoring and Verification of C Programs☆23Mar 9, 2024Updated 2 years ago
- Scripts to collect microcode from CPUMicrocodes Repo and to downgrade to a compatible microcode.☆22Oct 18, 2024Updated 2 years ago
- Symbolic range analysis for LLVM.☆12Jan 10, 2016Updated 10 years ago
- Anderson points-to analysis implementation based on LLVM☆12Jan 3, 2021Updated 5 years ago
- ☆12Oct 22, 2021Updated 5 years ago
- functional template library☆16Jun 13, 2016Updated 10 years ago
- A handy tool for writing RESTful API in golang. It enables you to exchange data between client and server through a uniform JSON format.☆13Dec 22, 2018Updated 7 years ago
- Pointer Analysis with Tunable Precision☆27Mar 23, 2016Updated 10 years ago
- Map2Check: Finding Software Vulnerabilities☆31Oct 30, 2026Updated last week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- code examples and my solution to the exercises in the book Functional Programming in OCaml☆10Jan 2, 2019Updated 7 years ago
- RISC-V CPU, simple 5-stage in-order pipeline, for low-end applications needing MMUs and some performance☆12Apr 28, 2026Updated 6 months ago
- Simple yet useful proxy models for Qt 5☆13Feb 21, 2019Updated 7 years ago
- LibVMI in MiniOS☆12May 22, 2021Updated 5 years ago
- ALLVM Tools☆57Mar 23, 2022Updated 4 years ago
- C++ printers for different STL containers☆17Sep 20, 2017Updated 9 years ago
- Rust vectors with type level size☆24Apr 29, 2021Updated 5 years ago
- Tiny Curl C++ wrapper☆12Jun 28, 2018Updated 8 years ago
- FreeBSD service daemon for KBFS, the Keybase filesystem☆13Jul 22, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- LLVM trunk with poolalloc trunk modified to compile only DSA☆12Jul 9, 2015Updated 11 years ago
- ☆10Jun 13, 2019Updated 7 years ago
- Beta Version of Cryptographic Fault Diagnosis Tool (VerFI)☆13Nov 6, 2020Updated 6 years ago
- ☆18Mar 29, 2026Updated 7 months ago
- Builds Data Provenance Graph for Multi-Threaded Programms using tthread and Intel Pt.☆14Jun 3, 2016Updated 10 years ago
- How to do callbacks in C++11.☆14Sep 1, 2015Updated 11 years ago
- Fennel Language Support for Sublime Text 3 & 4☆15May 18, 2023Updated 3 years ago
- Efficiently import pictures while handling duplicates gracefully☆11Sep 20, 2022Updated 4 years ago
- Simple helper functions to make de/serializing c++ enum classes easy and safe☆16May 7, 2018Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Expressive deterministic concurrency in Scala☆15Aug 17, 2021Updated 5 years ago
- Demonstrate gRPC examples in 12 programming languages.☆19Updated this week
- Buffer overflow testbed, research paper published at ACSAC 2011☆95Aug 9, 2017Updated 9 years ago
- Event scheduling with Redis for OpenFaaS (experimental)☆11Apr 17, 2018Updated 8 years ago
- monospaced 7x14 bitmap font☆12Mar 8, 2021Updated 5 years ago
- Predictive-Corrective Incompressible SPH paper implementation☆14May 13, 2016Updated 10 years ago
- Implementation of Tagged Memory security policies into Rocket Core☆10Nov 8, 2016Updated 9 years ago