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

• haraun977 / i-Ready-Hacks
  Hack client for i-Ready, allows you to get minutes and skip lessons easier than ever before!
  ☆18Updated 3 years ago
• carlosantq / LPL
  📚Solutions to Language, Proof and Logic (2nd Edition)
  ☆21Updated 4 years ago
• alxhoff / git-tutorial
  A Git, C, POSIX and CMake tutorial
  ☆15Updated 2 years ago
• OG-Frogger / Toad_-3-Blooket
  javascript:(function()%7Bfunction start() %7B%0A loadGUI()%3B%0A addUtils()%3B%0A%7D%0A%0Afunction wait(time) %7B%0A return new …
  ☆33Updated 2 years ago
• AjayMT / mako
  The Mako Operating System
  ☆62Updated 4 months ago
• leek-wars / leekscript
  The LeekScript language, the language of Leek Wars
  ☆18Updated this week
• jonahisadev / staple-vm
  Yet another VM language
  ☆17Updated 5 years ago
• tsoding / cxx-invert-file-tree
  This is like Inverting Binary Tree, but instead of a Binary Tree it's a File Tree.
  ☆13Updated 4 years ago
• ZightningCodes / blooket-extension
  Blooket extension based off: https://github.com/glixzzy/blooket-hack
  ☆11Updated last year
• Tix3Dev / minosrus_lang
  Interpreter for my own programming language
  ☆13Updated 4 years ago
• brutal-org / website
  🌐 The BRUTAL operating system project blog and landing page
  ☆11Updated 3 years ago
• hnhx / captcha
  Javascript free captcha written in PHP
  ☆10Updated 3 years ago
• linusg / libjs-website
  Website for SerenityOS's JavaScript engine (LibJS)
  ☆30Updated last year
• Wyatt721 / BlooketGamemodeHacks
  School hacks blooket hacks from glixzzy if the school cheats website is blocked (gamemode version)
  ☆10Updated 3 years ago
• Princexz / alx-low_level_programming
  My first C programming repo-Low-level programming training module sprint 1
  ☆8Updated 2 years ago
• SerenityOS / user-map
  Map of SerenityOS developers and users
  ☆25Updated 7 months ago
• lydiandy / cjson
  wrap cJSON for vlang
  ☆12Updated 2 years ago
• iWuna / Fallout-13
  Official repository of Fallout 13 [Release]
  ☆13Updated last year
• osdev0 / freestnd-c-hdrs-0bsd
  Moved to codeberg: https://codeberg.org/osdev/freestnd-c-hdrs-0bsd
  ☆27Updated 2 months ago
• Platypus-Tech / platypus-os
  OS for pentesting, programming, and playing video games. Contributions welcome!
  ☆22Updated 3 years ago
• Horse64 / old-core.horse64.org
  ⚠ ⚠ ⚠ OUTDATED, GO TO ⬇️ ⬇️ ⬇️ ⬇️ https://codeberg.org/Horse64/core.horse64.org
  ☆69Updated last year
• dacousb / HydrOS
  💧 A simple x86-64 kernel written in C
  ☆20Updated 3 years ago
• skift-org / website
  🌐 The Skift Operating System Website.
  ☆17Updated 6 months ago
• pranaOS / pranaOS
  Smart Operating System for x86, ARM, Mobile, Watch
  ☆170Updated this week
• TinyKern / TinyKernel
  Tiny Kernel is a work in progress Operating System kernel.
  ☆24Updated 2 years ago
• MegrajChauhan / Merry
  A new kind of Virtual Machine with something unique to try. Cooking the project. Wait till cooked properly
  ☆18Updated this week
• bynect / bflc
  A modular compiler framework for Brainfuck-like languages
  ☆12Updated 6 months ago
• alta-lang / alta
  A simple , safe , and powerful programming language
  ☆18Updated last year
• cassidylang / cassidy
  Cassidy programming language, bringing static typing, strictness, safety and precision into your web project
  ☆23Updated this week
• mobiusloopfour / newkern
  Hobby operating system I'm making to learn OS development.
  ☆10Updated 3 years ago