Trigger shortcuts in Apple's Shortcuts app from Obsidian with custom commands.

obsidian plugin to add attributes and context menu options to internal links

GUI image optimizer for Mac

Lightweight Plain Text Editor for macOS

An introduction to programming language theory in Agda

A Single Page Application written in Elm

Grammar-based passphrase generator

Base for my talks using reveal.js, with bonus nice features (including browser/editor sync!)

Source and slides for an Elm Conf 2017 talk: "A Very Im-port-ant Topic"

Elm meets Electron

Call Elm functions from JavaScript synchronously

🐏 Practical functional Javascript

A central repository for Flow library definitions

Agda is a dependently typed programming language / interactive theorem prover.

A type representing bounded numbers in Elm.

An overview of Elm syntax and features

A bag of tricks for developing with Elm. (Atom package)

An open-source, customizable intermediate logic textbook

🍃 Create Elm apps with zero configuration

Project manager for the Atom editor

An utility for using :hover by inline style

An alternative to Babel for XeLaTeX and LuaLaTeX

Get a full fake REST API with zero coding in less than 30 seconds (seriously)

An example Elm single page application

A data validation library for Node.js and browser

Markdown component for React

[not actively maintained!] A standard library for functional programming in JavaScript

🙈 Refuge from unsafe JavaScript

A boilerplate to start writing your NPM modules in ES6 using Babel.