alexjercan / croofLinks
Simple Math Proof Tool for Simple Math Expressions
☆18Updated last week
Alternatives and similar repositories for croof
Users that are interested in croof are comparing it to the libraries listed below
Sorting:
- A custom compiler backend designed to be small, have fast compilation, and be complete enough to be used for actual compilers.☆12Updated 4 months ago
- The website for C3 made with Astro!☆86Updated last week
- A hobby operating system written in Zig & C that reimagines classic UNIX ideas for modern technology☆129Updated 4 months ago
- General purpose operating system targeting standard desktops and laptops.☆88Updated this week
- 64-bit RISC CPU Architecture☆21Updated last year
- LLVM's Hello World Assembly Code☆47Updated 6 years ago
- QBE IR in natural Rust data structures☆113Updated last week
- c-prepocessor lisp☆26Updated last year
- Python's Simplicity, C++'s Power, Native Interoperable with all, and Rust (W.I.P)☆341Updated this week
- A functional programming language☆14Updated 11 months ago
- A (toy) C compiler written in Rust with no dependencies.☆70Updated last month
- Notes from the stream where I was checking out QBE☆19Updated last year
- A stack based compiled systems programming language.☆58Updated 2 years ago
- 🍊 A statically typed, compiled programming language, largely inspired by Jai, Odin, and Zig.☆80Updated 4 months ago
- an interpreted programming language allowing you to express your thoughts in a clean and expandable code without a second thought☆13Updated 2 years ago
- A 2d programming language☆20Updated 6 months ago
- C-like programming language☆10Updated this week
- A Python Interpreter written in Zig☆58Updated 6 months ago
- Barebones RISC-V kernel template for Zig☆51Updated last week
- General-purpose, compiled programming language, focused on productivity, expressiveness and joy of programming™☆44Updated 2 years ago
- An easy-to-use simulator for logical circuits☆61Updated 11 months ago
- 🧙♂️A small programming language with static typing and native compilation, selfhosted☆44Updated this week
- A Zig Shell☆13Updated 5 months ago
- A small fantasy computer and ISA☆11Updated last month
- 🌄 x86_64 OS (kernel) made from scratch in Rust & Assembly☆66Updated 3 months ago
- Statically typed programming language☆93Updated this week
- A better operating system☆61Updated 2 years ago
- Just a simple proof-of-concept of using Raylib from LLVM IR directly☆37Updated 11 months ago
- Roland programming language☆64Updated 3 weeks ago
- Retro-inspired operating system designed to be learnable and hackable by its users☆53Updated this week