alexjercan / croofLinks
Simple Math Proof Tool for Simple Math Expressions
☆39Updated 6 months ago
Alternatives and similar repositories for croof
Users that are interested in croof are comparing it to the libraries listed below
Sorting:
- Python's Simplicity, C++'s Power, Native Interoperable with all, and Rust (W.I.P)☆359Updated last week
- Notes from the stream where I was checking out QBE☆22Updated last year
- An experimental programming language☆92Updated this week
- Modern low level programming language designed for kernel development☆134Updated last week
- Statically typed programming language☆105Updated 2 months ago
- A (toy) C compiler written in Rust with no dependencies.☆79Updated 7 months ago
- VS Code extension for C3☆32Updated 2 weeks ago
- General purpose operating system targeting standard desktops and laptops.☆106Updated this week
- Something like serde, but in C☆62Updated 5 months ago
- Lovable memory-safe systems language with a pretty fast compiler☆18Updated this week
- Byte Pair Encoding☆89Updated 9 months ago
- Just a simple proof-of-concept of using Raylib from LLVM IR directly☆38Updated last year
- A custom compiler backend designed to be small, have fast compilation, and be complete enough to be used for actual compilers.☆16Updated 10 months ago
- The website for C3 made with Astro!☆106Updated this week
- 🍊 A statically typed, compiled programming language, largely inspired by Jai, Odin, and Zig.☆92Updated 2 months ago
- operating system and its own microkernel in pure Zig☆20Updated 3 weeks ago
- A hobby operating system written in Zig & C, a modification of some UNIX ideas.☆138Updated 10 months ago
- QBE IR in natural Rust data structures☆118Updated last month
- A 2d programming language☆19Updated last year
- A static typed low-level compiled programming language inspired by Rust and C☆92Updated 11 months ago
- An easy-to-use simulator for logical circuits☆66Updated 3 months ago
- LLVM's Hello World Assembly Code☆47Updated 7 years ago
- A language that ports⚓: examining the limits of compilation⚙️.☆105Updated 3 years ago
- Structured Human-Readable Binary Format☆63Updated 10 months ago
- Open-source operating system☆69Updated this week
- General-purpose, compiled programming language, focused on productivity, expressiveness and joy of programming™☆43Updated 3 years ago
- Rust hello world without stdlib (aarch64 linux)☆51Updated 4 months ago
- C-like programming language☆10Updated 6 months ago
- Seam Carving implementation☆54Updated last year
- Demo of C3 Programming Language☆63Updated last year