#
Lists (16)
Binary analysis
Symbolic execution, intermediate representation, abstract syntax trees, taint analysis, decompilation, disassemblers, LLVM144 repositories
Business
35 repositories
Cryptography
21 repositories
Data science
925 repositories
databases
53 repositories
exploits
30 repositories
Fuzzing
92 repositories
llm
48 repositories
Starred repositories
Reference setup for Linux kernel development in VSCode
Fast, light, simple Docker containers & Linux machines
The fastest way to create an HTML app
The open source Zapier alternative. Build workflow automation without spending time and money.
Jan is an open source alternative to ChatGPT that runs 100% offline on your computer
An IDA Pro plugin that display cross-references to functions or variables across the entire binary in Hex-Rays pseudocode
an open source, extensible AI agent that goes beyond code suggestions - install, execute, edit, and test with any LLM
Barramodel / Barra-Model
Forked from changshun/Barra-ModelAn internship project: Implement Barra model to take risk or style factor attribution based on multi-factor model.
A high-throughput and memory-efficient inference and serving engine for LLMs
c/ua is the Docker Container for Computer-Use AI Agents.
Darwin Gödel Machine: Open-Ended Evolution of Self-Improving Agents
Fully Local Manus AI. No APIs, No $200 monthly bills. Enjoy an autonomous agent that thinks, browses the web, and code for the sole cost of electricity. 🔔 Official updates only via twitter @Martin9…
Curated repository of awesome Digital Twin resources
Lean 4 programming language and theorem prover
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Dafny is a verification-aware programming language
An open protocol enabling communication and interoperability between opaque agentic applications.
Access large language models from the command-line
Artefacts for blog post on finding CVE-2025-37899 with o3
🌐 The Internet OS! Free, Open-Source, and Self-Hostable.
DSPy: The framework for programming—not prompting—language models