A community database for the problems on the erdosproblems.com site

Common Lisp BBS textboard

automatic differentiation made easier for C++

A FreeCAD workbench aiding in naval vessel design

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

Legislación de España en Markdown, versionada como git. Cada ley es un archivo, cada reforma un commit.

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