Skip to content
View brendanzab's full-sized avatar
πŸ˜΅β€πŸ’«
writing elaborators
πŸ˜΅β€πŸ’«
writing elaborators

Sponsoring

@servo

Organizations

@yeslogic @rust-lang @PistonDevelopers @gluon-lang @proglangdesign @pikelet-lang

Block or report brendanzab

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

πŸ“½ Animation

5 repositories

πŸ–ΌοΈ Art

3 repositories

πŸ“œ Binary Formats

54 repositories

πŸŒ€ Bootstrapping

48 repositories

πŸ—οΈ Build systems

11 repositories

πŸ“ Compilation

29 repositories

🎨 Creative Tools

36 repositories

πŸ—„ Data Layout

3 repositories

Starred repositories

66 stars written in HTML
Clear filter

Emoji for everyone. https://twemoji.twitter.com/

HTML 17,145 1,886 Updated Aug 16, 2024

Repository for the book "Crafting Interpreters"

HTML 10,005 1,161 Updated Aug 7, 2024

In-depth guide to the best open-source typefaces: https://beautifulwebtype.com

HTML 7,303 278 Updated Jun 6, 2025

A vintage 1980s DOS inspired Twitter Bootstrap theme

HTML 6,761 316 Updated Sep 11, 2024

Pattern matching syntax for ECMAScript

HTML 5,699 90 Updated Jul 7, 2025

Procedurally generated Chinese landscape painting.

HTML 5,590 447 Updated Dec 11, 2018

A rendition of everyone's favorite 1995 Microsoft operating system for Linux.

HTML 5,186 167 Updated May 27, 2025

MVP.css β€” Minimalist classless CSS stylesheet for HTML elements

HTML 5,093 192 Updated Feb 22, 2025

Source repo for the book

HTML 4,360 507 Updated Jul 21, 2024

A classless CSS framework to write modern websites using only HTML.

HTML 4,001 131 Updated Mar 16, 2024

The world smallest office suite

HTML 3,640 161 Updated Jun 2, 2023

LaTeX.css is a CSS library that makes your website look like a LaTeX document

HTML 3,362 143 Updated May 15, 2025

System font stack CSS organized by typeface classification for every modern operating system

HTML 3,060 46 Updated May 15, 2025

Interactively Visualizing Ownership and Borrowing for Rust

HTML 2,786 77 Updated Feb 13, 2024

A timeless Twitter Bootstrap theme built for the modern web.

HTML 2,162 140 Updated Jan 11, 2016

My collection of bitmap fonts pulled from various demoscene archives over the years

HTML 1,841 97 Updated Jun 26, 2025

Open source, experimental, and tiny tools roundup

HTML 1,727 71 Updated Aug 13, 2024

A grotesque sans.

HTML 1,656 59 Updated Apr 10, 2024

The Power of Prolog: Introduction to modern Prolog

HTML 1,316 82 Updated Aug 9, 2025

The 8values political quiz

HTML 1,045 415 Updated Jul 28, 2023

advanced compilers

HTML 848 193 Updated Aug 14, 2025

Static wiki engine written in Uxntal

HTML 526 82 Updated Aug 13, 2025

Create styles that don't mysteriously break!

HTML 447 49 Updated Sep 23, 2020

Madoko is a fast markdown processor for high quality academic and technical articles

HTML 399 40 Updated Sep 9, 2024

Fonts and UFO Masters of Inria Serif and Inria Sans Typeface

HTML 392 15 Updated Dec 8, 2021

Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant

HTML 276 136 Updated Dec 9, 2024

A collection of tools for writing technical documents that mix Coq code and prose.

HTML 266 37 Updated Aug 14, 2025

Protocol documentation for Secure Scuttlebutt

HTML 251 31 Updated Nov 24, 2023

Programming Models and Languages for Distributed Computation

HTML 239 4 Updated Nov 16, 2018

General Parser Combinators in Racket

HTML 194 9 Updated Sep 5, 2016
Next
66 stars written in HTML