Skip to content
View jerhard's full-sized avatar

Organizations

@goblint

Block or report jerhard

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 supported. This note will be visible to only you.
Report abuse

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

Report abuse
Showing results

Batteries Included project

OCaml 522 109 Updated Oct 7, 2025

OCaml debug adapter

OCaml 234 26 Updated Feb 25, 2026

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

Python 24,940 9,730 Updated Mar 27, 2026

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

OCaml 98 44 Updated Jan 27, 2025

Heterogeneous value maps for OCaml

OCaml 56 9 Updated Feb 24, 2024

Goblint IDE integration via MagpieBridge

Java 7 4 Updated Mar 5, 2026

GobExec – because BenchExec isn't enough

Python 1 1 Updated May 29, 2025

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

Java 25 8 Updated Mar 23, 2026

Website for the Static Analyzer Goblint

TypeScript 3 Updated Mar 13, 2026

UML Modeling Editor written in React

TypeScript 89 34 Updated Mar 26, 2026

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

C++ 44 5 Updated Jun 29, 2021

Artemis - Interactive Learning with Automated Feedback

Java 728 360 Updated Mar 27, 2026

Static analysis framework for C

OCaml 236 88 Updated Mar 27, 2026

GUI library for Haskell based on GTK+

Haskell 189 87 Updated Mar 20, 2025

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

C 1,644 406 Updated Mar 27, 2026

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

Swift 304 34 Updated Jul 6, 2022