alexjercan / croofLinks
Simple Math Proof Tool for Simple Math Expressions
☆42Updated 2 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☆117Updated last month
- Notes from the stream where I was checking out QBE☆19Updated last year
- A (toy) C compiler written in Rust with no dependencies.☆73Updated 3 months ago
- A hobby operating system written in Zig & C that reimagines classic UNIX ideas for modern technology☆129Updated 6 months ago
- Rust hello world without stdlib (aarch64 linux)☆49Updated this week
- Something like serde, but in C☆60Updated last month
- 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
- c-prepocessor lisp☆27Updated last year
- Statically typed programming language☆98Updated 2 weeks ago
- The website for C3 made with Astro!☆91Updated this week
- General purpose operating system targeting standard desktops and laptops.☆95Updated this week
- Byte Pair Encoding☆84Updated 5 months ago
- Simple Gemini browser☆37Updated 7 months ago
- Roland programming language☆66Updated this week
- Demo of C3 Programming Language☆61Updated last year
- A better operating system☆61Updated 2 years ago
- Structured Human-Readable Binary Format☆64Updated 6 months ago
- Just a simple proof-of-concept of using Raylib from LLVM IR directly☆38Updated last year
- An experimental programming language☆73Updated last week
- JIT Compiler for Brainfuck☆174Updated last year
- External C3 libraries☆59Updated last week
- Rust that is actually Fun☆285Updated 4 months ago
- A delightful programming language for writing reliable software☆19Updated 10 months ago
- Atiny is a simple compiler for a ML like language☆11Updated 2 years ago
- A set of plugins to convert Lite XL into a proper IDE.☆28Updated 2 months ago
- ☆77Updated 3 weeks ago
- Simple Experiment with Subframe rendering☆42Updated last year
- Simple 6502 emulator that integrates with POSIX environment☆32Updated last month
- Python's Simplicity, C++'s Power, Native Interoperable with all, and Rust (W.I.P)☆353Updated this week
- A static typed low-level compiled programming language inspired by Rust and C☆90Updated 7 months ago