Alternatives and similar repositories for logicrs

Users that are interested in logicrs are comparing it to the libraries listed below

• alexjercan / croof
  Simple Math Proof Tool for Simple Math Expressions
  ☆40Updated 3 months ago
• ClementTsang / rustcc
  A (toy) C compiler written in Rust with no dependencies.
  ☆75Updated 4 months ago
• charlotte-os / Catten
  The Kernel of CharlotteOS, An Experimental Modern Operating System
  ☆15Updated last week
• adam-mcdaniel / sage-os
  An operating system🧑‍💻 written using C and Sage
  ☆44Updated last year
• lite-xl / lite-xl-ide
  A set of plugins to convert Lite XL into a proper IDE.
  ☆31Updated 3 months ago
• adam-mcdaniel / harbor
  A language that ports⚓: examining the limits of compilation⚙️.
  ☆102Updated 3 years ago
• Evergreen-lxl / Evergreen.lxl
  🌳 Treesitter support for Lite XL.
  ☆40Updated 3 months ago
• TalonFloof / zorroOS
  A hobby operating system written in Zig & C that reimagines classic UNIX ideas for modern technology
  ☆133Updated 7 months ago
• SeaDve / Delineate
  View and edit graphs
  ☆92Updated last week
• capy-language / capy
  🍊 A statically typed, compiled programming language, largely inspired by Jai, Odin, and Zig.
  ☆86Updated last month
• zesterer / zte
  Zesterer's Text Editor
  ☆32Updated 2 weeks ago
• TornaxO7 / PornOS
  A custom kernel for educational reasons!
  ☆24Updated 2 months ago
• Blazify / blazex
  AOT compiled object oriented programming language
  ☆48Updated last year
• Spydr06 / CSpydr
  A static typed low-level compiled programming language inspired by Rust and C
  ☆92Updated 8 months ago
• ChAoSUnItY / Nenggao
  A diagnostic library for parser / interpreter usages.
  ☆22Updated 2 years ago
• MESYETI / noro
  TUI text editor with a window manager
  ☆35Updated last year
• Dimev / mininotes
  Tiny notetaking app, to explain text layout for text editors
  ☆47Updated last year
• Simmypeet / pernix-lang
  A programming language highly-inspired by Rust
  ☆34Updated this week
• PokeJofeJr4th / DreamBerd-rs
  Rust-based interpreter for the DreamBerd (https://github.com/TodePond/DreamBerd) language
  ☆53Updated last year
• shibedrill / oxidefetch
  Fully cross platform Neofetch clone written in Rust. Up to 25 times faster than Neofetch!
  ☆12Updated last month
• r0nsha / chili
  General-purpose, compiled programming language, focused on productivity, expressiveness and joy of programming™
  ☆43Updated 2 years ago
• atlas77-lang / atlas77
  Atlas77 is a programming language in development written in Rust
  ☆22Updated last month
• tsoding / qbe-notes
  Notes from the stream where I was checking out QBE
  ☆20Updated last year
• wojciech-graj / oriel
  An interpreter for the 1991 Oriel scripting language
  ☆58Updated last year
• nuIIpointerexception / vterm
  fast, cross platform, vulkan based terminal emulator.
  ☆58Updated last year
• Avdan-OS / Compositor
  Rusty AvdanOS Wayland compositor
  ☆24Updated 7 months ago
• adam-mcdaniel / game-of-life
  A game of life🔬 simulator on an infinite♾️ plane
  ☆16Updated 4 years ago
• mikelma / oktac
  okta programming language compiler. THIS IS A MIRROR OF THE ORIGINAL REPO HOSTED IN SOURCEHUT.
  ☆28Updated 3 years ago
• 48cf / zigux
  Zigux is an attempt to write a UNIX-like kernel in Zig
  ☆36Updated 3 months ago
• adamperkowski / highlightos
  🌄 x86_64 OS (kernel) made from scratch in Rust & Assembly
  ☆67Updated 2 months ago