blanchette / logical_verification_2022
Logical Verification 2022-2023 course at VU Amsterdam
☆17Updated 9 months ago
Related projects ⓘ
Alternatives and complementary repositories for logical_verification_2022
- Super Street Fighter 2X / Super Street Fighter II Turbo☆14Updated 2 years ago
- Big Data Programming II☆47Updated last year
- CORS Misconfig Finder is a tool designed to detect Cross-Origin Resource Sharing (CORS) misconfigurations in web applications. It perform…☆2Updated 5 months ago
- part of red team with RUST course☆4Updated 6 months ago
- Rewarded.us is an airdrop checker. Search for unclaimed airdrops and get notifications for new crypto. Enter your address to see tokens, …☆4Updated 5 months ago
- Get instant, detailed loss prevention information for any North American (+1) phone number with data directly from the CNAC and NANPA. Ob…☆7Updated last month
- a simple code for bypassing the TLS connection to the Azure Database for MySQL flexible server.☆4Updated 7 months ago
- ☆5Updated 5 months ago
- 🚀 Meeseeks: LLM-powered, multi-agent assistant that breaks down complex tasks, integrates with various tools, & performs actions using n…☆16Updated 5 months ago
- Executing Shellcode in Local Process☆1Updated 6 months ago
- ☆12Updated last month
- A iOS app database, which is first collected and used in paper 'A First Look at On-device Models in iOS Apps'. Accepted by TOSEM 2023.☆9Updated last year
- Multi function bot PumpFun and Raydium☆11Updated 5 months ago
- Daikin AC controller for Elgato Streamdeck☆11Updated 3 years ago
- A comprehensive review of the best WordPress Calculalor Plugins☆9Updated 6 months ago
- Welcome to the best PumpFun Sniper Bot, where you call the shots. Select your trading strategy with ease, toggling between options such a…☆15Updated 5 months ago