Aron Adler

qew. 🚄 Library for queuing asynchronous functions - useful in interfacing with rate limited APIs or memory intensive operations

fhm. A Hindley-Milner language formalised in Lean 4 – proven type-safe, and runnable

dall-e-downloader. Adds a button to the DALL·E 2 web app that lets you download generated images along with the prompt that generated them

atproto-fsharp. Idiomatic F# library for the AT Protocol (atproto/Bluesky)

photo-portfolio-frontend. 📷 Frontend of my photo portfolio website https://photos.adler.dev

streamtype. 🖋 ⚠ An app for focused writing. If you stop writing for longer than 5 seconds everything you have written disappears irretrievably. Use with caution.

graphs. 🕸 Web app to allow users to create, manipulate and explore network graphs. Work in progress.

YlangYlang. F#

countdown. ⏰ Webpage that counts down to the date in the URL

spaceship. 🚀 An experiment in PaperJS to become familiar with realistic motion, including momentum and acceleration

tsx-scaffold. 🏗 ⚛ A minimal scaffold for getting started with React in TypeScript

ImagePortfolio. Backend of my photo portfolio. Frontend is at https://github.com/Arrow7000/photo-portfolio-frontend

use-route-as-state. Use React Router route and query string as component state

AdventOfCode2018. F#

maoz-tzur. 🕎 A single page website with the blessings and text for lighting the Menorah on Hannukah

adventofcode2024. OCaml

catch. Catch Me If You Can. A fun little game in the browser.

AdventOfCode2017. F#

live-share-lean-infoview. Lean 4 Infoview for VS Code Live Share guests (companion extension + transport-agnostic bridge).