66 packages matching “idris-coooks”
idris-naps
v0.3.0 · 9 years ago
A makeshift package management system for idris
No known vulnerabilities
@code-blocks/rehype-transform
v0.1.10 · 5 years ago
A rehype transform to render code blocks
No known vulnerabilities
idris-gpx
v0.1.1 · 11 years ago
Convert GPX to GeoJSON
No known vulnerabilities
idris-geojson
v0.1.1 · 11 years ago
Utilities to query GeoJSON
No known vulnerabilities
idris-overpass-browser
v1.0.0 · 9 years ago
Query the overpass API. Returns GeoJSON. For use in the browser.
No known vulnerabilities
koishi-plugin-glot
v1.1.6 · 2 years ago
Execute Code in [glot.io](https://glot.io)
No known vulnerabilities
@code-blocks/graphviz
v0.1.8 · 5 years ago
Create graphviz diagram from code blocks
No known vulnerabilities
idvor-components
v2.0.2 · 3 years ago
library for idris cooks MPA
No known vulnerabilities
idris
v0.2.0 · 14 years ago
Wibbly Wobbly Timey Wimey
No known vulnerabilities
@idris-maps/form
v0.0.4 · 5 years ago
Define forms in JSON
No known vulnerabilities
sero-lib
v1.0.0 · 7 years ago
Lightweight Sero libraries
No known vulnerabilities
sof-lib
v0.2.7 · 7 years ago
Lightweight Sophon libraries
No known vulnerabilities
karto
v3.0.2 · 6 years ago
Define your maps once and render to:
No known vulnerabilities
idris-ensure-clockwise
v0.0.0 · 10 years ago
Ensure GeoJSON polygon points are clockwise
No known vulnerabilities
@svelte-parts/form-builder
v0.0.23 · 4 years ago
UI to create forms
No known vulnerabilities
mit-lib
v0.1.0 · 8 years ago
Lightweight Mit libraries
No known vulnerabilities
won-lib
v0.2.8 · 8 years ago
Lightweight worldopennetwork libraries
No known vulnerabilities
bif-lib
v0.3.7 · 5 years ago
Lightweight Bifereum libraries
No known vulnerabilities
pec-lib
v1.0.5 · 5 years ago
Lightweight Perpetual libraries
No known vulnerabilities
idris-polygons-to-lines
v1.1.0 · 9 years ago
Convert GeoJSON (Multi)Polygons to LineStrings
No known vulnerabilities