matsuthebear / Language-Proof-And-Logic-Solutions
This repository contains all files and exercises done from chapter 1 to 6, including some exercises for other chapters
☆17Updated last year
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
- Stütze durch "Tarski's World", "Fitch" und "Boole"☆6Updated 6 years ago
- 📚Solutions to Language, Proof and Logic (2nd Edition)☆21Updated 4 years ago
- Online, collaborative, calculator-development oriented IDE with built-in SDK and tools☆16Updated 9 months ago
- Various exploits for SerenityOS☆17Updated 3 years ago
- A Git, C, POSIX and CMake tutorial☆14Updated 2 years ago
- Determines the current monthly performance of videos of different age ranges.☆9Updated 3 years ago
- Working hacks for IOS and PC☆13Updated last year
- Converts files to other formats☆18Updated 3 months ago
- insta-onion: Create a Tor Onion service in 20 seconds☆15Updated 4 years ago
- Python program that denies internet access to a target within a local network...☆24Updated 3 years ago
- get all blooks☆7Updated last year
- Get i-Ready hacks and more☆11Updated 11 months ago
- Python Keylogger PortScanner BruteForce and basic hack tools.(new ones will come soon)☆16Updated 3 years ago
- Discord Bot for the Serenity Operating System Community 🐞☆31Updated 5 months ago
- Freeunix is a UNIX-like Operating System that is currently solely developed and maintained by me and uses Limine as the bootloader.☆13Updated last year
- DOOM Open Source Release☆23Updated 8 years ago
- Android's native SSL pinning bypass using Frida☆14Updated 6 years ago
- Ein Mitschrieb für Analysis II SS2019 am Karlsruher Institut für Technologie.☆6Updated 5 years ago
- Oceantoo is an XOR/LFSR based encryption algorithm☆16Updated 2 years ago
- A Fediverse phrase bot inspired by YouTube videos and urban legends about the Deep Web.☆10Updated 2 years ago
- Lists of hacking: Blog, Forums, Telegram channel and all kind of resources in spanish and english.☆12Updated 3 years ago
- Since Minesraft2 is gone I used the Wayback Machine so we can still use the cheats, https://github.com/VillainsRule/Blooket-Site or https…☆7Updated last year
- Triangle solver for the TI-84 Plus CE☆11Updated 5 years ago
- A Simple Pixel Art Editor For Zakar Game Engine☆8Updated last year
- An agile, cloud-ready, blockchain-powered, nft-financed, web-scale operating system☆8Updated 3 years ago
- Lazy Hacker Editor. Because nothing beats the eficiency of writing code already written. This is that kind of editor. Just for real hacke…☆9Updated last month
- Simple Operating System with support for the full network stack, keyboard and mouse drivers and a terminal interface.☆11Updated 3 years ago
- 🌐 The Skift Operating System Website.☆15Updated 2 months ago
- ☆13Updated last year
- Hack The Br0w | Play your browser and learn more, hack fun !!☆7Updated 4 years ago