Compiler Course
☆19Apr 29, 2015Updated 11 years ago
Alternatives and similar repositories for llvm
Users that are interested in llvm are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Implementation and evaluation data of the Concolic Walk heuristic for solving complex arithmetic path conditions.☆13Jul 11, 2014Updated 12 years ago
- Corpora used to seed NSS' fuzzing targets☆11Sep 15, 2026Updated last week
- QCRAFT AutoScheduler: a library that allows users to automatically schedule the execution of their own quantum circuits, improving effici…☆18Oct 28, 2025Updated 10 months ago
- Binary dynamic, static, and symbolic execution analysis tools for directed test generation☆22Nov 14, 2019Updated 6 years ago
- Program Analysis for LLVM☆38Mar 25, 2017Updated 9 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.
- A library for analyzing LLVM bitcode in Haskell☆43Oct 9, 2014Updated 11 years ago
- Woodpecker: Verifying systems rules using rule-directed symbolic execution☆12Jul 5, 2016Updated 10 years ago
- Biometric system that can recognize users using photos of their irides. Based on ResNet50.☆24Jun 16, 2020Updated 6 years ago
- A unification-based alias analysis and related tools☆35Oct 9, 2024Updated last year
- Simple boolean expression evaluation engine for python.☆16May 11, 2023Updated 3 years ago
- ☆11Dec 10, 2016Updated 9 years ago
- BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation☆31Feb 26, 2021Updated 5 years ago
- µGFX is a library to interface different displays and touchscreens to your embedded application. Extremely low system requirements are ou…☆15Oct 7, 2013Updated 12 years ago
- Precise and Signedness Agnostic Interval Analysis for LLVM IR -- This website is obsolete. However, the wrapped interval domain is now im…☆12Dec 18, 2017Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 开源开发工具大会OSDT2018报告PPT等资料☆18Nov 17, 2019Updated 6 years ago
- Evaluation board for Allwinner V3s☆12Jan 17, 2018Updated 8 years ago
- Stock Analysis System based on Spark, Kafka.☆10Dec 22, 2019Updated 6 years ago
- Checkout some cool self-projects you can try your hands on to curb your boredom this December!☆24Jul 17, 2021Updated 5 years ago
- Fuzzilli For quickjs☆26Sep 16, 2019Updated 7 years ago
- A List of InfoSec Resources☆10Jun 12, 2014Updated 12 years ago
- LAR-19679-1 : CPR*: Formally Verified Compact Position Reporting Algorithm☆18Nov 30, 2020Updated 5 years ago
- OpenCL tool to detect buffer overflows in GPU kernels☆23Jan 7, 2019Updated 7 years ago
- OpenMP support for LLVM/Clang compiler☆17Jul 19, 2013Updated 13 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Dumping ground for whatever IDA Pro scripts I write☆16Oct 9, 2016Updated 9 years ago
- AppDoctor☆16Mar 8, 2017Updated 9 years ago
- This python/jython script is used as plugin to BinNavi tool to analyze a x86 binanry file to find buffer overflow prone functions. Such f…☆29Jan 8, 2013Updated 13 years ago
- LLVM optimization passes (DCE, LICM), compilers and stuff☆14Dec 10, 2020Updated 5 years ago
- Tools released in CSS 2019☆38Aug 1, 2019Updated 7 years ago
- [Patched] Sandbox escape Chrome exploit. Allows the execution of local binaries, read/write functions and exfiltration of Chrome OAuth to…☆28Oct 13, 2017Updated 8 years ago
- Sample app demonstrating AngularJS features☆20Nov 12, 2014Updated 11 years ago
- Pebble Homebrew Tap☆17Jun 17, 2018Updated 8 years ago
- Extract Market Data from Yahoo Finance and Quandl☆14Sep 9, 2016Updated 10 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- PLEXIL5 is a Formal Verification Environment for PLEXIL☆20Sep 16, 2026Updated last week
- VLog is a high-performance Datalog engine. It is highly memory efficient and can process large programs with thousands of rules.☆18Mar 22, 2018Updated 8 years ago
- Inlining functions can be a very effective method of duplicating sensitive code for increased security☆23Mar 11, 2014Updated 12 years ago
- Inter-procedural analysis framework and dependency/information-flow analysis for LLVM☆19Mar 2, 2013Updated 13 years ago
- OpenOrd: An Open-Source Toolbox for Large Graph Layout☆25Mar 24, 2015Updated 11 years ago
- CUDA and OpenCL SVM training benchmark☆16Jul 20, 2017Updated 9 years ago
- breadth-first search in parallel☆18May 30, 2013Updated 13 years ago