Legislation as code. Every law as a Markdown file. Every reform as a Git commit.

Spanish legislation as a Git repo — every law is a Markdown file, every reform a commit. 8,600+ laws.

JavaScript version of GPAC's MP4Box tool

Making it easier to work with shaders

webgpu for node.js

Validate and Run GitHub Actions locally.

Pre-Multiplied blend mode is a 3 in 1 blend mode that has a lot of uses. It has been around for a long time but it seems to be re-discovered every few years. This project includes descriptions/exam…

A filesystem, anywhere.

Emacs is editing a PostgreSQL database.

MIT CADR emulator ported to typescript

Low dimensional topology and geometry.

A Tcl interpreter in 500 lines of code

Rust bindings for the V8 JavaScript engine

A Tetris implementation in PostScript

Rust geospatial primitives & algorithms

🤖 Powerful asynchronous state management, server-state utilities and data fetching for the web. TS/JS, React Query, Solid Query, Svelte Query and Vue Query.

A project to digitalise results from physics into Lean.

Lean 4 programming language and theorem prover

Real time volumetric rendering of a dicom image with web gpu

A scientific calculator

Embeddable Postgres with real-time, reactive bindings.

SQL Database Explorer [SQLite, libSQL, PostgreSQL, MySQL/MariaDB, ClickHouse, DuckDB, Microsoft SQL Server]

Apply boolean polygon clipping operations (union, intersection, difference, xor) to your Polygons & MultiPolygons.

Boolean operations on polygons (union, intersection, difference, xor)

Martinez-Rueda polygon clipping algorithm, does boolean operation on polygons (multipolygons, polygons with holes etc): intersection, union, difference, xor

DEVELOPMENT STOPPED I'm now working on Nomad Sculpt instead

There can be more than Notion and Miro. AFFiNE(pronounced [ə‘fain]) is a next-gen knowledge base that brings planning, sorting and creating all together. Privacy first, open-source, customizable an…

A flexible distributed key-value database that is optimized for caching and other realtime workloads.

Numerical optimization in pure Rust