Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: rcc-relations

lambdamikel/GenEd

An Editor with Generic Semantics for Formal Reasoning About Visual Notations

Language: Common Lisp - Size: 3.41 MB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 8 - Forks: 2

Related Keywords
ai 1 classic 1 classification 1 clim 1 common-lisp 1 commonlisp 1 description-logics 1 er-diagrams 1 lisp 1 lispworks 1 petri-nets 1 rcc-relations 1 state-machines 1 visual-formalisms 1 visual-languages 1 visual-parsing 1