Compiler Course
☆19Apr 29, 2015Updated 10 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:
- Binary dynamic, static, and symbolic execution analysis tools for directed test generation☆22Nov 14, 2019Updated 6 years ago
- Implementation and evaluation data of the Concolic Walk heuristic for solving complex arithmetic path conditions.☆13Jul 11, 2014Updated 11 years ago
- Automated IOC-Generation scripts and tools☆24Sep 14, 2016Updated 9 years ago
- CMU 15-745 Spring 2014☆10Mar 7, 2014Updated 12 years ago
- A library for analyzing LLVM bitcode in Haskell☆43Oct 9, 2014Updated 11 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Execute shell commands on one or more remote computers via SSH☆15Apr 24, 2017Updated 8 years ago
- DARPA Cyber Grand Challenge Challenge Binary Testing tools☆31Jan 24, 2018Updated 8 years ago
- High-performance graph processing on hybrid CPU-GPU platforms by using dynamic load-balancing☆12Sep 15, 2016Updated 9 years ago
- IDA Python Scripts☆46Jul 19, 2009Updated 16 years ago
- Simple boolean expression evaluation engine for python.☆16May 11, 2023Updated 2 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
- 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
- Stock Analysis System based on Spark, Kafka.☆10Dec 22, 2019Updated 6 years ago
- This project deals with the use of machine learning to predict changes in stock values as well as we incorporating study on effect of dif…☆13Oct 18, 2017Updated 8 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- 100% async http-server library written in C☆17Jun 9, 2015Updated 10 years ago
- ☆14Feb 3, 2021Updated 5 years ago
- A List of InfoSec Resources☆10Jun 12, 2014Updated 11 years ago
- LAR-19679-1 : CPR*: Formally Verified Compact Position Reporting Algorithm☆16Nov 30, 2020Updated 5 years ago
- Repository containing the basic peripheral drivers of nrf52832 SoC to get started☆15Sep 4, 2016Updated 9 years ago
- Dumping ground for whatever IDA Pro scripts I write☆16Oct 9, 2016Updated 9 years ago
- Efficient and High-quality Graph Coloring on the GPU☆16Apr 3, 2022Updated 4 years ago
- AppDoctor☆16Mar 8, 2017Updated 9 years ago
- Open Source Point and Shoot Camera☆16Apr 4, 2017Updated 9 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- LLVM optimization passes (DCE, LICM), compilers and stuff☆14Dec 10, 2020Updated 5 years ago
- Code snippets for the workshop on concurrent data structure implementation.☆32Feb 27, 2013Updated 13 years ago
- Tools released in CSS 2019☆38Aug 1, 2019Updated 6 years ago
- [Patched] Sandbox escape Chrome exploit. Allows the execution of local binaries, read/write functions and exfiltration of Chrome OAuth to…☆29Oct 13, 2017Updated 8 years ago
- Pebble Homebrew Tap☆17Jun 17, 2018Updated 7 years ago
- Extract Market Data from Yahoo Finance and Quandl☆14Sep 9, 2016Updated 9 years ago
- OpenOrd: An Open-Source Toolbox for Large Graph Layout☆23Mar 24, 2015Updated 11 years ago
- PLEXIL5 is a Formal Verification Environment for PLEXIL☆19Mar 3, 2026Updated last month
- mUPnP for C++ is a development package for UPnP™ developers. CyberLink controls these protocols automatically, and supports to create you…☆27Aug 30, 2025Updated 7 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- VLog is a high-performance Datalog engine. It is highly memory efficient and can process large programs with thousands of rules.☆17Mar 22, 2018Updated 8 years ago
- a graph database using redis sets☆56Mar 10, 2013Updated 13 years ago
- ☆11Oct 28, 2020Updated 5 years ago
- breadth-first search in parallel☆18May 30, 2013Updated 12 years ago
- ☆66Oct 29, 2019Updated 6 years ago
- Rust library to convert SVG data to a list of flattened polylines. Also includes FFI bindings.☆33Jan 6, 2026Updated 3 months ago
- A Lightweight Graph Processing Framework for Multi-GPUs☆14Apr 15, 2015Updated 11 years ago