caraML: a compiler for a sweet and simple subset of Standard ML

A tool for synchronizing files and directories locally or over a network

Kaleidoscope Tutorial using llvm-hs

Build effective agents using Model Context Protocol and simple workflow patterns

Automatable GenAI Scripting

The Bluesky Social application for Web, iOS, and Android

Curated list of project-based tutorials

A handwired split keyboard, running QMK firmware

Install and run Emacs with the Windows Subsystem for Linux (WSL 2) in Windows 10 or 11.

Defines a common protocol for language servers.

Library for building distributed, real-time collaborative web applications

.NET Core for Emacs (via transient)

A Go CLI program for checking if a vaccine verification QR code is valid

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

A RESTful Haskell web framework built on WAI.

Persistence interface for Haskell allowing multiple storage methods.

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

Universal markup converter

An Emacs framework for the stubborn martian hacker

Turn (almost) any Python command line program into a full GUI application with one line

A minimal & fast Hugo theme for bloggers

Fish-like autosuggestions for zsh

Check syntax in Vim/Neovim asynchronously and fix files, with Language Server Protocol (LSP) support

Sandbox for securely executing untrusted programs

Move and resize windows on macOS with keyboard shortcuts and snap areas

The sandbox libraries (libsandbox & pysandbox) are an open-source suite of software components for C/C++ and Python developers to create automated profiling tools and watchdog programs. The API's a…

👩‍🏫 👨‍🏫 Learn Haskell basics in 4 pull requests

A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.

A fully featured competitive programming workspace in the cloud