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☆118Updated this week
- The website for C3 made with Astro!☆92Updated this week
- Statically typed programming language☆99Updated this week
- Something like serde, but in C☆61Updated 2 months ago
- jitcalc is a calculator written in the V programming language that evaluates expressions by creating x86_64 programs at runtime.☆36Updated 2 years ago
- 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
- The Kernel of CharlotteOS, An Experimental Modern Operating System☆14Updated this week
- Byte Pair Encoding☆85Updated 6 months ago
- Notes from the stream where I was checking out QBE☆20Updated last year
- Structured Human-Readable Binary Format☆63Updated 6 months ago
- Demo of C3 Programming Language☆61Updated last year
- Simple Experiment with Subframe rendering☆42Updated last year
- A hobby operating system written in Zig & C that reimagines classic UNIX ideas for modern technology☆132Updated 6 months ago
- Roland programming language☆66Updated 3 weeks ago
- Custom WebSocket implementation in C for educational and recreational purposes.☆87Updated 5 months ago
- A stack based compiled systems programming language.☆61Updated 2 years ago
- A static typed low-level compiled programming language inspired by Rust and C☆92Updated 8 months ago
- Just a simple proof-of-concept of using Raylib from LLVM IR directly☆38Updated last year
- moved to https://codeberg.org/core-lang/core☆52Updated 8 months ago
- General purpose operating system targeting standard desktops and laptops.☆96Updated this week
- not a build system☆53Updated 4 years ago
- External C3 libraries☆60Updated last week
- Conway's Game of Life implementation in C formatted as Glider☆52Updated last year
- A delightful programming language for writing reliable software☆19Updated 11 months ago
- Simple Implement of Tetris Game in Jai☆25Updated 3 years ago
- Rust hello world without stdlib (aarch64 linux)☆49Updated 3 weeks ago
- operating system and its own microkernel in pure Zig☆18Updated last week
- JIT Compiler for Brainfuck☆174Updated last year
- Arena Allocator implementation in C☆12Updated 3 months ago
- An attempt to implement breakout in Zig☆62Updated 2 years ago