guntermueller Goto Github PK

symmetrica

SYMMETRICA- written in C by Axel Kohnert, is a collection of routines to compute with symmetric functions and Schubert polynomials, ordinary, modular, and projective representations of the symmetric group and Hecke algebras of type A. Forked from http://www.algorithm.uni-bayreuth.de/en/research/SYMMETRICA/

system-design-primer

Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

tech-interview-handbook

💯 Curated interview preparation materials for busy engineers

tendra

The TenDRA Project

test_dbms

A teaching relational DBMS

tinydb

Query Optimization Course

tinydb-1

queryOpt tinydb

tprolog

WAM based Prolog in Modula-2

tum-query-optimization

Contains code from the exercises of the query optimization course at TU Munich, realizing a simple database system.

tum_de_compiler_tools

Compiler Tools from http://wwweickel.informatik.tu-muenchen.de/pub/sw/

tum_tinydb

TinyDB from TUM, Germany

tycoon-2

Tycoon-2 - A higher-order object-oriented programming language for distributed and persistent systems

tycoon-3

Tycoon-2

ucb_franzlisp_sources

Free implementations of Franz Lisp - Forked from CMU Artificial Intelligence Repository ("https://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/others/franzlsp/0.html")

ucsd-psystem-vm

Actively maintained fork of Peter Miller's UCSD P-System tools - Virtual machine

uffsbd

uffsdb

A simple teaching DBMS

uffsdb-1

A simple teaching dbms

ulm_oberon_compiler_for_linux

ULM Oberon System - for Linux, Forked from http://www.mathematik.uni-ulm.de/oberon/

uni_passau_fmi_graph_drawing

Former Graph Drawing Software from FMI.UNI-PASSAU.DE

unsw_prolog_and_iprolog

Forked from http://www.cse.unsw.edu.au/~claude/untitled_text/untitled_text_4/untitled_text.html

usim

MIT CADR simulator

utilispc

UtiLisp (University of Tokyo Interactive LISt Processor). Source forked from https://dell.tanaka.ecc.u-tokyo.ac.jp/~ktanaka/UtiLisp/.

vlm

Symbolics Virtual Lisp Machine (C version)

vm2_a_simple_machine

Forked from " Jonathan Amsterdam : VM2, a virtual machine written in Modula-2and a Compiler for it."

voc

vishap oberon compiler

vsl

the source code of the book Introduction to compiling techniques, J.P. Bennett

wam_common_lisp

Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog.

wamcc

WAMCC is a WAM-based Prolog to C compiler.

www-shrdlu

A revival of Terry Winograd's famous SHRDLU program, adapted to use on the web.