Lists (32)
📽 Animation
5 repositories
🖼️ Art
3 repositories
📜 Binary Formats
55 repositories
🌀 Bootstrapping
49 repositories
🏗️ Build systems
11 repositories
📝 Compilation
31 repositories
🎨 Creative Tools
37 repositories
🗄 Data Layout
3 repositories
🌱 Digital Gardens - Examples
9 repositories
🌱 Digital Gardens - Tools
42 repositories
📖 Documentation - Tools
3 repositories
🚀 Effects
Effect systems, Algebraic effects and handlers… resources, languages, libraries and use cases54 repositories
🗣 Elaboration
Examples of elaborating surface languages into minimal core languages25 repositories
🐟 Fish Shell
4 repositories
🔠 Fonts
27 repositories
🕹️ Game Development
2 repositories
🕹️ Games
2 repositories
📐 Geometric Algebra
18 repositories
👍 Memory Safe by Default
4 repositories
🍱 Module Systems - Case Studies
3 repositories
🍱 Module Systems - Languages
12 repositories
🏡 My Stack
14 repositories
⚙️ Nix - Example Configurations
12 repositories
⚙️ Nix - Tools
36 repositories
💾 Nostalgia
28 repositories
🐪 OCaml - js_of_ocaml
3 repositories
🏔 Procedural
Things related to procedural generation, generated worlds, etc.52 repositories
🎲 Property Based Testing
4 repositories
🖼 Shaders
16 repositories
⏱ Staged Programming
6 repositories
🌳 Structural Editing
14 repositories
🏔 World Building - Conlanging
8 repositories
Starred repositories
67
stars
written in HTML
Clear filter
Emoji for everyone. https://twemoji.twitter.com/
Repository for the book "Crafting Interpreters"
In-depth guide to the best open-source typefaces: https://beautifulwebtype.com
A vintage 1980s DOS inspired Twitter Bootstrap theme
Pattern matching syntax for ECMAScript
Procedurally generated Chinese landscape painting.
A rendition of everyone's favorite 1995 Microsoft operating system for Linux.
MVP.css — Minimalist classless CSS stylesheet for HTML elements
A classless CSS framework to write modern websites using only HTML.
LaTeX.css is a CSS library that makes your website look like a LaTeX document
System font stack CSS organized by typeface classification for every modern operating system
Interactively Visualizing Ownership and Borrowing for Rust
A timeless Twitter Bootstrap theme built for the modern web.
My collection of bitmap fonts pulled from various demoscene archives over the years
Open source, experimental, and tiny tools roundup
The Power of Prolog: Introduction to modern Prolog
Create styles that don't mysteriously break!
Madoko is a fast markdown processor for high quality academic and technical articles
Fonts and UFO Masters of Inria Serif and Inria Sans Typeface
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
A collection of tools for writing technical documents that mix Coq code and prose.
Protocol documentation for Secure Scuttlebutt
Programming Models and Languages for Distributed Computation