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:
- ☆11Updated 2 weeks ago
- LLVM syntax highlight extension for VS Code☆14Updated last year
- musl libc working copy☆12Updated last year
- A low-level intermediate representation for hardware description languages☆28Updated 5 years ago
- An Excel formula parser☆12Updated 6 years ago
- A syscall hooking system for FreeBSD, NetBSD and also Linux.☆17Updated 4 years ago
- Services and Drivers control application☆19Updated 8 years ago
- Common dependency management for various Trail of Bits C++ codebases☆33Updated last year
- Liveness-driven random C code generator☆42Updated 3 months ago
- Introduction to homotopy type theory (reading course), LP2 2023, offered via DAT235/DIT577: Research-oriented course in Computer Science …☆14Updated last year
- Simple x64dbg plugin to show registers on every step.☆16Updated 6 years ago
- Modeling and Programming with Gecode☆50Updated 2 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
- Debugger in the Trepan family for x-python☆17Updated last month
- Interesting papers☆11Updated last year
- llvm opt fuzzer and bounded exhaustive test generator☆46Updated 3 years ago
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆12Updated 2 years ago
- A satisfiability solver for (existential) bit-vector formulas based on the mcSAT framework.☆21Updated 2 years ago
- A simple VM to play with OSR in LLVM☆15Updated 8 years ago
- A C++20 library for the symbolic manipulation of sparse polynomials & co.☆29Updated last year
- ☆18Updated last month
- A header-only C++ library that augments the standard library with useful code snippets☆13Updated 2 months ago
- Rehearsal: A Configuration Verification Tool for Puppet☆11Updated 5 years ago
- Givaro - C++ library for arithmetic and algebraic computations☆52Updated 2 months ago
- AST - Extractor for LLVM☆18Updated 4 years ago
- A Public-domain C header file for x86 MSR (Model Specific Register) addresses, and a naive generator of it.☆14Updated 7 years ago
- The CompilerTools package, part of the High Performance Scripting project at Intel Labs☆30Updated 3 years ago
- A tiny tool to learn the assembly code☆11Updated 8 years ago
- An ARM Assembler and Simulator/Debugger☆15Updated 15 years ago
- Usage samples for the VC-LTL.☆13Updated 6 years ago