Highlights
- Pro
Lists (4)
Stars
🎬 Universal video export plugin for MapLibre GL JS with animations that adapt to any map.
A fast CLI to inspect and optimize MBTiles/PMTiles vector tiles
An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, cl…
Symbolica is a high-performance computer algebra library for Python and Rust. Manipulate large expressions, match patterns, and generate optimized numerical code — at unprecedented speed.
Convert your (Beamer) PDF slides to (Powerpoint) PPTX
LLM-based ontological extraction tools, including SPIRES
A single-node analytical database engine with geospatial as a first-class citizen
The static-site blog template using astro and typst
Out-of-the-box, customizable and multilingual theorem environment package for Typst.
Process LaTeX documents without cluttering your working directory
FOSS4G 2024 Japan コアデイの一般発表25に使用した資料やNotebookなどの置き場です。
Build exams, tests, etc. with Typst—Moved to https://codeberg.org/ensko/typst-scrutinize
rubby package adds support for ruby (furigana) in Typst.
shiroa is a simple tool for creating modern online books in pure typst.
A typst package for displaying the active section in the page header or footer.
CityJSON loader and renderer for Three.js, React-three-fiber, and Jupyter Notebook / JupyterLab
🤖✨🗺 charites-ai - AI that can generate json files according to MapLibre style specification based on natural language instructions
Python library for converting Japanese region names and codes