A data-oriented proof assistant

Build packages using pnpm with nix

Code samples that scale

Search and resume OpenCode sessions across folders

A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.

ACT community resources

random blob generation and animation

A simple multi-profile Nix-flake deploy tool.

web app that visualizes CNC G-code on a live camera feed

A library of high-quality primitives that extend Solid reactivity.

Curated resources on building sites with SolidJS, a brand new way(now 1.0) to build Javascript based interactive web applications. A very close looking cousin to React/JSX by syntax, and to Svelte …

Use your PCB itself as a USB C connector! Including 10,14, and 24 Pin versions

An alternative PCB pawprint for the Tag-Connect TC2030 pogo pin programming cable

A modern commutative diagram editor for the web.

Graph data structure library for Rust.

Simple arbitrarily dimensional force-directed graph layout in Rust

A free and open-source multi-user go board

SGF parsing library for Rust.

An ECS (Entity Component System) for Python

🃏 Some game prototypes made with LÖVE.

Meiliadmin is a dashboard for Meilisearch

A place to share electronics projects

A course on aligning smol models.

Immutable database and Datalog query engine for Clojure, ClojureScript and JS

Monkey testing library for web apps and Node.js

an open source image projector build from scratch and based off of flea market parts.

Quint: Essence of Minimalism. A theme for Hugo static site generator.

The cross-browser extension framework.

A modern Prolog implementation written mostly in Rust.