A TypeScript library for generating beautiful, Rust-style compiler diagnostics. Create elegant, informative, and context-aware error reports for your tools.

An open source engine for your digital products. Sell SaaS and digital products in minutes.

Various cspell dictionaries

A Spell Checker for Code!

GNU Assembler grammar for Tree-sitter

An ahead-of-time JavaScript compiler

A Lean companion to Analysis I

Proposal to ECMAScript to add first-class location references relative to a module

A small self-contained alternative to readline and libedit

Some notes on things I find interesting and important.

Refines, sorts and reformats -Zprint-type-sizes

A cargo subcommand for displaying when Rust dependencies are out of date

egg is a flexible, high-performance e-graph library

An emulator for the ARMv4t instruction set written in Rust

ARM Thumb emulation rust library

Create/manage your daily, weekly, and monthly notes in Obsidian

UniGetUI: The Graphical Interface for your package managers. Could be terribly described as a package manager manager to manage your package managers

Type safe predicate generator for TypeScript

Indented document literals for Rust

JavaScript Promise Integration

Command-line sampling profiler for macOS, Linux, and Windows

A VS Code extension that hides TypeScript types in place.

Ansi HTML Adapter

A nobuild content delivery network(CDN) for modern web development.

Synchronously execute asynchronous functions on browsers, Node.js, and Deno

Turso Database is a project to build the next evolution of SQLite.

Network Analysis in Python

GitHub action for standard CI in Lean projects

A lightweight WebAssembly runtime that is fast, secure, and standards-compliant