kabeor
Follow
Stars
A static analyzer and linter for the Circom zero-knowledge DSL
A curated list of awesome Machine Learning frameworks, libraries and software.
A natural language interface for computers
A curated list of web3Security materials and resources For Pentesters and Bug Hunters.
A checklist of things to look for when auditing Solidity smart contracts.
Linux virtual machines, with a focus on running containers
An LLM playground you can run on your laptop
Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts
An open platform for training, serving, and evaluating large language models. Release repo for Vicuna and Chatbot Arena.
GPT4All: Chat with Local LLMs on Any Device
Stable Diffusion web UI
The official Python library for the OpenAI API
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
A source code static analysis platform for AppSec enthusiasts.
This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.
🤱🏻 Turn any webpage into a desktop app with Rust. 🤱🏻 利用 Rust 轻松构建轻量级多端桌面应用
x86 PC emulator and x86-to-wasm JIT, running in the browser
SHAREM is a shellcode analysis framework, capable of emulating more than 20,000 WinAPIs and virutally all Windows syscalls. It also contains its own custom disassembler, with many innovative featur…
redroid (Remote-Android) is a multi-arch, GPU enabled, Android in Cloud solution. Track issues / docs here
OFRAK: unpack, modify, and repack binaries.
Ghidra is a software reverse engineering (SRE) framework
Decompiler Explorer! Compare tools on the forefront of static analysis, now in your web browser!
Run compilers interactively from your web browser and interact with the assembly
A True Instrumentable Binary Emulation Framework