Tie allows generation of Haskell server stubs from OpenAPI (v 3.x) specifications.

Kubernetes self-service portal

🔌 Scrap your qualified import clutter

Haskell ZIP archive streaming processing using conduit

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

Generation of diagrams like flowcharts or sequence diagrams from text in a similar manner as markdown

An open source grammar analyzer.

Utilities I find useful while working on GHC (mirror of GitLab repo)

Read-only mirror of https://gitlab.gnome.org/GNOME/evince

Read-only mirror of https://gitlab.gnome.org/GNOME/gnome-terminal

Read-only mirror of https://gitlab.gnome.org/GNOME/gnome-shell-extensions

Read-only mirror of https://gitlab.gnome.org/GNOME/gnome-session

Read-only mirror of https://gitlab.gnome.org/GNOME/gnome-online-accounts

Read-only mirror of https://gitlab.gnome.org/GNOME/mutter

Read-only mirror of https://gitlab.gnome.org/GNOME/gnome-calendar

Read-only mirror of https://gitlab.gnome.org/GNOME/evolution

Read-only mirror of https://gitlab.gnome.org/GNOME/gtksourceview

Read-only mirror of https://gitlab.gnome.org/GNOME/epiphany

Read-only mirror of https://gitlab.gnome.org/GNOME/gnome-control-center

Read-only mirror of https://gitlab.gnome.org/GNOME/gnome-shell

Read-only mirror of https://gitlab.gnome.org/GNOME/gnome-keyring

Read-only mirror of https://gitlab.gnome.org/GNOME/gnome-settings-daemon

Read-only mirror of https://gitlab.gnome.org/GNOME/gdm

Read-only mirror of https://gitlab.gnome.org/GNOME/at-spi2-core

Read-only mirror of https://gitlab.gnome.org/GNOME/zenity

Read-only mirror of https://gitlab.gnome.org/GNOME/accerciser

Read-only mirror of https://gitlab.gnome.org/GNOME/nautilus

File for Belarusian localization of Gnome Desktop Environment

Hacking GHC's Stack for Fun and Profit (featuring The Glorious Haskell Debugger v0.0.1 Pre-alpha)