Starred repositories
A command line tool and library for transferring data with URL syntax, supporting DICT, FILE, FTP, FTPS, GOPHER, GOPHERS, HTTP, HTTPS, IMAP, IMAPS, LDAP, LDAPS, MQTT, MQTTS, POP3, POP3S, RTMP, RTMP…
Autospec is an open-source AI agent that takes a web app URL and autonomously QAs it, and saves its passing specs as E2E test code
SymQEMU: Compilation-based symbolic execution for binaries
DSPy: The framework for programming—not prompting—language models
Stanford NLP Python library for Representation Finetuning (ReFT)
Stanford NLP Python library for understanding and improving PyTorch models via interventions
AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.
Python implementation of secp256k1 elliptic curve cryptography and ECDSA signing/verification.
RetDec is a retargetable machine-code decompiler based on LLVM.
Javascript grammar for tree-sitter
Detours is a software package for monitoring and instrumenting API calls on Windows. It is distributed in source code form.
Lean 4 programming language and theorem prover
The official repository of Mozilla's Firefox web browser.
An inter-package analysis techinque for supply chain protection, that combines three analyses to identify malicious packages with high precision and high recall
Driver that uses network sockets to communicate with client and read/ write protected process memory.
Unicorn PE is an unicorn based instrumentation project designed to emulate code execution for windows PE files.
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastruc…