Skip to content
View dtonhofer's full-sized avatar
💭
I may be slow to respond because too much is going on
💭
I may be slow to respond because too much is going on

Block or report dtonhofer

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

JavaFX mainline development

C++ 3,249 581 Updated Jun 15, 2026

The simple, stupid rules engine for Java

Java 5,245 1,102 Updated May 29, 2024

Gluon sample projects

Java 334 163 Updated Jul 17, 2025

small MiniZinc examples demonstrating various language features

133 27 Updated Sep 11, 2017

Pure Java Terminal Emulator. Works with SSH and PTY.

Java 851 189 Updated Jun 15, 2026

Language-Natural Persistence Layer for Java

HTML 424 38 Updated Oct 4, 2025

ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.

Java 18,909 3,451 Updated Feb 16, 2026

Picocli is a modern framework for building powerful, user-friendly, GraalVM-enabled command line apps with ease. It supports colors, autocompletion, subcommands, and more. In 1 source file so apps …

Java 5,382 465 Updated May 10, 2026

COIN-OR Branch-and-Cut solver

C++ 997 137 Updated Jun 11, 2026

The Chuffed CP solver

C++ 125 45 Updated Jun 9, 2026

The new intelligent grounder of the logic-based Artificial Intelligence system DLV

HTML 24 Updated Dec 7, 2023

Tink is a multi-language, cross-platform, open source library that provides cryptographic APIs that are secure, easy to use correctly, and hard(er) to misuse.

Java 13,542 1,185 Updated Apr 17, 2024

AMQP client library for Unity 3D supporting RabbitMQ

C# 97 21 Updated May 10, 2023

WASM C++ Screeps API and utilities pack (beta, proof-of-concepts)

C++ 61 9 Updated May 13, 2018

Run SWI-Prolog in your browser using WebAssemply

HTML 79 5 Updated Aug 29, 2022

Mirror of Apache Qpid Proton-J

Java 37 58 Updated May 15, 2026

Mirror of Apache Qpid Proton

C++ 249 222 Updated Jun 12, 2026

Ciao Assertion Reader for SWI-Prolog

Prolog 4 Updated Feb 19, 2026
Prolog 6 Updated Jan 15, 2021

Constraint Logic Programming over Finite Domains

Prolog 191 13 Updated Jan 7, 2020

SWI-Prolog Main development repository

C 1,249 213 Updated Jun 15, 2026

Curated list of Prolog packages and resources

565 38 Updated Sep 24, 2025

Introduction to using the Hammer parser construction toolkit by Meredith L. Patterson

C 83 5 Updated Apr 17, 2017

Terminal readline library for Clojure dialects

Clojure 745 39 Updated Apr 30, 2026

A readline wrapper

C 3,091 164 Updated May 24, 2026

Constraint Logic Programming over Integers

Prolog 211 15 Updated Feb 5, 2024

StringTemplate 4

Java 1,032 233 Updated May 14, 2025

Shiny apps for introductory statistics

R 246 224 Updated Sep 15, 2022

Refreshes and reruns clojure.tests in your project.

Clojure 395 28 Updated Dec 15, 2024

Humane test output for clojure.test.

Clojure 318 20 Updated Mar 16, 2021
Next