Beast code in Giters

Avi Hayoun's starred repositories

Learn TLA+ for free! No prior experience necessary!

Language:TLANOASSERTION18800

Public Bug Tracker for Dota2

Mold: A Modern Linker 🦠

Language:C++MIT1386900

Bitwise is an educational project where we create the software/hardware stack for a computer from scratch.

Language:CNOASSERTION511000

Record and Replay Framework

Language:C++NOASSERTION900500

A C compiler written in Zig.

Language:ZigMIT105700

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

Language:ZigMIT3297600

TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

Language:TLAMIT26500

Simple Excel engine without any UI

Language:CMIT5400

Reference monospace terminal renderer

Language:CGPL-2.0155000

build-once run-anywhere c library

Language:CISC1752500

stb single-file public domain libraries for C/C++

Language:CNOASSERTION2596000

Detect what files a program uses and rerun it when they change

Language:C2900