csarn / cinpy
fork of cinpy as found somewhere on the internet
☆13Updated 6 years ago
Alternatives and similar repositories for cinpy:
Users that are interested in cinpy are comparing it to the libraries listed below
- Turn an interpreter into a code generator☆30Updated 9 years ago
- A revival of the TREE-META compiler-compiler.☆12Updated 6 years ago
- Sort-of GNU C99 Declaration Parser☆11Updated 5 years ago
- Peek/Poke like it's 1979 - Multi-Platform memory reading/writing☆12Updated 6 years ago
- PL/0 compiler to x86 asm☆11Updated last year
- Parser of C-syntax data definitions, C-syntax function definitions☆20Updated 12 years ago
- SVFORTH - A Forth for Security Analysis and Visualization☆41Updated 10 years ago
- 32-bit x86 emulator using ncurses and capstone/keystone/unicorn☆29Updated 6 years ago
- Linux kernel library functions formally verified.☆49Updated 3 years ago
- A tool for testing C compilers automatically☆20Updated 8 years ago
- A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.☆41Updated 3 years ago
- Haxathon Supremacy Virtual Machine☆31Updated 7 years ago
- A tiny tool to learn the assembly code☆11Updated 7 years ago
- Yet Another Forth Core...☆71Updated 10 years ago
- Redress Dissassembler is a cross platform binary disassembler written in Java with Capstone bindings☆24Updated 8 years ago
- Meld virtual machine.☆29Updated 9 years ago
- MacOS port of Linux port of itsy forth by John Metcalf☆8Updated 9 years ago
- Universal Cross Assembler☆37Updated 2 years ago
- link a linux ELF .so library into memory with python and call functions in it, even if you're not on linux☆10Updated 4 years ago
- Carpet fractal genetic algorithm☆12Updated 7 years ago
- An easy and powerful assembler engine in python.☆54Updated 5 years ago
- clone from myJIT(a fork of GNU lightning)☆10Updated 9 years ago
- A scripting language for extending C programs; recognizably Forth-like, but definitely not Forth.☆19Updated 4 years ago
- A toy code generator (i.e. "program synthesis") using the Z3 solver☆35Updated 7 years ago
- Mirror of Agner Fog's assembler routines (GPL)☆19Updated 8 years ago
- SECD microprocessor reimplementation in VHDL☆33Updated 5 years ago
- A collection of slides of the SMT course I held at University of Milan in fall 2011☆8Updated 9 years ago
- Lightweight, fast Virtual Machine for dynamic, object-oriented languages.☆42Updated 11 years ago
- A library for disassembling x86-64 binaries.☆37Updated last year
- AST - Extractor for LLVM☆18Updated 3 years ago