knowknowledge / Python-C-ParserLinks
C Parser written in Python
☆12Updated 13 years ago
Alternatives and similar repositories for Python-C-Parser
Users that are interested in Python-C-Parser are comparing it to the libraries listed below
Sorting:
- SubC Compiler : By Nils M Holm, 2011--2012☆16Updated 13 years ago
- Unlambda interpreter☆11Updated last year
- Robot navigation algorithms implemented in SPARK☆12Updated 11 years ago
- Generic implementation of different CFA families based on monadic decomposition☆23Updated 12 years ago
- 🔧 🎨 HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskell☆15Updated last year
- A Python-based C compiler for x86-64, featuring full parsing, semantic analysis, IR generation, and assembly code emission.☆25Updated 3 months ago
- A home-made stack based language heavily inspired from PostScript☆11Updated 5 years ago
- A simple and educational compiler for the SASL programming language☆23Updated 7 years ago
- SOM++ - C++ implementation of the Simple Object Machine Smalltalk☆13Updated 3 months ago
- LIMA: Language for Integrated Modeling and Analysis☆12Updated 7 years ago
- A compiler for a subset of C written in C.☆19Updated 6 years ago
- ☆19Updated 8 years ago
- Rosa, the real compiler☆20Updated 7 years ago
- x86-64 assembly as a Haskell EDSL☆36Updated 15 years ago
- "oh god there are like a million different kinds of analyses, quickly remind me what this one means?"☆19Updated 4 years ago
- Automatically exported from code.google.com/p/andrews-deal☆10Updated 3 years ago
- Perplex, Lemon, and Re2c: A cross-platform lexer/parser replacement for flex and bison☆30Updated 10 years ago
- Optimizing Abstract Abstract Machines☆31Updated 8 years ago
- Abusing the C99 preprocessor for meta-programming☆20Updated 8 years ago
- Yacfe (Yet Another C Front-End) is mainly an OCaml API to write style-preserving source-to-source transformations such as refactorings on…☆25Updated 7 years ago
- Portable SIMD specification☆19Updated 8 years ago
- Linux kernel library functions formally verified.☆52Updated last month
- Type qualifiers for C☆16Updated 14 years ago
- An embeddable LISP in C99☆22Updated 7 years ago
- Lectures in MIPT: intro to engineering software using model-checking.☆17Updated 4 years ago
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆37Updated 8 years ago
- The compiler and standard distribution for the C∀ programming language☆84Updated 3 weeks ago
- just a toy operating system for fun☆19Updated 11 years ago
- lunatic: a toy lua interpreter☆18Updated 5 years ago
- The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.☆12Updated 4 years ago