Tesseract Open Source OCR Engine (main repository)

🤖 Just a command runner

A private messenger for Android.

The Markdown-based note-taking app that doesn't suck.

💌 A beautiful, fast and fully open source mail client for Mac, Windows and Linux.

historical code from reddit.com

A simple, in-browser, markdown-driven slideshow tool.

jq for binary formats - tool, language and decoders for working with binary and text formats

DEPRECATED - A HTML5/JavaScript multiplayer game experiment

Manage your macOS using Nix

Esoteric Programming Language

Smart LLM Routing for OpenClaw. Cut Costs up to 70% 🦞🦚

A guide to help you write better command-line programs, taking traditional UNIX principles and updating them for the modern day.

GH Archive is a project to record the public GitHub timeline, archive it, and make it easily accessible for further analysis.

Official Haskell IDE support via the language server protocol (LSP)

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

A Haskell kernel for the Jupyter project.

Fork of Pieter's nice git GUI for OS X. Includes branch/tag sidebar and various fixes. Current development focus is on removing legacy git command line usage in favour of libgit2 and objective-git.

DevOps Notebooks Built with Markdown

Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)

A GHC-based Haskell to JavaScript compiler

Miscellaneous articles. The readme is the table of contents.

Haskell library for building declarative animations based on SVG graphics

To learn about optics and microscopy, we generated a simple to build lego microscope that does not need precision optics and 3D printed parts.

Maintainable configuration files

Emanate a structured view of your plain-text notes

Sodium - Functional Reactive Programming (FRP) Library for multiple languages

HTTP server & command-line for managing UTxOs and HD wallets in Cardano.

Repository for the Essential Cardano list

Haskell implemented with combinators