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 2 months ago
• ClementTsang / rustcc
  A (toy) C compiler written in Rust with no dependencies.
  ☆73Updated 3 months ago
• ocen-lang / ocen
  Statically typed programming language
  ☆98Updated 2 weeks ago
• adam-mcdaniel / harbor
  A language that ports⚓: examining the limits of compilation⚙️.
  ☆101Updated 3 years ago
• TalonFloof / zorroOS
  A hobby operating system written in Zig & C that reimagines classic UNIX ideas for modern technology
  ☆129Updated 6 months ago
• Quentindeve / rust_limine_barebones
  Basic Rust kernel using Limine
  ☆23Updated last year
• davidgmbb / birth
  A better operating system
  ☆61Updated 2 years ago
• zig-osdev / riscv-barebones
  Barebones RISC-V kernel template for Zig
  ☆54Updated 2 weeks ago
• 48cf / zigux
  Zigux is an attempt to write a UNIX-like kernel in Zig
  ☆34Updated 3 months ago
• CascadeOS / CascadeOS
  General purpose operating system targeting standard desktops and laptops.
  ☆95Updated last week
• capy-language / capy
  🍊 A statically typed, compiled programming language, largely inspired by Jai, Odin, and Zig.
  ☆82Updated 3 weeks ago
• nathanielfernandes / quilt
  A dynamically typed interpreted scripting language.
  ☆17Updated 10 months ago
• cute-engineering / cutekit
  🪄​ The *magical* build system and package manager
  ☆58Updated 2 weeks ago
• kora-org / ydin
  A very extendable and versatile hybrid kernel.
  ☆32Updated last year
• vxcc-backend / vxcc-old
  Optimizing Compiler Backend
  ☆16Updated 3 months ago
• MESYETI / noro
  TUI text editor with a window manager
  ☆35Updated last year
• tsoding / qbe-notes
  Notes from the stream where I was checking out QBE
  ☆19Updated last year
• Spydr06 / CSpydr
  A static typed low-level compiled programming language inspired by Rust and C
  ☆91Updated 7 months ago
• lite-xl / lite-xl-ide
  A set of plugins to convert Lite XL into a proper IDE.
  ☆28Updated 3 months ago
• tsoding / subframes
  Simple Experiment with Subframe rendering
  ☆42Updated last year
• garritfra / qbe-rs
  QBE IR in natural Rust data structures
  ☆115Updated 2 weeks ago
• r0nsha / chili
  General-purpose, compiled programming language, focused on productivity, expressiveness and joy of programming™
  ☆44Updated 2 years ago
• barn-lang / barn
  Barn is a simple programming language written in C that is compiled to C.
  ☆57Updated last year
• Evergreen-lxl / Evergreen.lxl
  🌳 Treesitter support for Lite XL.
  ☆40Updated 2 months ago
• shibedrill / oxidefetch
  Fully cross platform Neofetch clone written in Rust. Up to 25 times faster than Neofetch!
  ☆11Updated 3 weeks ago
• 48cf / limine-zig
  A Zig library for handling Limine boot protocol structures.
  ☆23Updated 6 months ago
• geralang / geralc
  The initial (legacy) compiler for the Gera programming language.
  ☆22Updated last year
• CoolBassist / Final-year-project
  My final year project, where I designed and simulated an 8-bit CPU, with an assembler and compiler.
  ☆25Updated 2 years ago
• UnmappedStack / UYB
  A custom compiler backend designed to be small, have fast compilation, and be complete enough to be used for actual compilers.
  ☆12Updated 6 months ago
• Dimev / mininotes
  Tiny notetaking app, to explain text layout for text editors
  ☆47Updated last year