- Boston, MA
Lists (3)
Sort Name ascending (A-Z)
Stars
- All languages
- Assembly
- C
- C#
- C++
- CMake
- CSS
- Common Lisp
- Dart
- Dhall
- Dockerfile
- Emacs Lisp
- F#
- Go
- HTML
- Haskell
- Inno Setup
- Java
- JavaScript
- Jupyter Notebook
- LLVM
- Markdown
- Meson
- Nix
- OCaml
- Objective-C
- PHP
- Perl
- PowerShell
- Python
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- Sail
- Shell
- Starlark
- Swift
- SystemVerilog
- TeX
- TypeScript
- Vim Script
- XSLT
- Xtend
- Zig
The main repository for the development of the evolution game Thrive.
Randomly permute C files to better match a target binary
Raptor turns Claude Code into a general-purpose AI offensive/defensive security agent. By using Claude.md and creating rules, sub-agents, and skills, and orchestrating security tool usage, we confi…
IoT HackBot: A collection of Claude Skills and custom tooling for hybrid IoT pentesting
Rust GUI components for building fantastic cross-platform desktop application by using GPUI.
Multi-architecture emulation for the modern era.
This repository offers an open-source C++ SDK bindings for IDA, enabling custom plugin development and automation.
A Binary Ninja plugin to identify interesting paths using static backward slicing
A lightweight dynamic instrumentation library
An Open-Ended Embodied Agent with Large Language Models
ARVO: an Atlas of Reproducible Vulnerabilities in Open source software.
Security Harness Engineering for Robust Program Analysis
IDA Domain API - Python interface for IDA Pro reverse engineering platform
Buttercup finds and patches software vulnerabilities
Data about all known supply-chain attacks through history
A next-generation C++ language server for modern C++, focused on high performance and deep code intelligence
Install and Cache latest CMake and Ninja for your workflows on your GitHub
A repository that collects libc ABI files for multiple versions and a tool to combine them into one dataset.
Patch Linux executables for compatibility with older glibc
[mirror of https://gitlab.com/veloren/veloren] An open world, open source voxel RPG inspired by Dwarf Fortress and Cube World. This repository is a mirror. Please submit all PRs and issues on our G…
CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.
A BinaryNinja plugin for contextual gadget analysis and semantic/hueristic based querying.