Skip to content
View choeger's full-sized avatar

Block or report choeger

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

Password manager app for Android

C# 5,806 455 Updated Feb 2, 2026

A client/server indexer for c/c++/objc[++] with integration for Emacs based on clang.

C++ 1,847 258 Updated Feb 7, 2026

The scala-maven-plugin (previously maven-scala-plugin) is used for compiling/testing/running/documenting scala code in maven.

Java 572 158 Updated Feb 3, 2026

A header-only library for C++(0x) that allows automagic pretty-printing of any container.

C++ 567 71 Updated Jan 2, 2023

Type-driven code generation for OCaml

OCaml 507 95 Updated Jul 17, 2025

Cabal like system for OCaml

OCaml 128 43 Updated Oct 24, 2020

An implementation of the Promises/A+ specification and test suite in Python

Python 71 11 Updated May 20, 2023

An OCaml interface to the Sundials suite of numeric solvers.

OCaml 26 10 Updated Sep 11, 2025

Modelica syntax highlighting definitions for "listings"

14 5 Updated Nov 14, 2022

A perl extension for zed

Scheme 13 1 Updated Feb 9, 2025

Emacs major mode for editing Robot Framework files.

Emacs Lisp 9 3 Updated Jul 21, 2024

Web and network friendly simulation data formats

Python 8 4 Updated Mar 27, 2014

Warning: the windows branch is treated as a local topic branch that just happens to be shared here, so expect non-fast-forward updates...

C 6 1 Updated Jun 29, 2015

A simple functional web client language

JavaScript 4 4 Updated Oct 16, 2013

MetaModelica build system conversion into autotools

C 3 Updated Mar 25, 2010

A DAE solving library written in Java

Java 2 Updated Nov 22, 2013

Warning: the windows branch is treated as a local topic branch that just happens to be shared here, so expect non-fast-forward updates...

C 2 Updated Jul 23, 2012

CMake Port of dbus-python

C 2 1 Updated Jul 4, 2012
Java 1 1 Updated Mar 9, 2021

cmake port of PyGObject

C 1 Updated Jul 4, 2012

The maven-scala-plugin is used for compiling/testing/running/documenting scala code in maven.

Java 1 Updated Feb 8, 2012

ff.ch -> wordpress converter

Python 1 Updated Aug 16, 2011

Eclipse integration for Mosilab (and probably OpenModelica soon)

Java 1 Updated Feb 2, 2010