The home of the CUE language! Validate and define text-based and dynamic configuration

A filesystem which allows you to mount HTTP directory listings or a single file, with a permanent cache. Now with Airsonic / Subsonic support!

An innovative superfamily of fonts for code

Optics as an abstract interface

PKM for the LSP

A fast, feature-rich static code analyzer & language server for Python

A modern alternative to ls

Industrial-strength monadic parser combinator library

Rust library to create a Good Game Easily

magic-trace collects and displays high-resolution traces of what a process is doing

A frontend for the 1111 stable diffusion API

Jane Street Capital's standard library overlay

a structural diff that understands syntax 🟥🟩

Unix-like kernel written in Rust

A graphical display window manager in neovim

Start an xorg server

A digital assistant for the Raspberry Pi and Ubuntu

A simple playlist generator which uses audio similarity to walk the song space

Rust on the Flipper Zero

Cross-platform, fast, feature-rich, GPU based terminal

A formatter for Haskell source code

leaked prompts of GPTs

Data processing, backend, and frontend for Sail Wrapped 2023

A collection of GPT system prompts and various prompt injection/leaking knowledge.

Linear algebra foundation for the Rust programming language

Inpla: Interaction nets as a programming language (the current version)

A modern proof language

A massively parallel, optimal functional runtime in Rust

This is my weekly newsletter. I talk about tech-related project ideas that you can bring up at slumber parties