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
  ☆42Updated last month
• ClementTsang / rustcc
  A (toy) C compiler written in Rust with no dependencies.
  ☆72Updated 2 months ago
• ocen-lang / ocen
  Statically typed programming language
  ☆97Updated this week
• adam-mcdaniel / harbor
  A language that ports⚓: examining the limits of compilation⚙️.
  ☆101Updated 3 years ago
• Evergreen-lxl / Evergreen.lxl
  🌳 Treesitter support for Lite XL.
  ☆40Updated last month
• lite-xl / lite-xl-ide
  A set of plugins to convert Lite XL into a proper IDE.
  ☆28Updated 2 months ago
• TalonFloof / zorroOS
  A hobby operating system written in Zig & C that reimagines classic UNIX ideas for modern technology
  ☆128Updated 5 months ago
• Spydr06 / CSpydr
  A static typed low-level compiled programming language inspired by Rust and C
  ☆90Updated 6 months ago
• Quentindeve / rust_limine_barebones
  Basic Rust kernel using Limine
  ☆23Updated last year
• adam-mcdaniel / sage-os
  An operating system🧑‍💻 written using C and Sage
  ☆44Updated last year
• capy-language / capy
  🍊 A statically typed, compiled programming language, largely inspired by Jai, Odin, and Zig.
  ☆82Updated this week
• r0nsha / chili
  General-purpose, compiled programming language, focused on productivity, expressiveness and joy of programming™
  ☆44Updated 2 years ago
• tsoding / subframes
  Simple Experiment with Subframe rendering
  ☆42Updated last year
• amethyst-lang / amethyst
  Amethyst is a systems language aimed at being simple, small, portable, and safe.
  ☆44Updated last year
• Dimev / mininotes
  Tiny notetaking app, to explain text layout for text editors
  ☆46Updated last year
• tsoding / qbe-notes
  Notes from the stream where I was checking out QBE
  ☆19Updated last year
• SeaDve / Delineate
  View and edit graphs
  ☆90Updated last week
• UnmappedStack / UYB
  A custom compiler backend designed to be small, have fast compilation, and be complete enough to be used for actual compilers.
  ☆12Updated 5 months ago
• arthurBricq / crafty
  Multiplayer Minecraft clone in pure Rust with OpenGL
  ☆34Updated 5 months ago
• Blazify / blazex
  AOT compiled object oriented programming language
  ☆47Updated last year
• spicelang / spice
  Spice Programming Language
  ☆73Updated last week
• garritfra / qbe-rs
  QBE IR in natural Rust data structures
  ☆115Updated 3 weeks ago
• TornaxO7 / PornOS
  A custom kernel for educational reasons!
  ☆24Updated 3 weeks ago
• Soviet-Linux / CCCP
  The source code for the CCCP (CCCP Crafter of Controlled Packages)
  ☆47Updated 8 months ago
• Avdan-OS / Compositor
  Rusty AvdanOS Wayland compositor
  ☆24Updated 6 months ago
• LinusDikomey / eyelang
  A basic programming language. The compiler is written in rust using LLVM as it's backend.
  ☆14Updated this week
• Nokse22 / ultimate-tic-tac-toe
  Play Ultimate Tic Tac Toe
  ☆25Updated 3 months ago
• nuta / noa
  A modern nano-like terminal-based text editor.
  ☆31Updated 2 years ago
• vxcc-backend / vxcc-old
  Optimizing Compiler Backend
  ☆16Updated 3 months ago
• pop-os / cosmic-protocols
  Additional wayland-protocols used by the COSMIC desktop environment
  ☆47Updated 3 weeks ago