Lists (32)
📽 Animation
5 repositories
🖼️ Art
3 repositories
📜 Binary Formats
54 repositories
🌀 Bootstrapping
49 repositories
🏗️ Build systems
12 repositories
📝 Compilation
32 repositories
🎨 Creative Tools
38 repositories
🗄 Data Layout
3 repositories
🌱 Digital Gardens - Examples
10 repositories
🌱 Digital Gardens - Tools
42 repositories
📖 Documentation - Tools
3 repositories
🚀 Effects
Effect systems, Algebraic effects and handlers… resources, languages, libraries and use cases56 repositories
🗣 Elaboration
Examples of elaborating surface languages into minimal core languages26 repositories
🐟 Fish Shell
4 repositories
🔠 Fonts
28 repositories
🕹️ Game Development
3 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
29 repositories
🐪 OCaml - js_of_ocaml
3 repositories
🏔 Procedural
Things related to procedural generation, generated worlds, etc.57 repositories
🎲 Property Based Testing
4 repositories
🖼 Shaders
16 repositories
⏱ Staged Programming
8 repositories
🌳 Structural Editing
14 repositories
🏔 World Building - Conlanging
8 repositories
Starred repositories
71
stars
written in HTML
Clear filter
Emoji for everyone. https://twemoji.twitter.com/
Repository for the book "Crafting Interpreters"
A vintage 1980s DOS inspired Twitter Bootstrap theme
Pattern matching syntax for ECMAScript
A rendition of everyone's favorite 1995 Microsoft operating system for Linux.
Procedurally generated Chinese landscape painting.
MVP.css — Minimalist classless CSS stylesheet for HTML elements
A classless CSS framework to write modern websites using only HTML.
System font stack CSS organized by typeface classification for every modern operating system
LaTeX.css is a CSS library that makes your website look like a LaTeX document
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
turtles, patches, and links for kids, teachers, and scientists
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