Draw2d
Standard ML library for 2d drawing
Install / Use
/learn @melsman/Draw2dREADME
draw2d - A Standard ML library for 2d drawing
Copyright 2010-2014, Martin Elsman
<img width="250" alt="House drawing" align="right" src="/images/house.png">This repository contains a simple Standard ML 2D drawing library. The library comes with multiple backends, including a LaTeX backend and an SVG backend.
Assumptions
<img width="250" alt="Pythagoras tree" align="right" src="/images/pythagoras.png">The library assumes a Standard ML compiler that supports MLB
files. MLKit or
MLton will work. To run the test examples, you
also need pdflatex installed.
How to test it
To try a simple example, type
$ cd test
$ make simple
To try a series of examples, type
$ make
The examples generate .tex-files, which are processed by pdflatex, and
.xml-files, which can be injected into HTML and loaded by a Web
browser.
See Makefile and test/Makefile for details of the building process.
Making your own drawings
<img width="250" alt="Bath room design" align="right" src="/images/bath.png">See draw.sig for library signatures and test/simple.sml and test/draw_house.sml for examples.
LICENSE
The library is distributed under the MIT License; see the LICENSE file for details.
Related Skills
node-connect
344.4kDiagnose OpenClaw node connection and pairing failures for Android, iOS, and macOS companion apps
frontend-design
99.2kCreate distinctive, production-grade frontend interfaces with high design quality. Use this skill when the user asks to build web components, pages, or applications. Generates creative, polished code that avoids generic AI aesthetics.
openai-whisper-api
344.4kTranscribe audio via OpenAI Audio Transcriptions API (Whisper).
qqbot-media
344.4kQQBot 富媒体收发能力。使用 <qqmedia> 标签,系统根据文件扩展名自动识别类型(图片/语音/视频/文件)。
