kazarmy

Pinned Repositories

0x
🔥 single-command flamegraph profiling 🔥
Language:JavaScript0 0 00
acl2
ACL2 System and Books as Maintained by the Community
Language:Common Lisp0 1 00
acl2-kernel
Jupyter Kernel for ACL2
Language:Jupyter Notebook0 0 00
alacritty
A cross-platform, GPU-accelerated terminal emulator
Language:Rust0 1 00
capstone
Capstone disassembly/disassembler framework for ARM, ARM64 (ARMv8), BPF, Ethereum VM, M68K, M680X, Mips, MOS65XX, PPC, RISC-V(rv32G/rv64G), SH, Sparc, SystemZ, TMS320C64X, TriCore, Webassembly, XCore and X86.
Language:C0 0 00
chrome-remote-interface
Chrome Debugging Protocol interface for Node.js
Language:JavaScript0 1 00
cotire
CMake module to speed up builds.
Language:CMake0 1 71
cutter
Free and open-source GUI for radare2 reverse engineering framework
Language:C++0 1 00
dafny
Dafny is a verification-aware programming language
Language:C#0 0 00
firefox-profiler
Firefox Profiler — Web app for Firefox performance analysis
Language:JavaScript1 0 00

kazarmy's Repositories

kazarmy/firefox-profiler
Firefox Profiler — Web app for Firefox performance analysis
Language:JavaScript1 0 00
kazarmy/acl2
ACL2 System and Books as Maintained by the Community
Language:Common Lisp0 1 00
kazarmy/capstone
Capstone disassembly/disassembler framework for ARM, ARM64 (ARMv8), BPF, Ethereum VM, M68K, M680X, Mips, MOS65XX, PPC, RISC-V(rv32G/rv64G), SH, Sparc, SystemZ, TMS320C64X, TriCore, Webassembly, XCore and X86.
Language:C0 0 00
kazarmy/chrome-remote-interface
Chrome Debugging Protocol interface for Node.js
Language:JavaScript0 1 00
kazarmy/cutter
Free and open-source GUI for radare2 reverse engineering framework
Language:C++0 1 00
kazarmy/dafny
Dafny is a verification-aware programming language
Language:C#0 0 00
kazarmy/DefinitelyTyped
The repository for high quality TypeScript type definitions.
Language:TypeScript0 0
kazarmy/DefinitelyTyped-tools
Infrastructure for DefinitelyTyped
Language:TypeScript1 0
kazarmy/devtools-protocol
Chrome DevTools Protocol
Language:TypeScript1 01
kazarmy/McUsd
Simple USD scene geometry with a variety of UsdPreviewSurface materials applied
Language:Raku0 0
kazarmy/Mineways
Exports models from Minecraft for 3D printing or rendering
kazarmy/mpc
A Parser Combinator library for C
Language:C0 0
kazarmy/nodejs.org
The Node.js website.
Language:JavaScript0 0
kazarmy/open
Open stuff like URLs, files, executables. Cross-platform.
Language:JavaScript0 0
kazarmy/perfetto
Performance instrumentation and tracing for Android, Linux and Chrome (read-only mirror of https://android.googlesource.com/platform/external/perfetto/)
Language:C++0 0
kazarmy/proof-visualizer
Language:TypeScript0 0
kazarmy/radare2
unix-like reverse engineering framework and commandline tools
Language:C2 0
kazarmy/rizin
UNIX-like reverse engineering framework and command-line toolset.
Language:C0 0
kazarmy/rizin-book
An official book about Rizin
Language:CSS0 0
kazarmy/rizin-testbins
Language:C0 0
kazarmy/rz-bindgen
Language:Python0 0
kazarmy/rz-ghidra
Deep ghidra decompiler and sleigh disassembler integration for rizin
Language:C++0 0
kazarmy/rz-libdemangle
Rizin Library to demangle symbols
Language:C0 0
kazarmy/rz-pipe
Access rizin via pipe from any programming language!
Language:Python0 0
kazarmy/Solas-Shader
A good performing fantasy stylised shaderpack with fancy visuals!
Language:GLSL0 0
kazarmy/typescript-eslint
:sparkles: Monorepo for all the tooling which enables ESLint to support TypeScript
Language:TypeScript0 0
kazarmy/vampire
The Vampire Theorem Prover
Language:C++0 0
kazarmy/vscode-docs
Public documentation for Visual Studio Code
Language:CSS0 0
kazarmy/vscode-svn
SVN support for VS Code
Language:TypeScript0 0
kazarmy/vscode-wiki
A repository to make changes to the vscode Wiki on GitHub
0 0