sol-prog / Clang-in-DockerView external linksLinks
☆20Apr 19, 2020Updated 5 years ago
Alternatives and similar repositories for Clang-in-Docker
Users that are interested in Clang-in-Docker are comparing it to the libraries listed below
Sorting:
- Graphlib is a C Library for Graph. Importing this will provide Graph API to extent to applications.☆12Mar 2, 2018Updated 7 years ago
- Convergent Dispersal Deduplication Datastore☆10Jan 21, 2016Updated 10 years ago
- ☆10Jul 8, 2020Updated 5 years ago
- ☆11Mar 17, 2021Updated 4 years ago
- PID controller playground in Python☆11Dec 9, 2016Updated 9 years ago
- This is the example model described in the paper S. Resch and M. Paulitsch, "Using TLA+ in the Development of a Safety-Critical Fault-Tol…☆18Nov 24, 2017Updated 8 years ago
- Static analysis for llvm☆20Mar 31, 2015Updated 10 years ago
- ☆18May 31, 2015Updated 10 years ago
- This project provides several implementations for commit untangling and proposes a new representation of git patches by projecting the pa…☆11Jul 28, 2025Updated 6 months ago
- Erlang client for StatsD☆19Oct 9, 2018Updated 7 years ago
- ☆10May 5, 2021Updated 4 years ago
- Experimental hostapd/wpa_supplicant that allows automatic MACsec channel establishment☆11Sep 5, 2017Updated 8 years ago
- Chaitin-Briggs register-allocation algorithm (LLVM back-end)☆12Jan 6, 2016Updated 10 years ago
- This repository accompanies the research paper "P. Kreutzer, S. Kraus, M. Philippsen: Language-Agnostic Generation of Compilable Test Pro…☆12Jul 8, 2022Updated 3 years ago
- Stuff related to scraping the Code Review StackExchange☆12Jan 19, 2023Updated 3 years ago
- run multiple shell commands in parallel and coordinate their output☆31Jul 5, 2012Updated 13 years ago
- ESEC/FSE'21: Prediction-Preserving Program Simplification☆10Oct 4, 2022Updated 3 years ago
- Atom Appimage for linux 64bits☆12Nov 23, 2022Updated 3 years ago
- Ying Zhang, Ya Xiao, Md Mahir Asef Kabir, Daphne Yao, Na Meng. Example-Based Vulnerability Detection and Repair in Java Code 30th IEEE/AC…☆10Jul 31, 2022Updated 3 years ago
- A curative list of app ideas that you can implement using the Large Language Models.☆12Oct 18, 2023Updated 2 years ago
- A simple /proc/<pid>/{mem,maps} library for Rust☆11May 28, 2022Updated 3 years ago
- Mirror of NetBSD sources useful with rump kernels☆13Mar 23, 2017Updated 8 years ago
- ☆14Aug 21, 2020Updated 5 years ago
- NoVT is a compiler-based defense against vtable hijacking in C++ programs. It compiles C++ programs without using vtables.☆50Sep 29, 2022Updated 3 years ago
- Weka package for parameter optimization, similar to GridSearch, but with arbitrary number of parameters.☆10Feb 17, 2021Updated 4 years ago
- A iOS Terminal from MTerminal, I just reorganize it☆12Aug 24, 2015Updated 10 years ago
- Compile flags database generating compiler wrapper☆11Mar 22, 2022Updated 3 years ago
- A simple load balancer for Erlang processes☆19Oct 2, 2014Updated 11 years ago
- My minimal emacs setup☆11Aug 16, 2023Updated 2 years ago
- A collection of scripts based on libclang for extracting API information from interpreters☆25Jul 10, 2012Updated 13 years ago
- Merge git changes on commit at a time.☆15Nov 2, 2020Updated 5 years ago
- Test scripts and build framework for iX projects☆11Dec 9, 2019Updated 6 years ago
- Program Transformation Tool for Java Methods☆11Sep 16, 2022Updated 3 years ago
- ☆14Dec 27, 2020Updated 5 years ago
- This is Github repository for "Forky" published in ICSE'25☆14Sep 15, 2025Updated 5 months ago
- Minimal configuration component test runner supporting browser testing, phantomjs, and saucelabs.☆97Nov 7, 2019Updated 6 years ago
- Python transcompiler for translating Rokwell's Ladder exported files (.L5X) to C.☆12Aug 7, 2019Updated 6 years ago
- Information about the CodedotAI reading group sessions.☆12Aug 16, 2021Updated 4 years ago
- A diff tool that highlights changes at the token (rather than line) level☆13Dec 19, 2022Updated 3 years ago