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
- A Git, C, POSIX and CMake tutorial☆14Updated 2 years ago
- Hack client for i-Ready, allows you to get minutes and skip lessons easier than ever before!☆17Updated 2 years ago
- The LeekScript language, the language of Leek Wars☆17Updated 7 months ago
- An Open-Source Lightweight Operating System for Educational Purposes☆46Updated 8 years ago
- Simple netcat wrote in C☆15Updated 2 years ago
- javascript:(function()%7Bfunction start() %7B%0A loadGUI()%3B%0A addUtils()%3B%0A%7D%0A%0Afunction wait(time) %7B%0A return new …☆26Updated 2 years ago
- A bignum library for C.☆33Updated 8 months ago
- transpile C source code to high-level JavaScript syntax☆27Updated 8 years ago
- Oceantoo is an XOR/LFSR based encryption algorithm☆16Updated 3 years ago
- A modular compiler framework for Brainfuck-like languages☆12Updated 3 months ago
- Tiny and portable device tree parser, written in C.☆15Updated last month
- A very, very fast algorithm for finding all amicable pairs in the specified range☆12Updated 4 months ago
- JavaScript library for misspelling and modifying text to make it seem like it was written by a stereotypical "bimbo", or to make the text…☆11Updated 2 years ago
- DOOM Open Source Release☆27Updated 8 years ago
- ☆4Updated 2 years ago
- A simple x86 system emulator☆27Updated 3 years ago
- This is like Inverting Binary Tree, but instead of a Binary Tree it's a File Tree.☆13Updated 3 years 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
- Python program that denies internet access to a target within a local network...☆24Updated 3 years ago
- ⚠ ⚠ ⚠ OUTDATED, GO TO ⬇️ ⬇️ ⬇️ ⬇️ https://codeberg.org/Horse64/core.horse64.org☆69Updated last year
- Abandoned overcomplicated Microkernel using modern x86_64 features☆42Updated 4 years ago
- Trying different approaches to Double Buffering in Pure X11 applications on Linux☆25Updated 3 years ago
- The hobbyist's programming language☆24Updated last year
- Tiny public domain EFI library☆13Updated 2 years ago
- get all blooks☆8Updated last year
- Determines the current monthly performance of videos of different age ranges.☆9Updated 3 years ago
- A modern x86_64 UNIX-like microkernel-based operating system☆63Updated 2 years ago
- linux distro but with jinx or something☆16Updated 11 months ago