Attribute grammar Based Language Extensions for C
☆42Feb 20, 2026Updated last week
Alternatives and similar repositories for ableC
Users that are interested in ableC are comparing it to the libraries listed below
Sorting:
- An attribute grammar-based programming language for composable language extensions☆68Feb 25, 2026Updated last week
- An integrated context-aware scanner and parser generator☆22Dec 4, 2023Updated 2 years ago
- The original timed regular expression matcher over temporal behaviors☆15Jun 26, 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 fork of st implementing scrollback, keyboard selection, and tabs.☆11Jul 23, 2014Updated 11 years ago
- A tool for checking tool output inspired by LLVM's FileCheck☆12Aug 29, 2025Updated 6 months ago
- A framework for finding completeness bugs in optimizing compiler toolchains.☆23Mar 4, 2024Updated last year
- Unicode Character Database (UCD) Tools☆13May 9, 2021Updated 4 years ago
- Instruction decoder microbenchmark suite☆11Oct 31, 2017Updated 8 years ago
- A compiler synthesizer for simple languages.☆15Dec 18, 2018Updated 7 years ago
- A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs☆20Jan 14, 2021Updated 5 years ago
- Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25)☆20Apr 1, 2025Updated 11 months ago
- DROB (Dynamic Rewriter and Optimizer of Binary code)☆26Feb 19, 2020Updated 6 years ago
- Parser of C-syntax data definitions, C-syntax function definitions☆19Jul 18, 2012Updated 13 years ago
- Orth bootstrap compiler, Orth self-hosting compiler, and OS written in Orth☆10Dec 28, 2018Updated 7 years ago
- This tool set can generate required capabilities for binaries. A system call to capability mapping is used to assign capability to the bi…☆14Oct 26, 2022Updated 3 years ago
- A benchmark for C program verification☆17Feb 22, 2024Updated 2 years ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆43Aug 14, 2024Updated last year
- An XML parser for lezer☆16Dec 27, 2024Updated last year
- RLU resizable hash-table☆17Aug 24, 2015Updated 10 years ago
- Reference material for libbeauty☆25Aug 6, 2022Updated 3 years ago
- Artifact repository for the "Practical Verification of System-Software Components Written in Standard C" paper (SOSP'24)☆24May 7, 2025Updated 9 months ago
- Forth interpreter in F#☆17Oct 26, 2023Updated 2 years ago
- Extended Roofline Model - LLVM source tree with additional libraries for the analysis of the dynamic execution in the interpreter☆17Jul 5, 2017Updated 8 years ago
- Tool for inferring cache replacement policies with automata learning. Uses LearnLib and Sketch.☆16Apr 21, 2020Updated 5 years ago
- ☆44Jul 14, 2025Updated 7 months ago
- A library for binary analysis and rewriting☆50Sep 28, 2023Updated 2 years ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆53Jul 20, 2025Updated 7 months ago
- Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.☆20Jan 6, 2018Updated 8 years ago
- The space of memory management research and systems produced by the PLASMA lab (https://plasma-umass.org).☆20Mar 22, 2021Updated 4 years ago
- SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017☆26May 5, 2021Updated 4 years ago
- ☆20Sep 27, 2019Updated 6 years ago
- Parse GNU Makefiles with Python. Work in progress!☆39Mar 22, 2025Updated 11 months ago
- Spatial layout specifications for memory management systems.☆19Sep 2, 2020Updated 5 years ago
- Regular Expression Matching in Haskell☆34Feb 2, 2018Updated 8 years ago
- Shaking expression trees until something tasty pops out☆17Oct 30, 2018Updated 7 years ago
- Forth metacompiler written in Lisp, for bootstrapping☆46May 29, 2021Updated 4 years ago
- Rag-bag of utilities and scripts that do strange things with ELF files☆18Nov 25, 2025Updated 3 months ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆107Sep 11, 2024Updated last year