🚀 DAY 4 OF LAUNCH WEEK: Introducing GitHub Actions Scanning Support.Learn more →
Socket
Book a DemoInstallSign in
Socket
i

idris-maps

npm

Packages

Current Co-maintainers

Former Co-maintainers

75 packages

browser-geolocation

Wrapper around navigator.geolocation API

car-models

## Install

cat-races

Cat races

@code-blocks/charts

Create svg charts from code blocks

@code-blocks/eleventy-plugin

An eleventy plugin to parse code blocks

@code-blocks/from-html

Get code blocks from HTML

@code-blocks/from-md

Get code blocks from markdown

@code-blocks/graphviz

Create graphviz diagram from code blocks

@code-blocks/math

Create MathML from code blocks

@code-blocks/music

Create music sheets from code blocks

@code-blocks/parser

Code block parser

@code-blocks/prism

Highlight code blocks with prism

@code-blocks/rehype-transform

A rehype transform to render code blocks

@code-blocks/rehype-wrapper

A wrapper to create rehype transformers

@code-blocks/tables

Create tables from csv code blocks

@code-blocks/types

Types...

@creadi/react-native-datatrans

Datatrans react native wrapper

@creadi/swiss-zipcodes

Swiss zip codes

@creadi/tchatche-react

Simple chat bot. Supports button and text input responses.

eleventy-charts

An eleventy plugin to create charts

eleventy-plugin-components

Add js components through code blocks in markdown

geolocation-to-gpx

Convert array of positions from browser-geolocation to GPX

idris-csv

Convert csv files to GeoJSON

idris-ensure-clockwise

Ensure GeoJSON polygon points are clockwise

idris-geojson

Utilities to query GeoJSON