Material related to theoretical questions about distributed computation of graph problems.

oblivion-thesis

===What's New?=== First revision, Graph Board v.1.01 is now available. ===Overview=== The main objective of *graph_board* is to build a library for visualizing and working with graphs, that can help prototyping and testing graph theory related algorithms and that can also be used with education...

For a more up to date description, see http://jake.askeland.ws/ . TASPA began as a demonstration of a transitional vertex thinning algorithm based on convex polygon fitting. TASPA is limited to monochromatic pixel weights (either a pixel is 'passable' or 'impassible' and 'passable' pixels have...

=FOLIE= ==Features== FOLIE which means "folly" in French stands for First-Order Logic Integrating Environment. It consists of a program that recognizes a theory written in a language of first order logic with polymorphic types and checks if sorts, terms, formulas and proofs are correctly defin...

*LIASAS* is a small research project aimed at creating a tool capable of describing indexed automata strengtened by action semantics, and applying algorithms on them. For instance, this tool should be able to determine whether two ASIA are compatible, combine them if it is the case, and output TL...

Source code behind musictheory.net

A simple interpreter for loop programs. Might be useful if you are taking a computer science theory class (theory of computation) and studying primitive recursive functions. Or for fun. To try out the interpreter: ./loopee.py sample_source.loop To learn more about loop programs: http://peop...

= Introduction = *C-K Tools* is an *open source* project, that aims to build a collection of software tools based on the *C-K Design Theory*. For the moment, we offer a simple editor named *Simple C-K Editor* (_see below_). In the future, we expect to develop a collection of software tools ...

_scala-graphs_ is a library that aims to provide a simple and flexible framework for working with graphs and graph algorithms in Scala. Graph theory is a branch of mathematics and computer science dealing with the study of graphs -- see http://en.wikipedia.org/wiki/Graph_theory *Status updat...