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

• OttosBinaryKnights / Logik
  Stütze durch "Tarski's World", "Fitch" und "Boole"
  ☆6Updated 7 years ago
• alxhoff / git-tutorial
  A Git, C, POSIX and CMake tutorial
  ☆15Updated 2 years ago
• KabaOS / KabaOS
  An I2P based OS made for security
  ☆11Updated 4 months ago
• BaseMax / AwesomeInterpreter
  The Big list of the github, open-source interpreters.
  ☆71Updated 6 years ago
• m3y54m / Balance-Blue-Dark
  Balance-Blue-Dark theme is a combination of the best features of the official Zorin OS themes, along with some minor modifications
  ☆11Updated 2 years ago
• insane-adding-machines / DOOM
  DOOM Open Source Release
  ☆28Updated 8 years ago
• qntm / tetris
  Attempt to find a brute-force solution to Tetris
  ☆18Updated 3 years ago
• ForwardCom / bintools
  Binary tools: assembler, disassembler, linker, library manager, emulator
  ☆61Updated 4 months ago
• Horse64 / old-core.horse64.org
  ⚠ ⚠ ⚠ OUTDATED, GO TO ⬇️ ⬇️ ⬇️ ⬇️ https://codeberg.org/Horse64/core.horse64.org
  ☆69Updated last year
• Random-People / Fibonacci
  Fibonacci in as many programming languages as possible (65+ already added!!)
  ☆24Updated 10 months ago
• checkedc / checkedc-llvm-project
  This was a fork of Checked C clang used from 2021-2024. The changes have been merged into the original Checked C clang repo, which is now…
  ☆16Updated 8 months ago
• 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
• SerenityPorts / SerenityDOOM
  DOOM port for Serenity
  ☆32Updated last year
• 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
• ksh-community / ksh
  ksh93 maintenance and development
  ☆26Updated 4 years ago
• coderarjob / meghaos-x86
  MeghaOS is a 32 bit, protected mode Operating System for the Intel x86 architecture.
  ☆22Updated 2 months ago
• francisrstokes / tiny-c-projects
  A collection of small C projects - usually a minimal example of something interesting
  ☆41Updated 3 years ago
• alimpfard / CppDungeon
  Small adventure game all contained within the C++ type system
  ☆11Updated 2 years ago
• mszoek / hydrogen
  A little toy OS written over a few months in 2019. 64-bit, preemptive multitasking kernel supporting EFI, PCIe, SATA, framebuffer graphic…
  ☆38Updated 5 years ago
• cjsmeele / stoomboot
  An x86 real mode multiboot-ish ELF bootloader
  ☆26Updated 6 years ago
• osdev0 / libgcc-binaries
  Moved to codeberg: https://codeberg.org/osdev/libgcc-binaries
  ☆10Updated last month
• wojtup / mosbc
  MikeOS' BASIC Compiler
  ☆25Updated 3 years ago
• brutal-org / website
  🌐 The BRUTAL operating system project blog and landing page
  ☆11Updated 3 years ago
• ZightningCodes / blooket-extension
  Blooket extension based off: https://github.com/glixzzy/blooket-hack
  ☆11Updated last year
• jorgefranconunes / tea
  The Tea scripting language.
  ☆14Updated 5 years ago
• Theldus / AMI_BIOS_CodeInjection
  A simple tutorial on how to do reverse engineer and code injection on AMI BIOSes (Legacy)
  ☆32Updated last year
• aalmkainzi / htmc
  dynamically generate HTML documents in C
  ☆32Updated last month
• icculus / fte
  Ryan's fork of FTE (originally at http://fte.sf.net/)
  ☆17Updated last week
• PoisonNinja / tinyx86
  A simple x86 system emulator
  ☆27Updated 4 years ago
• Thunno / Thunno2
  A concise golfing language
  ☆21Updated 4 months ago