Gets the open Tabs of Browsers
Analyse signals with fourier / wavelets
A simple visualisation tool that is based on streaming
A dynamic type implementation.
Graph creator for dynatype translators
Backend driver for buggy components.
Simple command line tool that converts graphlib graphs to dot files via graphlib-dot
takes a portgraph (e.g. from math2graph) and remodels the port information by creating a node for each port and connecting them accordingly.
Using kefir to create communicating processes.
A command line interface for node-shell-parser
Algorithms to convert a program descriptor into a full graph representation.
Tools for processing buggy graphs.
Program that removes multiple out and in edges in a NG.
Creates go code from buggy graphs
Applies a type scheme to a weakly typed buggy graph.
Transformation of functional concepts.
Converter from the graphlib format into the kgraph format.
visualize the graph of an buggy network graph
CLI for Buggy.
A buggy graph consistency checker.
Adds continuations to multiplexers.
create simple buggy graphs from lisp code
Determines all generic types in a buggy graph.
Finds all links in a graph and replaces them with edges modifying the corresponding compounds.