aryx / yacfe
Yacfe (Yet Another C Front-End) is mainly an OCaml API to write style-preserving source-to-source transformations such as refactorings on C source code.
☆25Updated 6 years ago
Alternatives and similar repositories for yacfe:
Users that are interested in yacfe are comparing it to the libraries listed below
- A tool for testing C compilers automatically☆20Updated 9 years ago
- Ocamlgraph overlay for llvm☆21Updated 9 years ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Updated 5 years ago
- An OCaml bytecode to LLVM compiler☆43Updated 7 years ago
- Optimizing Abstract Abstract Machines☆30Updated 7 years ago
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- The MemCAD static analyzer☆25Updated 3 years ago
- OCaml library to transform an Llvm control flow graph in an SMT formula.☆13Updated 6 years ago
- ☆19Updated 8 years ago
- Fully proved small C functions (examples for verification course).☆16Updated 7 years ago
- Universal instruction selection☆12Updated 6 years ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆26Updated 4 years ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023☆17Updated last year
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 12 years ago
- Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"☆25Updated 2 years ago
- OCaml library for manipulating context-free grammars☆20Updated 2 months ago
- Experiments about intermediate representations in compilers☆25Updated 12 years ago
- OCaml LLVM bindings tutorial☆22Updated 7 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆29Updated 3 years ago
- Linux kernel library functions formally verified.☆50Updated 4 years ago
- ☆21Updated 11 years ago
- Metacompiler library supporting incremental transformation based on reference attribute grammar controlled rewriting.☆30Updated last month
- Parser for the llvm bitcode format☆60Updated this week
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated last year
- My Own Linear Lisp☆40Updated 6 years ago
- GoNative project: formal machines models in Coq☆36Updated 7 years ago
- Simple implementation of a parsing algorithm inspired by Earley☆14Updated 2 years ago
- CHR2 to SQL conversion☆13Updated 9 years ago
- ☆12Updated 3 weeks ago