A markup-based typesetting system that is powerful and easy to learn.

Book of educational examples for Typst

Automatically create a handcrafted index in typst.

Programming and interaction language. Flexible about syntax, strict about state.

Website for the 512 KB Club

Kaspa full-node reference implementation and related libraries in the Rust programming language

Empowering everyone to build reliable and efficient software.

ryde is a single person, single file web framework for rust

Lean 4 programming language and theorem prover

A functional, content-addressable programming language.

an opinionated time-management utility

Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io

The Go programming language

Easy web analytics. No tracking of personal data.

Hacker News front page in the style of a print newspaper

A dynamic language and bytecode vm

Old version. Visualise data and edit JavaScript code using a spreadsheet interface.

Anki is a smart spaced repetition flashcard program

web development for the rest of us

Google chrome extension that allows you to open multiple links at once.

freeCodeCamp.org's open-source codebase and curriculum. Learn math, programming, and computer science for free.

uBlock Origin - An efficient blocker for Chromium and Firefox. Fast and lean.

a simple chrome extension to manage chrome extension

Coding articles to level up your development skills

Visual Studio Code

Modern JavaScript Tutorial

Reproducing images with geometric primitives.

Github Language Statistics

♞ lichess.org: the forever free, adless and open source chess server ♞