Matthías Páll Gissurarson

magi-council-mcp. An MCP for using Codex as a part of a fusion

Combinate. TypeScript

ski-interpreter. Combinatory logic and lambda calculus interpreter in JS/TS. Supports SKI, BCKW, Church numerals, defining new terms, λ ↔ SK conversions, and more. An HTML playground and quest page included.

TabletopTavern. Source Code for Tabletop Tavern

fdrs_formal. Number representation when the base is a free parameter — a machine-checked corpus on function-defined radix systems, from positional notation as algebra to the geometry and conservation laws of coupled radix networks.

coreutils. Coreutils for Windows: Installer & Packaging

openclaw-windows-node. Windows companion suite for OpenClaw - System Tray app, Shared library, Node, and PowerToys Command Palette extension

leaf. Terminal Markdown previewer — GUI-like experience.

RustTraining. Beginner, advanced, expert level Rust training material

code_contests. C++

beads. Beads - A memory upgrade for your coding agent

ticket. Fast, powerful, git-native ticket tracking in a single bash script. Dependency graphs, priority levels, zero setup.

mira-js. Utility for Boox Mira

electrobun. Build ultra fast, tiny, and cross-platform desktop apps with Typescript.

jsonrpc. Haskell implementation of JSONRPC 2.0

openclaw. Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞

FanControl.Releases. This is the release repository for Fan Control, a highly customizable fan controlling software for Windows.

shell-use. 💻 Make the terminal / shell accessible for AI agents. Automate tasks with ease.

hs-bindgen. Automatically generate Haskell bindings from C header files

xmonad-contrib. Contributed modules for xmonad

Calibre-Web-Automated. Calibre-Web but Automated and with tons of New Features! Fully automate and simplify your eBook set up!

cabal-gild. :crown: Format Haskell package descriptions.

nanoclaw. A lightweight alternative to OpenClaw that runs in containers for security. Connects to WhatsApp, Telegram, Slack, Discord, Gmail and other messaging apps,, has memory, scheduled jobs, and runs directly on Anthropic's Agents SDK

qmd. mini cli search engine for your docs, knowledge bases, meeting notes, whatever. Tracking current sota approaches while being all local

qmd-history. Automatic indexing and search for Claude Code conversation history using QMD

crosspoint-reader. Firmware for the Xteink X3 and X4 e-readers

playwright-cli. CLI for common Playwright actions. Record and generate Playwright code, inspect selectors and take screenshots.

marketingskills. Marketing skills for Claude Code and AI agents. CRO, copywriting, SEO, analytics, and growth engineering.

headscale. An open source, self-hosted implementation of the Tailscale control server

x-algorithm. Algorithm powering the For You feed on X

learnyouahaskell.github.io. A community version of the renowned "Learn You a Haskell" (LYAH) tutorials collection!

Python. All Algorithms implemented in Python

turso. A SQL database in Rust: SQLite-compatible, now also speaking Postgres (experimental). The LLVM of databases.

simply-nix. Simply Nix in your GitHub CI

miso. :ramen: A tasty Haskell web framework

jsaddle-wasm. JSaddle integration for the GHC Wasm backend

thrml. Thermodynamic Hypergraphical Model Library in JAX

pg_lake. pg_lake: Postgres with Iceberg and data lake access

nanochat. The best ChatGPT that $100 can buy.

ihp. 🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

ai-deanonym. Python

opendp. The core library of differential privacy algorithms powering the OpenDP Project.

languages. Compare languages

lucid. Clear to write, read and edit DSL for writing HTML

htmx. Haskell

htmx. </> htmx - high power tools for HTML

act. Run your GitHub Actions locally 🚀

KittenTTS. State-of-the-art TTS model under 25MB 😻

opencode. The open source coding agent.

setup. Setting up GHC, cabal, stack on for Haskell-related CIs

