alexjercan / croofLinks
Simple Math Proof Tool for Simple Math Expressions
☆40Updated 3 months ago
Alternatives and similar repositories for croof
Users that are interested in croof are comparing it to the libraries listed below
Sorting:
- Modern low level programming language designed for kernel development☆119Updated last week
- The website for C3 made with Astro!☆92Updated 3 weeks ago
- Notes from the stream where I was checking out QBE☆20Updated last year
- Structured Human-Readable Binary Format☆63Updated 7 months ago
- Byte Pair Encoding☆85Updated 6 months ago
- A custom compiler backend designed to be small, have fast compilation, and be complete enough to be used for actual compilers.☆15Updated 7 months ago
- Generate random messages based on their BNF definition☆98Updated 3 months ago
- Demo of C3 Programming Language☆61Updated last year
- The Kernel of CharlotteOS, An Experimental Modern Operating System☆15Updated this week
- Stack Lang - stack based programming language☆10Updated 10 months ago
- LLVM's Hello World Assembly Code☆47Updated 7 years ago
- A static typed low-level compiled programming language inspired by Rust and C☆92Updated 8 months ago
- Vulkan Quake port based on QuakeSpasm☆50Updated last year
- Something like serde, but in C☆62Updated 3 months ago
- The Lesma Programming Language☆21Updated 2 years ago
- Statically typed programming language☆101Updated 3 weeks ago
- Python's Simplicity, C++'s Power, Native Interoperable with all, and Rust (W.I.P)☆356Updated last week
- A hobby operating system written in Zig & C that reimagines classic UNIX ideas for modern technology☆134Updated 7 months ago
- Rust hello world without stdlib (aarch64 linux)☆50Updated last month
- Custom WebSocket implementation in C for educational and recreational purposes.☆89Updated 5 months ago
- ☆77Updated 2 months ago
- Rust that is actually Fun☆293Updated 5 months ago
- Just a simple proof-of-concept of using Raylib from LLVM IR directly☆38Updated last year
- General purpose operating system targeting standard desktops and laptops.☆98Updated this week
- ☆86Updated last month
- External C3 libraries☆62Updated last month
- Roland programming language☆66Updated last month
- VS Code extension for C3☆28Updated 3 weeks ago
- c-prepocessor lisp☆27Updated last year
- 🍊 A statically typed, compiled programming language, largely inspired by Jai, Odin, and Zig.☆88Updated last month