The ultimate all-in-one guide to mastering OpenCode. From installation, Zen model router setup, TUI mastery, commands, skills, agents, workflows, automation, and integrations, to MCP servers, plugi…

An implementation of a small subset of the Wolfram language in Haskell

Claude Code IDE integration for Emacs

C/C++/ObjC language server supporting cross references, hierarchies, completion and semantic highlighting

Terminal emulator powered by libghostty

One CLAUDE.md file. Keeps Claude responses terse. Reduces output verbosity on heavy workflows. Drop-in, no code changes.

Self-referential self-improving agents that can optimize for any computable task

Repository with code snippets that accompany episodes of The Haskell Unfolder

A simple terminal UI for video trimming

Exercises and Projects for Haskell Programming from First Principles by Allen & Moronuki

〰️ Overview of the open source code for Wire

Cgrep: a context-aware grep for source codes

Espial is an open-source, web-based bookmarking server.

Haskell IDE

Haskell LLVM JIT Compiler Tutorial

Very low feature GHCi based IDE

Liquid Types For Haskell

Miscellaneous articles. The readme is the table of contents.

Deep Learning in Haskell

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

Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!

What I Wish I Knew When Learning Haskell

A RESTful Haskell web framework built on WAI.

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

A friendly programming language from the future

Parsing, analyzing, and comparing source code across many languages

multi-language source code analysis suite

Depends is a fast, comprehensive code dependency analysis tool

Smalltalk development in your browser and Node.js

Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)