DFloat11. DFloat11 [NeurIPS '25]: Lossless Compression of LLMs and DiTs for Efficient GPU Inference

BitNet. Official inference framework for 1-bit LLMs

codex. Lightweight coding agent that runs in your terminal

ollama-haskell. Ollama client for Haskell

avante.nvim. Use your Neovim like using Cursor AI IDE!

servers. Model Context Protocol Servers

ghcup.vim. Vim plugin for GHCup

PLHaskell. An extension for PostgreSQL that allows embedded Haskell code.

tdf. A tui-based PDF viewer

multiple-cursors.nvim. A multi-cursor plugin for Neovim that works in normal, insert/replace, or visual modes, and with almost every command

claude-code. Claude Code is an agentic coding tool that lives in your terminal, understands your codebase, and helps you code faster by executing routine tasks, explaining complex code, and handling git workflows - all through natural language commands.

neogit. An interactive and powerful Git interface for Neovim, inspired by Magit

tree-sitter-vscode. Bring the power of Tree-sitter to VSCode

claude-code.nvim. Seamless integration between Claude Code AI assistant and Neovim

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

ramda. :ram: Practical functional Javascript

fp-ts. Functional programming in TypeScript

aider. aider is AI pair programming in your terminal

ghcup-hs. Haskell

obsidian.nvim. Obsidian 🤝 Neovim

sqlite-simple. Mid-level bindings for sqlite

latex-action. :octocat: GitHub Action to compile LaTeX documents

sc-im. sc-im - Spreadsheet Calculator Improvised -- An ncurses spreadsheet program for terminal

sqlite. Official Git mirror of the SQLite source tree

blog.haskell.org. Repository of the Haskell Blog

powerlevel10k. A Zsh theme

cabal-hoogle. Haskell

obsidian-typst. Renders typst code blocks in Obsidian into images using Typst through the power of WASM!

shiptalkers. TypeScript

zmk. ZMK Firmware Repository

micrograd. A tiny scalar-valued autograd engine and a neural net library on top of it with PyTorch-like API

tinygrad. You like pytorch? You like micrograd? You love tinygrad! ❤️

symparsec. Type level string parser combinators

KawaiiLogos.

BottomTsh. A Dependently Timed Drum Machine Language

remote-nvim.nvim. Remote development in Neovim 🔥

ispc. a small stub for compiling and linking ispc code with haskell

valkey. A flexible distributed key-value database that is optimized for caching and other realtime workloads.

www.haskell.org. www.haskell.org site source

categorifier. Interpret Haskell programs into any cartesian closed category.

core-libraries-committee. Haskell

vscode-neovim. Vim mode for VSCode, powered by Neovim

haskell-tools.nvim. 🦥 Supercharge your Haskell experience in neovim!

device-benchmarks. Benchmarks of different devices I have come across

screenFetch. Fetches system/theme information in terminal for Linux desktop screenshots.

smalltt. Demo for high-performance type theory elaboration

elaboration-zoo. Minimal implementations for dependent type checking and elaboration

obsidian-kindle-plugin. Sync your Kindle notes and highlights directly into your Obsidian vault

tech-proposals. The Haskell Foundation Tech Proposal Process

egglog. egraphs + datalog!

hvm-64. Rust

MicroHs. Haskell implemented with combinators

btop. A monitor of resources

Hoed. Hoed - A Lightweight Haskell Tracer and Debugger

concat. Compiling to Categories

linsa.io. Work. Save. Share. Privately.

nothunks. Haskell

profiteur. Visualiser for Haskell (GHC) prof files

grin. GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.

hbc. HBC - Chalmers Haskell-B compiler

m20-fifth. M20 Fifth (Adamantine Edition) as a markdown

haskellfoundation.github.io. The Haskell Foundation website, hosted by GitHub Pages.

dream. Tidy, feature-complete Web framework

HaFLa.

quake2-rerelease-dll. C

lemmy. 🐀 A decentralised discussion platform for communities.

sarif-tutorials. User-friendly documentation for the SARIF file format.

nanoGPT. The simplest, fastest repository for training/finetuning medium-sized GPTs.

action-gh-release. 📦 :octocat: GitHub Action for creating GitHub Releases

deque. Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)

copilot.vim. Neovim plugin for GitHub Copilot

transformers. 🤗 Transformers: the model-definition framework for state-of-the-art machine learning models in text, vision, audio, and multimodal models, for both inference and training.

epy. CLI Ebook (epub2, epub3, fb2, mobi) Reader

babyagi. Python

yeah-tiger.github.io. :alarm_clock: PL conference deadline countdowns

llama.cpp. LLM inference in C/C++

reflective-minimal. Jupyter Notebook

RewardRepair. Neural Program Repair with Execution-based Backpropagation http://arxiv.org/pdf/2105.04123

lean4. Lean 4 programming language and theorem prover

lila. ♞ lichess.org: the forever free, adless and open source chess server ♞

