just my .dotfiles

⚡ Fast, async, stream-based link checker written in Rust. Finds broken URLs and mail addresses inside Markdown, HTML, reStructuredText, websites and more!

Web framework built on Web Standards

Fluent (i.e. chainable) syntax for generating vows tests against RESTful APIs.

A wave-optical path tracer

Nimble bidirectional text stack for UIs

Filter sensitive information from free text before sending it to external services or APIs, such as chatbots and LLMs.

Vim plugin for LLM-assisted code/text completion

A library for incremental computations

A menagerie of cute implementations of modern typechecking algorithms

Jan is an open source alternative to ChatGPT that runs 100% offline on your computer.

Collection of awesome LLM apps with AI Agents and RAG using OpenAI, Anthropic, Gemini and opensource models.

This a open source collection of USD materials and textures using MaterialX

gpt-oss-120b and gpt-oss-20b are two open-weight language models by OpenAI

Showcase how to build and deploy your web app on Azure

Still not sure

Conservative Morphological Anti-Aliasing 2.0

Vibe coding experiment with Lager, Immer, Zug and ImTUI

Personal tinkering space

The beautiful & flexible React.js docs framework.

Rust persistent data structures

Open source AI coding agent. Designed for large projects and real world tasks.

Executes commands in response to file modifications

Dafny is a verification-aware programming language

This project demonstrates the use of the gsplat library to render a high-resolution point cloud model in a WebGL context. It loads a 3D model of a bonsai tree and displays it on a web canvas, with …

A highly customizable macOS status bar replacement

PCB source for the original Ateroids arcade game