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 1 00
alacritty
A cross-platform, GPU-accelerated terminal emulator
Language:Rust00
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 2 71
cutter
Free and open-source GUI for radare2 reverse engineering framework
Language:C++0 2 00
dafny
Dafny is a verification-aware programming language
Language:C#0 0 00
datasciencecoursera
Files for the Coursera Data Science specialization that I'm taking.
00

kazarmy's Repositories

kazarmy/0x
🔥 single-command flamegraph profiling 🔥
Language:JavaScript0 0 00
kazarmy/acl2
ACL2 System and Books as Maintained by the Community
Language:Common Lisp0 1 00
kazarmy/acl2-kernel
Jupyter Kernel for ACL2
Language:Jupyter Notebook0 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 2 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:TypeScript1 0
kazarmy/DefinitelyTyped-tools
Infrastructure for DefinitelyTyped
Language:TypeScript1 0
kazarmy/devtools-protocol
Chrome DevTools Protocol
Language:TypeScript1
kazarmy/firefox-profiler
Firefox Profiler — Web app for Firefox performance analysis
Language:JavaScript0 0
kazarmy/McUsd
Simple USD scene geometry with a variety of UsdPreviewSurface materials applied
kazarmy/meson
The Meson Build System
Language:Python1 0
kazarmy/mpc
A Parser Combinator library for C
Language:C0 0
kazarmy/MTTLADE
MTTLADE: A multi-task transfer learning-based method for adverse drug events extraction
Language:Python0 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:C1 0
kazarmy/rizin-testbins
Language:C++1 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-pipe
Access rizin via pipe from any programming language!
Language:Python0 0
kazarmy/seti-ui
A subtle dark colored UI theme for Atom.
Language:Less1 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
Visual Studio Code
Language:TypeScript2 0
kazarmy/vscode-docs
Public documentation for Visual Studio Code