alexjercan / croofLinks
Simple Math Proof Tool for Simple Math Expressions
☆39Updated 7 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☆22Updated last year
- An experimental programming language☆98Updated last week
- Statically typed programming language☆106Updated 2 months ago
- The website for C3 made with Astro!☆108Updated this week
- 🍊 A statically typed, compiled programming language, largely inspired by Jai, Odin, and Zig.☆93Updated 3 months ago
- Python's Simplicity, C++'s Power, Native Interoperable with all, and Rust (W.I.P)☆361Updated this week
- A static typed low-level compiled programming language inspired by Rust and C☆91Updated last year
- Modern low level programming language designed for kernel development☆135Updated this week
- C-like programming language☆10Updated 6 months ago
- LLVM's Hello World Assembly Code☆47Updated 7 years ago
- The initial (legacy) compiler for the Gera programming language.☆24Updated last year
- Simple Programming Language that compiles to BEAM bytecode☆70Updated last year
- A hobby operating system written in Zig & C, a modification of some UNIX ideas.☆142Updated 10 months ago
- c-prepocessor lisp☆28Updated 2 years ago
- An operating system🧑💻 written using C and Sage☆46Updated last year
- A (toy) C compiler written in Rust with no dependencies.☆82Updated 8 months ago
- Just a simple proof-of-concept of using Raylib from LLVM IR directly☆38Updated last year
- Byte Pair Encoding☆92Updated 10 months ago
- An easy-to-use simulator for logical circuits☆66Updated 4 months ago
- (WIP) A programming language☆42Updated last year
- Structured Human-Readable Binary Format☆63Updated 10 months ago
- Generate random messages based on their BNF definition☆107Updated 6 months ago
- Rust hello world without stdlib (aarch64 linux)☆51Updated 4 months ago
- moved to https://codeberg.org/core-lang/core☆51Updated last year
- QBE IR in natural Rust data structures☆120Updated 2 months ago
- Amethyst is a systems language aimed at being simple, small, portable, and safe.☆43Updated last year
- Something like serde, but in C☆63Updated 6 months ago
- For the joy of programming☆90Updated this week
- Rust that is actually Fun☆341Updated 2 months ago
- General purpose operating system targeting standard desktops and laptops.☆111Updated this week