Stars
A language for constraint-guided and efficient LLM programming.
🌐 Make websites accessible for AI agents. Automate tasks online with ease.
A programming framework for agentic AI 🤖 PyPi: autogen-agentchat Discord: https://aka.ms/autogen-discord Office Hour: https://aka.ms/autogen-officehour
Source code for "Building Cryptographic Proofs from Hash Functions"
A libre lightweight streaming front-end for Android.
A Python library to debug binary executables, your own way.
A graphical processor simulator and assembly editor for the RISC-V ISA
Appunti relativi al corso "Passion in Action" di Meccanica Applicata alle Macchine [MAM] presso Politecnico di Milano
Archive des épreuves du FCSC 2022 en attendant une version officielle de l'ANSSI
Hacxyk Lab -- A sandboxed playground to exploit Ethereum contracts on a mainnet fork
Algorithm and data structure articles for https://cp-algorithms.com (based on http://e-maxx.ru)
Some setup scripts for security research tools.
A collection of algorithms and data structures
Repository with the material of the Tower of Hanoi introductory briefings on binary exploitation