guntermueller Goto Github PK

iburg

A Tree Parser Generator

in2118-db-on-modern-cpus

IN2118 Database Systems on modern CPUs - Technical University of Munich

ingres

Ingres is a feature rich and robust database (RDBMS)

ingrestests

Automated test suite for the Ingres database

ivtools-1.2

initial commit of ivtools-1.2.11

ivtools-cvs

ivtools cvs repositories, gittized and strung together

jacal

interactive symbolic math system written in Scheme, see http://people.csail.mit.edu/jaffer/JACAL

jacob

Just A Compiler for OBeron-2

jbaci-1.4.5

jBACI Concurrency Simulator. Forked from http://www.weizmann.ac.il/sci-tea/benari/software-and-learning-materials/jbaci-concurrency-simulator and ported to Linux

jburg

JBurg - Java version of extended form of the algorithm outlined in Dr. Todd Proebsting's 1992 paper, [Simple a nd Efficient BURS Table Generation]

jburg3

Extended BURS generator

kadraw

This the open source graph drawing package KaDraw (Karlsruhe Graph Drawing).

kamin

katacoda-scenarios

Katacoda Scenarios

kir_kiel.reduction.language

KiR_Kiel.Reduction.Language. Forked from "ftp.informatik.uni-kiel.de/"

klic

KLIC: Portable implementation of KL1. Forked from "https://www.ueda.info.waseda.ac.jp/software-j.html"

kmp-py

Scheme Interpreter for "Konzepte moderner Programmiersprachen" held by Claus Gittinger

knuth_bendix

Knuth-Bendix algorithm implementation for finitely generated groups, in Python.

kronos

Automatically exported from code.google.com/p/kronos

kronos-1

Automatically exported from code.google.com/p/kronos

kube-decon

Kubecon 2017 - Kubernetes Deconstructed

lacc

A simple, self-hosting C compiler

ld

LambdaDelta

le_lisp

Le_Lisp - a "Post MacLisp" Lisp system. Forked from http://www.softwarepreservation.org/projects/LISP/le_lisp.

leap_rdbms

LEAP - An educational relational database management system

learn-ocaml-workshop

Exercises and projects for Jane Street's OCaml Workshop

leibniz

Leibniz System Software. Forked from "https://www.utdallas.edu/~klaus/Leibnizprogram/leibnizmain.html"

lelisp

Le-Lisp by INRIA

lidia

LiDIA --- A library for computational number theory. With patches for the LattE integrale project.

ligolo

Reverse Tunneling made easy for pentesters, by pentesters https://sysdream.com/