Lists (13)
Starred repositories
🤖 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
Embeddable Postgres with real-time, reactive bindings.
SQL Database Explorer [SQLite, libSQL, PostgreSQL, MySQL/MariaDB, ClickHouse, 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.
✨ Magical headers that make your C++ library accessible from JavaScript 🚀
AsahiLinux / linux
Forked from torvalds/linuxLinux kernel source tree
The main repo for the Medley Interlisp project. Wiki, Issues are here. Other repositories include maiko (the VM implementation) and Interlisp.github.io (web site sources)
📝A simple and elegant markdown editor, available for Linux, macOS and Windows.
A straightforward standalone Forth implementation for x86.
Universally Unique Lexicographically Sortable Identifier