matsuthebear / Language-Proof-And-Logic-SolutionsView external linksLinks
This repository contains all files and exercises done from chapter 1 to 6, including some exercises for other chapters
☆16Jun 10, 2023Updated 2 years ago
Alternatives and similar repositories for Language-Proof-And-Logic-Solutions
Users that are interested in Language-Proof-And-Logic-Solutions are comparing it to the libraries listed below
Sorting:
- 📚Solutions to Language, Proof and Logic (2nd Edition)☆21Dec 23, 2020Updated 5 years ago
- Solutions for the book "Language Proof and Logic".☆75Aug 26, 2024Updated last year
- This repository contains the source code of the OWASP TOP 10 NodeJS Panel I have used☆10Nov 20, 2022Updated 3 years ago
- Documentation for MX Linux☆12Jan 17, 2026Updated 3 weeks ago
- Spacehuhn Wiki Source☆13Apr 27, 2023Updated 2 years ago
- ☆10Jan 24, 2024Updated 2 years ago
- A workspace for the programming assignments in the Introduction to Robotics lecture.☆12May 15, 2024Updated last year
- A PCB based business card using open hardware and free software☆11Sep 10, 2024Updated last year
- Files and Links from Go Hack Yourself book and course☆14Updated this week
- A more efficient implementation of Chrono Trigger on PC made with Bevy/Rust to address performance issues and allow mods.☆13Aug 28, 2023Updated 2 years ago
- PentBox is a tool that allows us to create honeypot in our system this is written in ruby language.☆10Oct 1, 2025Updated 4 months ago
- Programmers Editor that grows with you☆12Jan 16, 2025Updated last year
- Use wireguard in your github action workflows☆11Jun 8, 2021Updated 4 years ago
- SensePost's modified hostapd for wifi attacks.☆13Oct 11, 2020Updated 5 years ago
- A cute POP3 server in PHP. Using libevent for Non blocking, event driven I/O☆16Oct 29, 2014Updated 11 years ago
- A GreaseMonkey script to allow you to overwrite and delete your Reddit comments in bulk☆12Dec 13, 2019Updated 6 years ago
- Urho3D extra minimal examples and demos. Tested in Ubuntu 18.04.☆11Feb 25, 2022Updated 3 years ago
- Country information for a given IP address.☆11Mar 22, 2015Updated 10 years ago
- radiotap parser C library☆12Jul 24, 2021Updated 4 years ago
- Protect your sensitive HTML content with this AES encryption HTML loader. User will need to key in password in order to view the HTML con…☆11May 5, 2015Updated 10 years ago
- ☆11Jul 15, 2021Updated 4 years ago
- ☆13Jul 31, 2024Updated last year
- A custom virtual keyboard example for Flutter☆15Jan 25, 2023Updated 3 years ago
- ConFuzz is an advanced FPGA configuration engine fuzzing and rapid prototyping framework based on boofuzz and OpenOCD.☆15Nov 3, 2025Updated 3 months ago
- A research done by Yaara Shriki and Roman Zaikin on Google maps April Fool Prank.☆15Oct 21, 2019Updated 6 years ago
- CTF designed for Middle School-aged kids☆12Oct 18, 2024Updated last year
- PHP Vulnerability Hunter (fork)☆12May 8, 2015Updated 10 years ago
- HARPER is a HRI dataset for 3D Human Pose Estimation and Forecasting from the Robot’s Perspective.☆13Sep 2, 2025Updated 5 months ago
- Simple screenshot tool for DRM/KMS drivers.☆12Dec 21, 2023Updated 2 years ago
- My dotfiles and bash configuration☆13Nov 6, 2024Updated last year
- Search YouTube Videos withoung using an API Key☆12Jul 24, 2021Updated 4 years ago
- Bug Hunting Handbook☆11Aug 11, 2022Updated 3 years ago
- Cheat Sheets☆12Feb 25, 2019Updated 6 years ago
- Linux Programming Interface Kerrisk☆12Jan 11, 2019Updated 7 years ago
- A comprehensive list of guides, handbooks, scripts, and fully featured apps required to initiate Hyper-Jacking Attacks (Theft of a Virtru…☆15Apr 1, 2018Updated 7 years ago
- The Python programming language☆10Jan 15, 2026Updated 3 weeks ago
- Veil mobile wallet☆13Nov 24, 2025Updated 2 months ago
- Learning SQL fast and free☆11Jul 9, 2020Updated 5 years ago
- Dockerfile with advanced configurations for Offensive Docker.☆13Sep 18, 2020Updated 5 years ago