wadoon Goto Github PK

gedit-structuredtext

getlyrics

A Python program which gets the lyrics for a song and outputs them to stdout

gh-issue-copy

A little cli tool for copying issues from one to another repository

glucose

The Glucose SAT Solver (CMake Edition)

gohugo-theme-ananke

Ananke: A theme for Hugo Sites

gradle-versions-plugin

Gradle plugin to discover dependency updates

graphoftrust

generate a graph from keyserver's information

guess-gender

guess the gender by firstname based on database

gunit-maven-plugin

Geneate unit tests for antlr4 grammars from XML-Files

hammingcodeapplet

an applet for generating hammingcodes

heatmap-demo

How to record a mouse heatmap in Swing

hf3lint

Hiflow3 configuration and constraint file checker

identityhashmapformalanalysis

Formal Specification and Verification of JDK’s Identity Hash Map Implementation

iniedit

edit ini files interactively, in batch or within python

invokewiki

Invoke provides a wiki system. Every wiki page can rated in different categories on the background (tag) of the current user.

ipasir-d

IPASIR interface for Dlang

ips4o-test

Test repo for ips4o

jjbmc

jml-extract

jml-mode

Java Modeling Language support for Emacs

jmlunitng

An automated unit test framework for JML-annotated Java projects.

key

KeY Theorem Prover for Deductive Java Verification

key-citations

Gather citation of the KeY tool

key-citool

key-interactionlog

key-javaparser

Java 1-15 Parser and Abstract Syntax Tree for Java, including preview features to Java 13

key-mode

key-modes

key-shirt

key-smtmgr