Lists (1)
Stars
Extract annotations (highlights and scribbles) from PDF, EPUB, and notebooks marked with reMarkable tablets. Export to Markdown, PDF, PNG, SVG
Scripts that I've written for working with reMarkable tablets.
Transcribe audio using the Groq.com Whisper API
Fast and accurate automatic speech recognition (ASR) for edge devices
OCaml syntax dialect which adds JSX syntax expressions
Quick example of a todo list SPA using Babashka and htmx
Hindu Webinar: AI as a learning tool: What students, teachers, and parents need to know
A free book: "The Science of Functional Programming"
Site infrastructure for gwern.net. Custom Hakyll website with unique link archiving, popup UX, transclusions/collapses, dark+reader mode, bidirectional backlinks, and typography (sidenotes, dropcap…
Detect and extract tables to markdown and csv
A fast reverse proxy to help you expose a local server behind a NAT or firewall to the internet.
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Rallly is an open-source scheduling and collaboration tool designed to make organizing events and meetings easier.
A comprehensive library for computational molecular biology
Unbearably fast near-real-time hybrid runtime-static type-checking in pure Python.
HTML Language Server & Templating Language Library
A react library that allows easy pdf generation or printing from components
Generate SEO-friendly tags and descriptions for blog posts using LLMs
Irmin is a distributed database that follows the same design principles as Git
A scalable generative AI framework built for researchers and developers working on Large Language Models, Multimodal, and Speech AI (Automatic Speech Recognition and Text-to-Speech)
A tool for working with Org-mode data from command-line, tuned to my own use cases
Remind yourself of wise words and images in the new tab page