alexjercan / croofLinks
Simple Math Proof Tool for Simple Math Expressions
☆39Updated last month
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☆19Updated last year
- A hobby operating system written in Zig & C that reimagines classic UNIX ideas for modern technology☆129Updated 4 months ago
- 🧙♂️A small programming language with static typing and native compilation, selfhosted☆43Updated this week
- Python's Simplicity, C++'s Power, Native Interoperable with all, and Rust (W.I.P)☆349Updated this week
- Modern low level programming language designed for kernel development☆112Updated 2 weeks ago
- Roland programming language☆64Updated last month
- A stack based compiled systems programming language.☆60Updated 2 years ago
- General purpose operating system targeting standard desktops and laptops.☆89Updated last week
- Statically typed programming language☆94Updated this week
- A static typed low-level compiled programming language inspired by Rust and C☆89Updated 6 months ago
- LLVM's Hello World Assembly Code☆47Updated 7 years ago
- External C3 libraries☆57Updated last week
- A 2d programming language☆20Updated 7 months ago
- x86-64 Assembler written in V☆100Updated 4 months ago
- The compiler for Deimos, a small, low-level Lua inspired language☆9Updated 10 months ago
- 🍊 A statically typed, compiled programming language, largely inspired by Jai, Odin, and Zig.☆80Updated 5 months ago
- An operating system🧑💻 written using C and Sage☆44Updated last year
- A custom compiler backend designed to be small, have fast compilation, and be complete enough to be used for actual compilers.☆12Updated 4 months ago
- The website for C3 made with Astro!☆90Updated last week
- General-purpose, compiled programming language, focused on productivity, expressiveness and joy of programming™☆44Updated 2 years ago
- Amethyst is a systems language aimed at being simple, small, portable, and safe.☆44Updated last year
- moved to https://codeberg.org/core-lang/core☆52Updated 6 months ago
- A language that ports⚓: examining the limits of compilation⚙️.☆101Updated 3 years ago
- The initial (legacy) compiler for the Gera programming language.☆22Updated last year
- Chess game written in V programming language☆17Updated last year
- A small fantasy computer and ISA☆11Updated last month
- A (toy) C compiler written in Rust with no dependencies.☆72Updated 2 months ago
- A macos port of the hare language (https://harelang.org). See README.darwin.☆82Updated 7 months ago
- (WIP) A programming language☆42Updated 6 months ago
- AOT compiled object oriented programming language☆47Updated last year