My most up to date dotfiles

Personal website of Sindre Sorhus

A vi-like editor based on Plan 9's structural regular expressions

Clojure CLI enhanced REPL

TACIT — Tracked Agent Capabilities In Types

Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless

Bolts: Stainless Verified Scala Examples

A personal Fedora DWM config based on the graphics of Caves of Qud. Forked from DWM-Titus.

Terminal interaction for Scala

A hands on laboratory to learn fundamentals of Laminar, a library for reactive web UI in Scala.js

Flagged reads your CLI arguments

A Docker & dev container setup for securely running AI agents in `--dangerous` mode. All container traffic is routed through a transparent mitmproxy, enforcing network access rules and injecting se…

Your self-hosted, globally interconnected microblogging community

A minimalist, terminal-native coding agent written in C.

Find great translations of Greek and Roman classics.

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Typst: Life after \makeatletter - An introductory talk and live demo

A compact monospace neo-grotesque font designed for developers (and adventurers).

God's chosen Coding Harness

Telegram MCP server powered by Telethon to let MCP clients read chats, manage groups, and send/modify messages, media, contacts, and settings.

Personal website

Instant is the best backend for AI-coded apps. You get auth, permissions, storage, presence, and streams — everything you need to ship apps your users will love.

Reactive server-rendered web framework for Clojure

SDK for building apps & an app store for your Kobo eInk reader