a language trying to be flexible about expression, but 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

From an input, creates a full book, with cover art and sells it on Amazon. Using OpenAI for content, Midjourney for covers, and puppeteer for product input.

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

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 ♞

ConEmu: Customizable Windows terminal with tabs, splits, quake-style, hotkeys and more