Pinned Repositories
obp2-devel
z2mc-js
announce4j
Simple announcement framework for java
blif_MCNC
Some blif files
CEGARBoxCPP
An efficient theorem prover for all 15 normal modal logics in modal cube
ClockRDL
Clock Relation Definition Language
ploeg_tree_layout
A dart implementation of the Ploeg Non-Layered Tidy Tree Layout
sfdp-lite
sfdp-lite
TalkFFI
Automatic FFI generation for Pharo
virtual_fpga
a simple virtual FPGA
teodorov's Repositories
teodorov/HaSKI
Cλash/Haskell FPGA-based SKI calculus evaluator
teodorov/sfdp-lite
sfdp-lite
teodorov/jsuml2
Automatically exported from code.google.com/p/jsuml2
teodorov/spinja
Automatically exported from code.google.com/p/spinja
teodorov/UML-Statechart-Framework-for-Java
The framework implements UML statecharts in Java. Next to the standard elements of FSMs, hierarchical and concurrent states are as well supported as pseudostates, segmented transitions, timed events and an eventqueue for dispatching events asynchronously.
teodorov/Synthesis
teodorov/clasp
clasp Common Lisp environment
teodorov/blif_MCNC
Some blif files
teodorov/graph-editor
teodorov/buddy
teodorov/tool_lists
Links to tools by subject
teodorov/CloudModelExplorer
Dynamic model explorer ready for cloud.
teodorov/antlr4
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
teodorov/graphviz
Graph Visualization Tools
teodorov/zuma-fpga
Fine Grain FPGA Overlay Architecture and Tools
teodorov/pharovm-centos65
A Pharo VM build for CentOS 6.5
teodorov/StateMachineModelization
teodorov/odo
test pages
teodorov/vests
Mirror of VESTs CVS which is currently down
teodorov/VivaGraphJS
Graph drawing library for JavaScript
teodorov/mingle
A JS implementation of the MINGLE edge bundling algorithm
teodorov/tart
Tiny Actor Run-Time
teodorov/agda-stuff
An assortment of small Agda developments
teodorov/modelchecking
teodorov/WaveTrace
teodorov/non-layered-tidy-trees
Code accompanying the SP&E paper "Drawing non-layered tidy trees in linear time" by Atze van der Ploeg
teodorov/libtree
A library which implements a couple of famous binary search trees.
teodorov/CodeMirror2
In-browser code editor
teodorov/parser-derivatives-java
Derivative-based parsing for Java
teodorov/p
Pinocchio VM