Structures LLVM IR into C/C++.
☆10Sep 19, 2026Updated last month
Alternatives and similar repositories for NotDec-llvm2c
Users that are interested in NotDec-llvm2c are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Catch IPv6 NS on WAN and send it to LAN. (Should) Make OpenWrt IPv6 ndp relay work.☆16Jun 30, 2025Updated last year
- firmware and web tool to update the epaper display on a cc2640 controlled shelf tag device☆29Dec 7, 2023Updated 2 years ago
- ☆21Jul 22, 2024Updated 2 years ago
- Modified qemu for binary-only kernel tracing, address sanitizer and so on☆19May 5, 2026Updated 5 months ago
- Complexity Analysis Tool for Integer Programs☆15Jan 30, 2026Updated 8 months 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.
- Binary Translator to LLVM IR☆49Dec 2, 2017Updated 8 years ago
- Sail x86 model automatically translated from the ACL2 model☆15Nov 29, 2024Updated last year
- Demand-Driven Pointer Analysis☆15Updated this week
- Static program slicer used in Symbiotic tool☆12Mar 31, 2025Updated last year
- 剧情文本的多语言整理,涵盖简体中文、繁體中文、English、日本語、한국어☆60Sep 24, 2026Updated last month
- 个人博客☆10Mar 28, 2023Updated 3 years ago
- CTF challenges I've created☆14Sep 7, 2025Updated last year
- Send relative mouse movements and keyboard key strokes to remote computer. Used with RDP to play games.☆14Nov 12, 2021Updated 4 years ago
- Filter out critical open source software with our metrics☆37Dec 24, 2025Updated 10 months 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.
- Windows AppResolver LPE PoC with a filtered-admin-to-SYSTEM demonstration☆14Jul 17, 2026Updated 3 months ago
- Translating humaneval into dafny☆12Mar 31, 2025Updated last year
- SemiDefinite Programming Algorithm (SDPA) for Python☆12Jul 1, 2026Updated 3 months ago
- Privilege Escalation via a Page Use-After-Free in Qualcomm's AI Accelerator Linux Kernel Driver☆15May 22, 2026Updated 5 months ago
- A web interface and cli tool for git-latexdiff by uploading two overleaf project zip file.☆16Jul 26, 2026Updated 2 months ago
- ☆13Jan 22, 2025Updated last year
- Convert Jupyter notebooks to Typst source code (and then to PDFs)☆10Dec 31, 2024Updated last year
- BBC Micro:Bit BTLE sniffing proof of concept☆10Dec 27, 2017Updated 8 years ago
- ☆11Mar 3, 2025Updated last year
- 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.
- Evidence-driven reverse engineering and unpacking workflows for AI agents, with reproducible Windows experiments.☆25Oct 17, 2026Updated last week
- A GUI tool to create a BadUSB stick (based on Psychson)☆10Jun 19, 2016Updated 10 years ago
- ☆20Nov 5, 2018Updated 7 years ago
- ☆15Jun 11, 2025Updated last year
- wooyun_articles fork from☆19Feb 10, 2017Updated 9 years ago
- Benchmark for evaluating Coq proof search tools.☆12Apr 27, 2026Updated 5 months ago
- DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols☆18Jan 1, 2022Updated 4 years ago
- PCB symbol and footprint for TTGO T-Display v1.1☆14Feb 24, 2020Updated 6 years ago
- 北邮人树洞 —— 一个基于Django的Web应用☆14May 28, 2013Updated 13 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.
- steam client monitor☆45Sep 26, 2026Updated 3 weeks ago
- Coco/R for Java☆16Aug 14, 2021Updated 5 years ago
- 汇总一些好用的工具（雀魂、天凤）和麻将资料，纯主观推荐，欢迎提交pr☆11Oct 13, 2024Updated 2 years ago
- Dafny for Metatheory of Programming Languages☆29Feb 6, 2026Updated 8 months ago
- All challenges and writups of the GlacierCTF 2023☆16Feb 15, 2024Updated 2 years ago
- Dafny-VMC: a Library for Verified Monte Carlo Algorithms☆16Nov 4, 2024Updated last year
- eTainter is an automated static taint analysis tool for detecting gas-related vulnerabilities in smart contracts.☆21Jul 24, 2023Updated 3 years ago