Lists (3)
Stars
Projects motion of pixels to a voxel
MCP proxy implementation with multiple server aggregation
GDB TUI Dashboard for the understanding of vast knowledge
PTABen: Micro-benchmark Suite for Pointer Analysis
Hyperlight is a lightweight Virtual Machine Manager (VMM) designed to be embedded within applications. It enables safe execution of untrusted code within micro virtual machines with very low latenc…
Sky-T1: Train your own O1 preview model within $450
Entropy Based Sampling and Parallel CoT Decoding
Agent framework for constructing language model agents and training on constructive tasks.
🔎 Static code analysis engine to find security issues in code.
symbolic execution plugin for binary ninja
Vanir is a source code-based static analysis tool that automatically identifies the list of missing security patches in the target system. By default, Vanir pulls up-to-date CVEs from Open Source V…
Chat with AI large language models running natively in your browser. Enjoy private, server-free, seamless AI conversations.
A binary static analysis tool that provides security and correctness results for Windows Portable Executable and *nix ELF binary formats
CompChomper is a framework for measuring how LLMs perform at code completion.
A tiny AI-based coding assistant that submits PRs, written in Go mostly using AI.
a tool for reinterpreting ELF executables and shared libraries
The ISLa (Input Specification Language) language & solver.
the Network Protocol Fuzzer that we will want to use.