mr boxington mr-boxington.jdx.dev ↗

Creusot ↗Dev tools

A deductive verifier for Rust code.

MacTeX ↗Dev tools

A TeX distribution for macOS.

wasm-bindgen ↗Dev tools

A tool and library for interop between Rust-compiled WASM and JavaScript.

rust-glancer ↗Dev tools

A Rust code-analysis tool positioned as a lighter alternative for IDE support.

Verus ↗Dev tools

A tool for verifying the correctness of Rust code.

DDEV ↗Dev tools

A Docker-based local development environment tool.

pyxis ↗Dev tools

A compiler that generates Rust types matching C++ memory layouts.

Browsertrix ↗Dev tools

A browser-based web crawling and archiving platform from Webrecorder.

Pi ↗

An extensible terminal coding agent that can switch between models.

Forgejo ↗

A self-hostable community-driven software forge.

OpenCode ↗

An open-source terminal coding agent harness.

herdr ↗

A tool to run multiple agents on one project in separate git worktrees.

Claude Code ↗

Anthropic's terminal-based coding agent harness.

F-Droid ↗

An app store distributing free and open-source Android apps.

Radicle ↗

A peer-to-peer code collaboration stack built on Git.

Aurora Store ↗

An open-source alternative client for downloading apps from Google Play.

Flux ↗

A refinement type checker for Rust.

GitLab ↗

A Git hosting and DevOps platform with an open-source community edition.

Gitea ↗

A lightweight self-hosted Git service.

Jujutsu ↗

A version control system that can use git as a storage backend.