alexjercan / croofLinks
Simple Math Proof Tool for Simple Math Expressions
☆40Updated 4 months ago
Alternatives and similar repositories for croof
Users that are interested in croof are comparing it to the libraries listed below
Sorting:
- Notes from the stream where I was checking out QBE☆20Updated last year
- Modern low level programming language designed for kernel development☆122Updated this week
- Byte Pair Encoding☆86Updated 7 months ago
- Statically typed programming language☆101Updated 2 weeks ago
- Python's Simplicity, C++'s Power, Native Interoperable with all, and Rust (W.I.P)☆357Updated last week
- Structured Human-Readable Binary Format☆63Updated 8 months ago
- Something like serde, but in C☆62Updated 3 months ago
- Just a simple proof-of-concept of using Raylib from LLVM IR directly☆38Updated last year
- The website for C3 made with Astro!☆93Updated last week
- A hobby operating system written in Zig & C, a modification of some UNIX ideas.☆136Updated 8 months ago
- A static typed low-level compiled programming language inspired by Rust and C☆92Updated 9 months ago
- Demo of C3 Programming Language☆61Updated last year
- Rust that is actually Fun☆301Updated last week
- Generate random messages based on their BNF definition☆99Updated 3 months ago
- Simple Programming Language that compiles to BEAM bytecode☆71Updated last year
- c-prepocessor lisp☆27Updated 2 years ago
- 🍊 A statically typed, compiled programming language, largely inspired by Jai, Odin, and Zig.☆89Updated last week
- Seam Carving implementation☆54Updated last year
- Rust hello world without stdlib (aarch64 linux)☆50Updated 2 months ago
- Simple Experiment with Subframe rendering☆42Updated last year
- A custom compiler backend designed to be small, have fast compilation, and be complete enough to be used for actual compilers.☆15Updated 8 months ago
- Roland programming language☆66Updated 2 months ago
- A (toy) C compiler written in Rust with no dependencies.☆76Updated 5 months ago
- C-like programming language☆10Updated 4 months ago
- Stack Lang - stack based programming language☆10Updated 10 months ago
- 4orth is a Porth compiler with WASM, WASI and WASM-4 targets☆23Updated 2 years ago
- JIT Compiler for Brainfuck☆175Updated last year
- 🪄 The *magical* build system and package manager☆62Updated last week
- An operating system🧑💻 written using C and Sage☆44Updated last year
- The initial (legacy) compiler for the Gera programming language.☆23Updated last year