meijuh Goto Github PK

apt-web

The web component of http://apt.syncthing.net/

autoconf-archive

A mirror of the GNU Autoconf Archive, a collection of more than 500 macros for GNU Autoconf that have been contributed as free software by friendly supporters of the cause from all over the Internet.

automatalib

A free, open-source Java library for modeling automata, graphs, and transition systems.

brew

🍺 The missing package manager for macOS

checker-framework

Pluggable type-checking for Java

decycle

Perform package cycle dependency checks in JVM projects (Java, Groovy, Scala, Kotlin, ...)

divine2

elrte

Open-source WYSIWYG HTML-editor written in JavaScript using jQuery UI

eventsourcingworkshop

gnome-shell-extensions-mediaplayer

A mediaplayer indicator for the gnome-shell.

gradle

Adaptable, fast automation for all

guake

Drop-down terminal for GNOME

homebrew-core

:beers: Core formulae for the Homebrew package manager

homebrew-science

:microscope: Scientific formulae for the Homebrew package manager

lace

Lace - implementation of work-stealing in C

learnlib

A free, open source Java library for automata learning algorithms.

lombok-intellij-plugin

Lombok Plugin for IntelliJ IDEA

ltsmin

The LTSmin model checking toolset

meijuh.github.io

nfm-isse-2018

Reproduction instructions for the extended version of "Sound Black-Box Checking in the LearnLib", submitted to ISSE.

nfm2018bbc

Reproduction instructions for "Sound Black-Box Checking in the LearnLib" submitted to NFM 2018

permalink

A simple application to create permalinks

propel

Propel is an open-source Object-Relational Mapping (ORM) for PHP5.

psd

pulse-audio-shortcuts

Adds Pulse audio shortcuts to the Sound Menu. Read through the extension.js file to choose which entries to hide/show. By default this only displays PA Volume Control & PA Preferences at the end of the Sound/Volume Menu, preceded by a seperator. The extension is also simple enough to use as a great starting point for others.

rers2017

rers2017-seq-problems

rewrite-testing-frameworks

Migrate testing frameworks. Automatically.

roaster

A Java Parser library that allows easy parsing and formatting of Java source files

scoop

SCOOP: A Tool for SymboliC Optimisations of Probabilistic Processes