Skip to content
View mmhat's full-sized avatar

Block or report mmhat

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results
Haskell 6 Updated May 3, 2026

Named parameters (keyword arguments) for Haskell

Haskell 100 7 Updated Apr 19, 2026

Optimized and Maintenance-free Kubernetes on Hetzner Cloud in one command!

HCL 3,853 549 Updated Jun 12, 2026

Customisable Wayland GTK4 bar written in Rust.

Rust 1,359 120 Updated Jun 12, 2026

A Rust implementation of the Starlark language

Rust 982 105 Updated Jun 14, 2026

Woodpecker is a simple, yet powerful CI/CD engine with great extensibility.

Go 7,254 588 Updated Jun 14, 2026

just, a generic build tool

C++ 105 24 Updated Jun 7, 2026

[Read-only mirror] The buck2-prelude used at Mercury. Send changes to https://gerrit.oss.mercury.com/q/project:buck2-prelude+status:open. Accounts available by request.

Java 3 2 Updated Jan 20, 2026

NativeLink is a Nix-powered, open source, high-performance build cache and remote execution server, compatible with Bazel, Soong, Pants, Buck2, Reclient, and other RE-compatible build systems. It o…

Rust 1,548 218 Updated Jun 14, 2026

Cabal proposals

7 3 Updated Nov 10, 2025

Haskell job queue with admin UI and loads of other features.

Haskell 77 33 Updated Nov 26, 2025

Formal specification of the Haskell Language Report

TeX 32 2 Updated Mar 2, 2026

A Typeclass for user-facing output

Haskell 58 14 Updated Apr 20, 2026

Haskell implemented with combinators

C 740 78 Updated Jun 14, 2026

A statically typed embedding of miniKanren in Haskell

Haskell 26 2 Updated May 22, 2026

Deployment configuration for Stackage and other HF-managed infrastructure. Central place for Stackage admins.

Nix 9 4 Updated Jun 14, 2026

Build system, successor to Buck

Rust 4,358 362 Updated Jun 14, 2026

High-velocity, monorepo-scale workflow for Git

Rust 4,080 112 Updated Jun 13, 2026

Submit pull requests for individual, amendable, rebaseable commits to GitHub

Rust 529 51 Updated Dec 15, 2025

Stacked Pull Requests on GitHub

Go 1,244 95 Updated Apr 22, 2026

LaTeX Styles provided by Dagstuhl Publishing

TeX 42 12 Updated Nov 6, 2024

The Lean reference manual

Lean 116 59 Updated Jun 14, 2026

Stream the GHC eventlog and control RTS monitoring over a socket.

C 24 6 Updated Jun 4, 2026

Visualise eventlog events as a static webpage

Haskell 73 16 Updated Jun 3, 2025

A multilingual package manager for Arch Linux and the AUR.

Haskell 1,901 121 Updated Feb 5, 2026

A package index for the Haskell ecosystem

Haskell 152 48 Updated Jun 13, 2026

Emits code crossreference data for Haskell sources.

Haskell 102 19 Updated Feb 14, 2025

SCIP Code Intelligence Protocol

Go 650 60 Updated Jun 14, 2026

System for collecting, deriving and working with facts about source code.

Hack 1,355 88 Updated Jun 14, 2026

The Haskell Thrift Compiler. This is an implementation of the Thrift spec that generates code in Haskell. It depends on the fbthrift project for the implementation of the underlying transport.

Haskell 163 38 Updated Jun 14, 2026
Next