A lightweight, edge-first web framework built on Cloudflare Workers with authentication, D1 database, and a clean dark UI. Deploy a blog or small site globally in under 5 minutes. Version 1.0

Open-source E-ink monitor. Mirror of https://gitlab.com/zephray/glider

Layerform helps engineers create reusable environment stacks using plain .tf files. Ideal for multiple "staging" environments.

My web page containing all the demos from my youtube channel "Ten Minute Physics" www.youtube.com/c/TenMinutePhysics

A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

A mitigation for CVE-2021-44228 (log4shell) that works by patching the vulnerability at runtime. (Works with any vulnerable java software, tested with java 6 and newer)

Accessibility infrastructure for UI toolkits

Promoting Solutions that Improve Wellbeing, Freedom and Society

Terraform samples for all the major clouds you can copy and paste. The future, co-created.

DebOps - Your Debian-based data center in a box

Code AI platform with Code Search & Cody

A hands-on introduction to video technology: image, video, codec (av1, vp9, h265) and more (ffmpeg encoding). Translations: 🇺🇸 🇨🇳 🇯🇵 🇮🇹 🇰🇷 🇷🇺 🇧🇷 🇪🇸

🤪 A list of funny and tricky JavaScript examples

aka "Bayesian Methods for Hackers": An introduction to Bayesian methods + probabilistic programming with a computation/understanding-first, mathematics-second point of view. All in pure Python ;)

Machine learning, in numpy

The repository contains Google's robots.txt parser and matcher as a C++ library (compliant to C++11).

System design interview for IT companies

The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.

"Slides" and supplemental info from my August 3rd 2016 NYC Vim talk

libnop: C++ Native Object Protocols

Code for http://oilshell.org/blog/

Google Chrome, Firefox, and Thunderbird extension that lets you write email in Markdown and render it before sending.

📙 Amazon Web Services — a practical guide

A book series (2 published editions) on the JS language.

😎 Awesome lists about all kinds of interesting topics

The Z3 Theorem Prover

Roadmap to becoming a React developer

Maintainable configuration files

😱 Falsehoods Programmers Believe in