Featured

Reduction Graphs

Software

Spacetime Graphs

free

Andrii Dobroshynskyi

Spacetime Graphs is an advanced, scientific and powerful simulator of the curvatures of spacetime, a concept developed...

Spacetime Graphs is an advanced, scientific

free

Jeroen Ketema

Anagopos, a tool for visualizing reduction graphs of terms in lambda calculus and term rewriting...

step generation of reduction graphs under 6 different graph drawing algorithms

Apple Inc.

free

Mike Chernecki

Groups & Graphs is a software package for graphs, digraphs, graph embeddings, projective configurations...

Visual graph/digraph editor; - Automorphism group; - Graph isomorphism algorithm; - Graph embeddings

RedVok Software

Debt Reduction Manager is a simple and easy to use application to create a plan that calculates monthly debt repayment...

Debt Reduction Manager is a simple

com.gowegame

University of Hamburg

University of Hamburg