easycrypt-docker. A Docker image with EasyCrypt, Z3, Alt-Ergo, and Doom Emacs with Proof-General preinstalled :D

obsidian-contextual-typography. TypeScript

windows95. Windows 95 in an app. Runs on macOS, Linux, and Windows.

sfsexp. Small Fast S-Expression Library

zathura. Document viewer

Cataclysm. A post-apocalyptic roguelike.

HasBugs. A modern Haskell Bugs Dataset to enable Fault Localization, Program Repair and Test Generation

hegg. Fast equality saturation in Haskell

typioca. Cozy typing speed tester in terminal

hakyll. A static website compiler library in Haskell

royal-chaos. Chaos engineering systems invented at KTH Royal Institute of Technology. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-320638

ecta. Haskell

dendrite. Dendrite is a second-generation Matrix homeserver written in Go!

PropR. Genetic program repair using GHC

tiptop. :desktop_computer: Command-line system monitoring

webcontainer-core. Dev environments. In your web app.

gumtree-spoon-ast-diff. Computes the AST difference (aka edit script) between two Spoon Java source code abstract syntax trees

one. Unit 1 for WASP composable software tools project

mastodon. Your self-hosted, globally interconnected microblogging community

spoofax. Spoofax runtime

py-feat. A sloppy implementation of FEAT (Functional Enumeration of Algebraic Types) in python.

nix-env-selector. Allows switch environment for Visual Studio Code using Nix Package Manager.

fjolnir-compiler. Automatically exported from code.google.com/p/fjolnir-compiler

suslik. Synthesis of Heap-Manipulating Programs from Separation Logic

obsidian-day-planner. An Obsidian plugin for day planning with a clean UI and a simple task format

WASP-SAT. Organization of the WASP-SAT cluster

obelisk. Functional reactive web and mobile applications, with batteries included.

ghc-vis. Visualize live Haskell data structures in GHCi

ghc-debug. Moved to Haskell.org GitLab.

gitinspector. :bar_chart: The statistical analysis tool for git repositories

DAT076Project. HTML

WebAppProject. A website project for the course Web Applications (DAT076)

word-game. JavaScript

insane. Toy typechecker for Insanely Dependent Types

AWS-LARPI. Package Haskell functions for easy use on AWS Lambda

thesis. Thesis

mu-haskell. Mu (μ) is a purely functional framework for building micro services.

AoC2020. Solutions for Advent of Code 2020 in haskell https://adventofcode.com/2020/

jitsi. Jitsi is an audio/video and chat communicator that supports protocols such as SIP, XMPP/Jabber, IRC and many other useful features.

ParsleyHaskell. Reimplementation of Parsley in Haskell, with improvements

EvEff. Efficient Haskell effect handlers based on evidence translation.

vscode-markdown-notes. Install from: https://ark.dance/md-notes

cryptol. Cryptol: The Language of Cryptography

tcplugins-zurihac2020. ZuriHac 2020 GHC typechecker plugins project

linear-base. Standard library for linear types in Haskell.

PowerShell. PowerShell for every system!

terminal. The new Windows Terminal and the original Windows console host, all in the same place!

cascadia-code. This is a fun, new monospaced font that includes programming ligatures and is designed to enhance the modern look and feel of the Windows Terminal.

plfa.github.io. An introduction to programming language theory in Agda

writ-plugin. A type-checker plugin for weak runtime-irrelevant typing in Haskell

org-roam. Rudimentary Roam replica with Org-mode

deriving-aeson. Scrap your hand-rolled aeson instances

finkel. Haskell in S-expression

ghc-nix. Exploring the options for incremental Haskell builds using Nix

hoogle_plus. Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)

lsp-mode. Emacs client/library for the Language Server Protocol

core. An Emacs framework for the stubborn martian hacker

fbghc. Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list (ghc-devs@haskell.org).

blott. An experimental type checker for a modal dependent type theory.

discard. Haskell

optics. Optics as an abstract interface

Recursively-finding-valid-hole-fits. Haskell

hasktorch. Tensors and neural networks in Haskell

diem. Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.

codata_examples. Haskell

pdfsam. PDFsam, a desktop application to split, merge, mix, rotate PDF files and extract pages

liquidhaskell. Liquid Types For Haskell

dynamic. Dynamic typing in Haskell

lispBM. An interpreter for a concurrent lisp with message-passing and pattern-matching.

ataca. A TACtic library for Agda