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:
- musl libc working copy☆12Updated last year
- ☆11Updated 3 months ago
- A low-level intermediate representation for hardware description languages☆28Updated 5 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
- A Python implementation of a Python bytecode runner☆17Updated 6 years ago
- Convert PDF presentations to HTML, including presenter mode☆20Updated last year
- Utility to extend any bash command☆19Updated 3 years ago
- LLVM syntax highlight extension for VS Code☆14Updated 2 years ago
- Generate ctypes boilerplate code from debugging information; Use python to mock C code for testing☆29Updated 10 months ago
- Sheriff consists of two tools: Sheriff-Detect, a false-sharing detector, and Sheriff-Protect, a false-sharing eliminator that you can lin…☆32Updated 7 years ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Updated 4 years ago
- An aide to learning recursion through visualization.☆24Updated 4 years ago
- Introduction to homotopy type theory (reading course), LP2 2023, offered via DAT235/DIT577: Research-oriented course in Computer Science …☆14Updated last year
- cut out a small (binary) piece of a (binary) file☆15Updated 14 years ago
- Liveness-driven random C code generator☆42Updated 6 months ago
- A syscall hooking system for FreeBSD, NetBSD and also Linux.☆16Updated 4 years ago
- The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).☆32Updated 11 months ago
- soap - Structural Optimisation of Arithmetic Programs☆24Updated 9 years ago
- Repo to store Windows PE's and Utilities for easy access.☆16Updated 4 years ago
- tools for creating, inspecting and modifying torrent files☆13Updated 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
- An ARM Assembler and Simulator/Debugger☆15Updated 16 years ago
- Yara filetype plugin for Vim.☆14Updated 4 years ago
- An implementation of SHA1 and PARSHA256 on GPU using CUDA☆15Updated 15 years ago
- a small C++ lattice library☆15Updated 6 years ago
- A detailed michroarchitectural x86 simulator☆62Updated 8 years ago
- ☆28Updated 3 years ago
- ☆19Updated 8 years ago
- A framework for writing and running regression tests for RetDec and related tools.☆24Updated last year
- Large-Scale Graph Inference☆12Updated last year