☆10Sep 14, 2019Updated 6 years ago
Alternatives and similar repositories for HiCOND
Users that are interested in HiCOND are comparing it to the libraries listed below
Sorting:
- A study of the effect of relaxing too conservative conditions for generating UB-free compiler test-cases of Csmith’s code-generation and …☆17Jul 24, 2025Updated 7 months ago
- Randomly generate a C (or javascript) program☆37Apr 22, 2018Updated 7 years ago
- Crellvm: Verified Credible Compilation for LLVM☆18Jun 26, 2018Updated 7 years ago
- Public BanditFuzz Repo☆12Jan 12, 2021Updated 5 years ago
- ☆10Sep 7, 2016Updated 9 years ago
- This is the project repository of our ESEC/FSE 2021 paper: A Comprehensive Study of Deep Learning Compiler Bugs.☆23Aug 15, 2023Updated 2 years ago
- A summary of ideas about transpilation -- work in progress☆23Jun 2, 2023Updated 2 years ago
- Process Orchestration Framework: A camunda 7 fork☆21Updated this week
- A JIT compiler validator for JVMs via CSX/JoNM introduced in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)☆62Mar 9, 2025Updated 11 months ago
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆62Jan 28, 2026Updated last month
- SDLC Copilot is an Agentic AI system designed to streamline and automate the Software Development Lifecycle (SDLC). From requirement gath…☆23Jun 14, 2025Updated 8 months ago
- ☆23Dec 30, 2025Updated 2 months ago
- ☆37Aug 21, 2025Updated 6 months ago
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆37Jul 6, 2017Updated 8 years ago
- 智能小车☆10Aug 20, 2015Updated 10 years ago
- https://icml.cc/virtual/2023/poster/24354☆10Aug 15, 2023Updated 2 years ago
- TreeFuser is a tool that perform traversals fusion for recursive tree traversals written in subset of the c++ language.☆11Aug 13, 2023Updated 2 years ago
- A Grand Sumo prediction game☆10Updated this week
- CCG is a random C Code Generator☆44Sep 11, 2022Updated 3 years ago
- Source code for ISSTA'24 paper "AI Coders Are Among Us: Rethinking Programming Language Grammar Towards Efficient Code Generation"☆12Oct 21, 2024Updated last year
- ☆10Apr 16, 2017Updated 8 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
- An example on how to retrieve data from Competitive Companion☆11Dec 8, 2022Updated 3 years ago
- ☆10Oct 13, 2023Updated 2 years ago
- ☆11Jan 19, 2025Updated last year
- A practical fuzzing tool for SMT solvers☆11Nov 26, 2025Updated 3 months ago
- Unix环境高级编程学习笔记☆13Jul 20, 2014Updated 11 years ago
- Composable Data and Type Generators for C++☆10Mar 25, 2019Updated 6 years ago
- 各学科知识☆12Nov 11, 2016Updated 9 years ago
- 这是基于Linux系统的 ftp系统能实现文件的上传和下载☆12May 10, 2018Updated 7 years ago
- ☆22Oct 30, 2024Updated last year
- A minimalist deep research framework for any OpenAI API compatible LLMs.☆14Nov 3, 2025Updated 4 months ago
- （从Google Code迁移过来的）这是我们的学生作业，一个简单的PL/0编译器，不过，编译只到中间代码为止，这是因为我们的汇编水平还没有到达能编写完整应用程序的水平。所以，仅仅是将PL/0代码编译成中间代码——一种很像汇编的四元式，然后请使用Interpreter解释运…☆10Mar 13, 2015Updated 10 years ago
- ☆14Aug 18, 2025Updated 6 months ago
- SysMD is a SysML v2/KerML tool. It offers a little entry hurdle by its Notebook-like UI. Unique to SysMD is its integrated solver that do…☆33Dec 11, 2025Updated 2 months ago
- SCI期刊信息爬虫☆14Jan 6, 2019Updated 7 years ago
- [ISSTA'24] A Large-Scale Dataset Capable of Enhancing the Prowess of Large Language Models for Program Testing☆12Jan 7, 2025Updated last year
- A toy compiler made with LLVM☆16Aug 30, 2024Updated last year
- 國際STEAM Maker Forum(STEAM) 創客論壇☆17Aug 5, 2016Updated 9 years ago