Alternatives and similar repositories for magefile

Users that are interested in magefile are comparing it to the libraries listed below

• maerhart / llhd
  A low-level intermediate representation for hardware description languages
  ☆28Updated 5 years ago
• RReverser / vscode-llvm
  LLVM syntax highlight extension for VS Code
  ☆13Updated last year
• lyvd / C2Ass
  A tiny tool to learn the assembly code
  ☆11Updated 8 years ago
• cdl-saarland / axtor
  AST - Extractor for LLVM
  ☆18Updated 4 years ago
• avast / retdec-regression-tests-framework
  A framework for writing and running regression tests for RetDec and related tools.
  ☆24Updated 5 months ago
• rochus-keller / Verilog
  This is the Verilog 2005 parser used by VerilogCreator
  ☆13Updated 6 years ago
• nccgroup / libtalloc
  libtalloc is a python script for use with GDB that can be used to analyse the "trivial allocator" (talloc)
  ☆16Updated 9 years ago
• eschulte / llvm-mutate
  manipulate LLVM IR files
  ☆32Updated 10 years ago
• lifting-bits / cxx-common
  Common dependency management for various Trail of Bits C++ codebases
  ☆33Updated last year
• ryu577 / GroebnerBasis
  Buchbergers algorithm for computing Groebner basis of polynonmial ideals
  ☆13Updated last year
• nickgildea / z3_codegen
  A toy code generator (i.e. "program synthesis") using the Z3 solver
  ☆35Updated 7 years ago
• microsoft / onefuzz-samples
  Sample CICD Pipelines for OneFuzz
  ☆27Updated 2 years ago
• sabbaghm / c-ll-verilog
  An LLVM based mini-C to Verilog High-level Synthesis tool
  ☆37Updated 4 months ago
• polyverse / EnVisen
  ROP gadget finder and analysis in pure Javascript
  ☆29Updated 3 years ago
• cmu-sei / nabu
  Graphical analysis of PDF structure.
  ☆12Updated 8 years ago
• drepper / optmark
  Markup source code showing optimizations
  ☆36Updated 5 years ago
• Vector35 / arch-ppc
  Open source PPC architecture, utilizing capstone as a disassembler.
  ☆9Updated last year
• gergo- / ldrgen
  Liveness-driven random C code generator
  ☆41Updated last year
• canalcache / canal
  ☆16Updated 6 years ago
• google / zuckerli
  ☆28Updated 2 years ago
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆33Updated 4 years ago
• awslabs / one-line-scan
  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 2 years ago
• admk / soap
  soap - Structural Optimisation of Arithmetic Programs
  ☆23Updated 9 years ago
• simutrace / simutrace
  Tracing framework for full system simulators
  ☆56Updated 9 years ago
• zodiacon / SrvDrv
  Services and Drivers control application
  ☆19Updated 8 years ago
• intelxed / mbuild
  python-based build system used for building XED
  ☆31Updated 8 months ago
• Baltoli / accsynt
  Program synthesis tools and utilities for LLVM.
  ☆20Updated 2 years ago
• HewlettPackard / LSGI
  Large-Scale Graph Inference
  ☆12Updated 8 months ago
• plasma-umass / sheriff
  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
• nullpo-head / x86-MSR-header
  A Public-domain C header file for x86 MSR (Model Specific Register) addresses, and a naive generator of it.
  ☆14Updated 7 years ago