-
graph-algorithms Public
Several graph algorithms in Common Lisp.
-
-
BMaude Public
Forked from ChristianoBraga/BMaudeBMaude is a verification tool for B specifications written in the Abstract Machine Notation. The tool is implemented in the Maude language.
Shell UpdatedNov 26, 2018 -
UD_Portuguese-GSD Public
Forked from UniversalDependencies/UD_Portuguese-GSDBrazilian Portuguese data from the Google Universal Dependency Treebanks 2.0.
Other UpdatedMay 8, 2018 -
-
mmt Public
Maude MSOS Tool (MMT) is an execution environment for Modular Structural Operational Semantics (MSOS) specifications that brings the power of analysis available in the Maude system to MSOS specific…
-
-
-
geo-search Public
Forked from athoune/geo-searchExperimentation with geonames and elasticsearch.
Python UpdatedJun 4, 2015
{{ message }}