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:
- 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
- Symbolic range analysis for LLVM.☆12Jan 10, 2016Updated 10 years ago
- functional template library☆15Jun 13, 2016Updated 10 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.
- ☆12Oct 22, 2021Updated 4 years ago
- Map2Check: Finding Software Vulnerabilities☆31Updated this week
- Pointer Analysis with Tunable Precision☆27Mar 23, 2016Updated 10 years ago
- Scripts to collect microcode from CPUMicrocodes Repo and to downgrade to a compatible microcode.☆22Oct 18, 2024Updated 2 years ago
- Asynchronous Database Library based on Asio☆14Aug 26, 2019Updated 7 years ago
- code examples and my solution to the exercises in the book Functional Programming in OCaml☆10Jan 2, 2019Updated 7 years ago
- Simple yet useful proxy models for Qt 5☆13Feb 21, 2019Updated 7 years ago
- ALLVM Tools☆57Mar 23, 2022Updated 4 years ago
- LibVMI in MiniOS☆12May 22, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Rust vectors with type level size☆24Apr 29, 2021Updated 5 years ago
- ☆18Mar 29, 2026Updated 6 months ago
- FreeBSD service daemon for KBFS, the Keybase filesystem☆13Jul 22, 2021Updated 5 years ago
- Simple helper functions to make de/serializing c++ enum classes easy and safe☆16May 7, 2018Updated 8 years ago
- Beta Version of Cryptographic Fault Diagnosis Tool (VerFI)☆13Nov 6, 2020Updated 5 years ago
- LLVM trunk with poolalloc trunk modified to compile only DSA☆12Jul 9, 2015Updated 11 years ago
- Defect prediction of java projects using neural networks.☆15Jun 28, 2017Updated 9 years ago
- How to do callbacks in C++11.☆14Sep 1, 2015Updated 11 years ago
- C++ printers for different STL containers☆17Sep 20, 2017Updated 9 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆16Jan 10, 2024Updated 2 years ago
- RISC-V CPU, simple 5-stage in-order pipeline, for low-end applications needing MMUs and some performance☆12Apr 28, 2026Updated 5 months ago
- Demonstrate gRPC examples in 12 programming languages.☆19Oct 5, 2026Updated last week
- Type qualifiers for C☆16Sep 21, 2011Updated 15 years ago
- Fennel Language Support for Sublime Text 3 & 4☆15May 18, 2023Updated 3 years ago
- Tiny Curl C++ wrapper☆12Jun 28, 2018Updated 8 years ago
- Secure Virtual Architecture☆43Apr 12, 2019Updated 7 years ago
- monospaced 7x14 bitmap font☆12Mar 8, 2021Updated 5 years ago
- An executable specification of the RISCV ISA in L3.☆44Mar 1, 2019Updated 7 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Calculator Tutorial for MPS generating JavaScript☆13Apr 5, 2023Updated 3 years ago
- Automatically exported from code.google.com/p/python-ctags☆17Sep 18, 2018Updated 8 years ago
- Docker images for people who want to try out building IncludeOS unikernels without having to install the development environment locally …☆17Oct 2, 2018Updated 8 years ago
- This is QNial - Array Language from Nial systems. It was published under Artistic License, but seems to have disappeared after website re…☆12May 25, 2016Updated 10 years ago
- Implementation of Tagged Memory security policies into Rocket Core☆10Nov 8, 2016Updated 9 years ago
- Pretty printer from GTIRB to assembly code☆54Sep 4, 2026Updated last month
- LLVM pass☆23Jun 23, 2020Updated 6 years ago