Stars
This work proves, in a minimal sequent calculus, that the first distinction D₀ — the act of marking a difference between “mark” and “background” — is logically irrefutable. Any attempt to deny D₀ n…
A global, public domain map dataset available at three scales and featuring tightly integrated vector and raster data.
Natural Earth data in GeoJSON
d3-3d is a powerful JavaScript library designed for 3D visualizations, specifically tailored to work seamlessly with d3.js. This library enables the projection of 3D data onto web browsers, making …
A 2d function plotter for the web
Textual universal dictionary database for all languages, including constructed languages and minority languages
TeX-to-MathML conversion library in JavaScript
A 'CSS reset' for TypeScript, improving types for common JavaScript API's
A small desktop application made with Tauri to save excalidraw whiteboards locally
Enforce nesting when it is possible in CSS
Monorepo for ESLint Stylistic plugins and configs
🧙 Valtio makes proxy-state simple for React and Vanilla
🌘 Scope your inline style tags in pure vanilla CSS! Only 16 lines. No build. No dependencies.
Support loading eslint.config.mjs and eslint.config.ts as flat config files for ESLint.
Polyfill for the selectlist element
A collection of stylistic rules for Stylelintin in a form of a plugin.
An ESLint plugin for linting HTML files and HTML in JavaScript Template Literals
Simulator for the Polish Sejm election
Wiktionary dump file parser and multilingual data extractor
Collection of georeferenced boundaries of world countries and cultural regions for use in mapping historical data on global or continental scale
A type-safe TypeScript SQL query builder
JavaScript library to convert AsciiMath to TeX
Command-line tool displaying Unicode characters coverage of system fonts
✨ Dynamic CSS-in-TS solution, based on Emotion