alexjercan / croofLinks
Simple Math Proof Tool for Simple Math Expressions
☆42Updated last month
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 2 weeks ago
- The website for C3 made with Astro!☆90Updated this week
- Just a simple proof-of-concept of using Raylib from LLVM IR directly☆38Updated last year
- Notes from the stream where I was checking out QBE☆19Updated last year
- Python's Simplicity, C++'s Power, Native Interoperable with all, and Rust (W.I.P)☆350Updated this week
- A hobby operating system written in Zig & C that reimagines classic UNIX ideas for modern technology☆128Updated 5 months ago
- Statically typed programming language☆97Updated this week
- Simple Experiment with Subframe rendering☆42Updated last year
- Structured Human-Readable Binary Format☆64Updated 5 months ago
- Something like serde, but in C☆60Updated last month
- External C3 libraries☆57Updated last month
- Simple Gemini browser☆36Updated 6 months ago
- Byte Pair Encoding☆84Updated 4 months ago
- Rust that is actually Fun☆278Updated 3 months ago
- A static typed low-level compiled programming language inspired by Rust and C☆90Updated 6 months ago
- Simple Implement of Tetris Game in Jai☆25Updated 3 years ago
- An easy-to-use simulator for logical circuits☆62Updated last year
- 🍊 A statically typed, compiled programming language, largely inspired by Jai, Odin, and Zig.☆82Updated 6 months ago
- Demo of C3 Programming Language☆61Updated last year
- General purpose operating system targeting standard desktops and laptops.☆90Updated this week
- The Kernel of CharlotteOS, An Experimental Modern Operating System☆11Updated last week
- 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
- Generate random messages based on their BNF definition☆95Updated last month
- 3DS homebrew sdk written entirely in zig☆26Updated this week
- Tic-Tac-Toe in Fortran with Raylib☆59Updated 2 years ago
- Rust hello world without stdlib (aarch64 linux)☆49Updated 5 months ago
- ☆76Updated last week
- Seam Carving implementation☆54Updated last year
- Arena Allocator implementation in C☆10Updated 2 months ago
- Barebones RISC-V kernel template for Zig☆51Updated last week