herrgahr's repositories
anselm
Detect patterns of bad behavior in function calls
Language:C++Apache-2.0000
busybox-w32
WIN32 native port of BusyBox.
Language:CNOASSERTION000
llvm-project
Fork of the llvm upstream which adds JSON output option to clang-query. See the query_json branch
Language:C++000
Metatheory.jl
General purpose algebraic metaprogramming and symbolic computation library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.
Language:JuliaMIT000
rizin
UNIX-like reverse engineering framework and command-line toolset.
LGPL-3.0000
solvespace
Parametric 2d/3d CAD
GPL-3.0000