hexengraf / magefileLinks
Magefile - (mostly) automatic makefile template
☆10Updated last year
Alternatives and similar repositories for magefile
Users that are interested in magefile are comparing it to the libraries listed below
Sorting:
- A low-level intermediate representation for hardware description languages☆28Updated 5 years ago
- LLVM syntax highlight extension for VS Code☆14Updated 2 years ago
- The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).☆32Updated 11 months ago
- Rehearsal: A Configuration Verification Tool for Puppet☆11Updated 6 years ago
- Dr Marek's Data for Teaching/Training☆29Updated 10 months ago
- soap - Structural Optimisation of Arithmetic Programs☆24Updated 9 years ago
- A Python implementation of a Python bytecode runner☆17Updated 6 years ago
- AXE: a recursive descent parser generator C++ library☆16Updated last year
- llvm opt fuzzer and bounded exhaustive test generator☆47Updated 3 years ago
- AST - Extractor for LLVM☆18Updated 4 years ago
- Sigmoid Numbers backed by IEEE Floats☆17Updated 8 years ago
- Generates CMakeLists.txt files from arbitrary C/C++ codebases☆25Updated 3 years ago
- manipulate LLVM IR files☆32Updated 10 years ago
- Supplementary files for SSFT 2015 summer school☆12Updated 6 years ago
- A library for disassembling x86-64 binaries.☆44Updated 9 months ago
- Large-Scale Graph Inference☆12Updated last year
- With this tool, projects can be compiled easily for fuzzing with AFL or for static code analysis with tools like CBMC. One-line-scan hook…☆21Updated 3 years ago
- 📚 Playground and cheatsheet for learning Python. Collection of Python scripts that are split by topics and contain code examples with ex…☆12Updated 3 years ago
- IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…☆13Updated this week
- Lazy Lists package for Wolfram Language☆15Updated 6 months ago
- A library for binary analysis and rewriting☆49Updated 2 years ago
- Debugger in the Trepan family for x-python☆17Updated 3 months ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆16Updated last year
- Rigel is a language for describing image processing hardware embedded in Lua. Rigel can compile to Verilog hardware designs for Xilinx FP…☆57Updated 5 years ago
- Exercism exercises in VB.NET.☆10Updated last week
- Arpra is a C library for analyzing the propagation of numerical error in arbitrary precision IEEE-754 floating-point computations.☆25Updated 3 years ago
- Liveness-driven random C code generator☆42Updated 6 months ago
- WPF helper library☆14Updated 6 years ago
- A tiny tool to learn the assembly code☆12Updated 8 years ago
- A copy of the latest version of MVSIS☆12Updated 4 years ago