66 packages matching “idris-coooks”
eth-lib
v0.1.29 · 6 years ago
Lightweight Ethereum libraries
No known vulnerabilities
@derhuerst/query-overpass
v2.0.1 · 4 years ago
Query the OpenStreetMap Overpass API.
No known vulnerabilities
@code-blocks/charts
v0.1.9 · 5 years ago
Create svg charts from code blocks
No known vulnerabilities
erihub
v0.1.0 · 10 days ago
Erihub — a CSS + vanilla JS UI framework connecting Eritrean talent worldwide. Bootstrap-equivalent component set with a distinct forest-green, gold, and blue brand identity.
No known vulnerabilities
@code-blocks/eleventy-plugin
v0.1.8 · 5 years ago
An eleventy plugin to parse code blocks
No known vulnerabilities
@alphalets-ui/core
v0.0.1-canary-6.0 · 5 years ago
Alphalets UI Core. The component library powering TheAlphalets Platform.
No known vulnerabilities
idris-ide-client
v0.1.6 · 3 years ago
A library for talking to the Idris IDE.
No known vulnerabilities
@alphalets-ui/icons
v0.0.1-canary-2.7 · 5 years ago
React icon library for the alphalets design system.
No known vulnerabilities
generator-tb-component
v0.1.1 · 10 years ago
Generates a React component in a directory along with styles (scss), optional Relay wrapper, and optional examples file to be used with react-styleguidist
No known vulnerabilities
ethfp
v0.1.24 · 9 years ago
Lightweight, funcionally-oriented Ethereum libraries
No known vulnerabilities
idris-lv03
v0.3.0 · 11 years ago
Wrapper for the LV03 (swiss) projection for leaflet
No known vulnerabilities
@exodus/eth-lib
v0.2.7-exodus0 · 6 years ago
Lightweight Ethereum libraries
No known vulnerabilities
gnc-lib
v1.0.1 · 5 years ago
Lightweight GNC libraries
No known vulnerabilities
@code-blocks/music
v0.1.8 · 5 years ago
Create music sheets from code blocks
No known vulnerabilities
idris-geojson-model
v1.1.2 · 10 years ago
GeoJSON utilities
No known vulnerabilities
idris-geojson-bbox
v1.1.0 · 10 years ago
Get the bounding box of a GeoJSON collection
No known vulnerabilities
idris-geojson-points
v1.1.0 · 10 years ago
Get an array of all points from a GeoJSON FeatureCollection
No known vulnerabilities
@idris-maps/yyyy-mm-dd
v0.0.2 · 5 years ago
A date library dealing only with days in the YYYY-MM-DD format
No known vulnerabilities
@code-blocks/math
v0.1.8 · 5 years ago
Create MathML from code blocks
No known vulnerabilities
idris-overpass
v1.1.0 · 9 years ago
Query the overpass API. Returns GeoJSON
No known vulnerabilities