Stars
Tie allows generation of Haskell server stubs from OpenAPI (v 3.x) specifications.
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
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/at-spi2-core
Read-only mirror of https://gitlab.gnome.org/GNOME/devhelp
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