Batteries Included project

OCaml debug adapter

Zulip server and web application. Open-source team chat that helps teams stay productive and focused.

LablGTK 2 and 3: an interface to the GIMP Tool Kit

Heterogeneous value maps for OCaml

Goblint IDE integration via MagpieBridge

GobExec – because BenchExec isn't enough

The Artemis Java Test Sandbox. A JUnit 5 Extension for Easy and Secure Artemis Java Testing

Website for the Static Analyzer Goblint

UML Modeling Editor written in React

Data-race detector for windows applications - built on top of DynamoRIO

Artemis - Interactive Learning with Automated Feedback

Static analysis framework for C

GUI library for Haskell based on GTK+

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

SwiftGtk is an experimental Gtk+ binding for Swift that tries to make usage of Gtk+ pleasant and "Swifty" as much as possible.